skysight-inc/HackerNews huggingface dataset:
That or they would turn to a model where they charge their users to post which would result in a reduction in content on its own without Facebook having to intervene or be held responsible for it. Only those who are really willing to stand by their content would be willing to pay (even if the fee is comparatively small). Networks of utter nonsense being posted and mindlessly reshared by large networks of bots and people who plainly don't care to fact check anything themselves would likely dry up.

Largely, there is a lot of misinformation spreading on Facebook that has harmful effects. Freedom of speech is tremendously important, but typically the tradeoff is that it comes with some personal responsibility / liability depending on who the speaker, the audience, the intentions of the speaker, and the effects of the speech on the audience. The current platform setup manages to shift that responsibility away from anyone. I think most reasonable people would agree with this, but perhaps many more people than I would think believe in limitless speech without consequences.
Hyperlinks with artificial intelligence ;)
Interesting how there isn’t a Java 9+ version for the Mac, despite v3.3.1 being out for 9 months now.

Due to development needs, my main rig needs the latest Zulu Java LTS, which is now Java 17. Not interested in confusing my system with multiple installed versions, that shit never ends well.
Even before the pandemic, it was clear that SF leaders didn't want children in the city. They won't admit it in public but all of their policies on education, housing, and public safety make their preferences obvious.

They love dogs though. More dogs than kids in the city.
I am not gifted and have never been in any gifted programs. When I was at UBC I came across a program called the University Transition Program (UTP) that was located on the UBC campus and run by the Vancouver School Board.

The program is for 13-15 year olds to complete high school in 2 years.

[1] has more details about the program, comments from students, and a newsletter produced by the program.

[2] has some recent discussion on some limitations and issues with the program.

[1] https://universitytransition.ca/

[2] https://www.ubyssey.ca/news/university-transition-program-ca...
The key benefit with DDB is predictability: https://brooker.co.za/blog/2022/01/19/predictability.html

Yes, you have to learn about all these things upfront. But once you figure it out, test it, and configure it - it will work as you expect. No surprises.

Whereas Relational Databases work until they don't. A developer makes a tiny (even a no-op) change to a query or stored procedure, a different SQL plan gets chosen, and suddenly your performance/latency dramatically reduces, and you have no easy way to roll it back through source control/deployment pipelines. You have to page a DBA who has to go pull up the hood.

With services like DDB, you maintain control.
Quantum logic with spin qubits crossing the surface code threshold
"Shackleton's Boat Journey" by F. A. Worsley is a first hand account of the journey, written by the Captain of the Endurance.

No fluff in this book, it gets directly to the action. Worsley has a very direct writing style which is easy to read.
12 is only too many if you're also buying a single pint of milk, to make it completely clear that you live alone and will be eating all of them yourself.
Exercise prevents fatty liver disease
Oh, but they do mess with it. I don't know, for example, if Adele is a great singer or not, because her voice is messed with by the sound engineers.
Except, their model is also to ship an AUR helper out of the box, despite the fact that holding back distro packages compared to upstream actively breaks AUR ones that depend on those in the core Arch repo.

If they bothered to do the same thing with the AUR that they're doing with the upstream Arch packages, it'd be one thing. But as is, basically they're claiming that their design keeps the experience "stable" despite the fact that this same decision directly causes other parts of the experience to become unstable.
That is California's problem to resolve, not LA County's or its DA's.
Makes sense. Rationally, if I'm paying for Netflix anyway I might as well watch crowdsourced content there ad-free. Irrationally, any time I'm watching crowdsourced content, I'm reminded of its price and compare it unfavourably to its competition.
Gotcha! Will resubmit to general later.
I've been using it for about a year, definitely won't be changing any time soon.
Thanks for your input. I was thinking about getting a nice notebook and write letters into it. This method seemed a bit exclusive. I would like to invite grandparents, uncle, aunts etc. to add to the collection and would not want everybody to read the letters intended for the child. This would mean multiple notebooks and more management. While it would make the individual entry more meaningful (I assume you will think more before writing in a paper notebook) it might prevent me to add to it because my input does not seem meaningful enough.

So maybe "simple" mails that are stored by me or by a trusted third party are the best option. This again allows for contribution by third parties.
Show HN: Anders CCHM/HTS Theorem Prover
Anders is HoTT theorem prover based on: classical MLTT-80 with 0, 1, 2, W types; CCHM in CHM flavour as cubical type system with hcomp/trans Kan operations; HTS sctrict equality on pretypes; de Rham stack modality primitives. We tend not to touch general recursive higher inductive schemes yet, instead we will try to express as much HIT as possible through W, Coequlizer and HubSpokes Disc in the style of HoTT/Coq homotopy library and Three-HIT theorem.

Written in OCaml https://github.com/groupoid/anders
Given that the 'pile of online crap' has been around for a while now and seemingly not going anywhere, having access to this in the browser, and on any OS, sounds pretty convenient.
TIL, thanks. I only use it from time to time when communicating with my SO, didn't know I had that option available.
The compiler can't warn about something like this? I guess unsigned integer underflow can be the intended behavior often.
Apparently it needs decontamination and renovation to become a museum ship, and not enough money was raised to fund that.
https://www.yahoo.com/lifestyle/aircraft-carrier-sold-1-cent...
Not quite true.

For instance, I could sell my losses in a growth fund only to buy a different growth fund (not the same index though) and I get to stay in the market.

Ideally you would do this on day 364 of losses to maximize the tax incentive.
Drinking fluoride is still good for your teeth right? https://en.wikipedia.org/wiki/Public_relations_campaigns_of_...
and then you follow that with “If you care about non-dilutive capital and making a ton of money for yourself you should pivot your startup to crypto”
I checked.

Crypto.com is the #3 exchange and bigger than Coinbase[1].

1. https://www.coingecko.com/en/exchanges
> Customers care about the outcome, not the internal process

Additionally, the business cares about the outcome, not the internal process.

Ostensibly, the business should care about process but it actually doesn't matter as long as the product is just good enough to obtain/retain customers, and the people spending the money (managers) aren't incentivized to make costs any lower than previously promised (status quo).
There are Linux stable branches that backport fixes. It looks like all the affected branches have the fix now: linux-5.16.y linux-5.15.y linux-5.10.y linux-5.4.y linux-rolling-lts linux-rolling-stable

EDIT: notably absent are linux-5.1.y and other non-lts releases. If you can't stay on the most recent stable release, you should use lts releases.
Unfortunately, neither (string) enums nor string literal unions are supersets of each other when it comes to functionality. But, IMO, string-only enums are generally better.

You can't test if a given string is an element of a union without writing a custom helper and/or allocating a runtime array of the values.

On the other hand, if you don't need to test unknown strings, then union types disappear at compile time, whereas enums are compiled to real, runtime, objects.

Enums don't look like naked strings in the code. Frankly, it's just nicer on my brain to see `return Color.Red` than `return "red"` and wonder if "red" is just some random text or if it has semantic meaning. Hopefully your IDE is smart enough to take you to where "red" is defined as part of a union type when you want to see other options. Granted- the most popular editors ARE smart enough to do that, but that doesn't help when just reading code with my eyes instead of my hands, or in patches/diffs.
As others have mentioned design docs/BRDs, etc generally fell by the wayside with the rise of agile, especially in smaller companies and startups (colleagues from those environments may never have seen a real design document and possibly never had to document anything). However, over the last few years, I've seen many companies moving towards at least light-weight design documentation typically using ADRs https://adr.github.io/ and/or RFCs (https://github.com/rust-lang/rfcs). This is often because without these types of documents, its harder to grow teams as new members must either be taught be a senior member or learn from the codebase, both of which are slow.

As a secondary note, regulated companies may have architecture/network diagrams and disaster recovery plans but these may be located with the compliance documents and not in the general document store that engineers use.
For more on some of the incentives attorneys face to write vaguely, see this blog post (written for mechanical inventions but you'll get the point): https://krajec.com/dont-write-patents-that-hide-the-ball/
Easy State Sync Across JavaScript Sandboxes (Frames, Workers, Threads, Webviews)
Great to see that author is open minded and pragmatic
will libcurl have built in json support or just the command line?
I would prefer both. Hands on the wheel and eye tracking for level 2-4. Eye tracking is however much more important imo.
They are a better content company than a software company. As you note, they currently have the best music, instructors and variety of classes. But the software itself has a LOT of room for improvement. For example, the now playing widget is constrained to a tiny little chunk of the view in which artist names or titles are routinely truncated beyond recognition even though most of the screen is essentially empty (a view of a big black studio with an instructor in the center).
Completely tangentially related: I love basis points. Up until I started working in the FinTech I could not grasp the need for it... but after much repeating "x% plus 3%" and then having to clarify that is 300 basis points and not x*1.03, it got my eyes opened.
Jail doctor gave Covid inmates ivermectin – said it was vitamins, lawsuit says
Is this person anti-mask? https://twitter.com/laurajfagan/status/1299178100182245377
No charset on this mime type.
Well:

1. Its LIBOR, not Libor

2. LIBOR is not a number, its a rate. Thats literally what the "R" stands for

3. LIBOR cant die, as its not a person

Its just an awful title because it calls LIBOR a number, which its not, then goes on to treat it as a human, which its also not.
> It really has nothing to do with types.

I was under the impression that it's substantially an implementation of an affine type system (https://en.m.wikipedia.org/wiki/Substructural_type_system).

Probably you could build such a thing without thinking about types per-se, but I don't think the designers of Rust did that, and I am not sure that makes it "not a type system" anyway.

> any static analyzer is a type system

"Any static analysis checking correctness is either a linter or a type checker" isn't a claim I would make, but I am not sure offhand how I would argue against it.
Very cool! I want to try this with cool-retro-term and vim. :)
> Hmm… any actual use cases of this?

... interacting with APIs using cURL?

> I don’t find curl —jp a=b to be better than directly sending a payload on a HTTP resource

Getting JSON syntax right, error free, by hand, in a terminal, is not easy. The current equivalent of an eventual `curl --jp a=b` is

curl -s -H "Content-Type: application/json" --data '{"a":"b"}'

that's a lot of opportunities for getting it wrong.
I think the author's conclusion is true if you allow for several unstated assumptions. Also this conclusion applies only to nfts with potentially infinite supply, NOT "art".

The first assumption is that the transaction costs of buying and selling a copy of an album or ebook nft will be zero (including hassle and book-keeping costs).

The second assumption is that there is infinite supply, forever, at some ceiling price (e.g. someone will always sell you a "new" beatles album nft for $10).

The third is that there are no "sinks", e.g. the copies are never consumed or degraded by loss, incompatibility, releases of better quality, etc.

Also, the argument requires the copies are more or less "fungible".

But I think yeah, logically, if I can buy a new X at $10 which lasts forever and is infinitely tradeable with zero transaction costs, eventually the secondary market price of X would tend towards zero. Effectively the whole world would be purchasing floating licenses until supply > demand and eventually that condition is permanent.

In practice, owners of copyrighted works have a lot of ways to avoid this situation and I expect they will act to license their works in ways that avoid this.
I trust Daniel Stenberg to not break something more than I trust any other tool that currently does JSON.
Deno 1.18
I went from 0->40k+ followers on TikTok this year with NO prior social media experience.

Most people see it as a teenage dance app type thing, but for techies wanting to build a personal brand or teach people it's a killer tool to rapidly grow.

I consistently make ~600/mo selling a 'newbie' TikTok course on appsumo. It's a no-frills recorded presentation and associated set of slides that I do very little marketing for with the goal of getting people to 1k followers on tiktok in 30 days or less.

https://appsumo.com/products/your-first-1000-tiktok-follower...
Like the Hackaday blog, [stavros]? On some other fora people use @: @stavros.

The powerful effect of such small things can be very thought-provoking.

Interestingly, it's true for me too, even though I've been trying this Long Now date format experiment for a year or so now. I just had to stop myself from writing the Intel 8080 as "08080", suggesting that I'm mentally parsing these dates as "0 1774" and the like.
I'm not sure, is the x86 instruction set too low level? Yes if you expect users to interact with it directly, but not for user facing products to be built on top of.

You can point to centralized products built on top of blockchain, but also decentralized ones.
https://www.johndcook.com/blog/2011/01/12/how-long-computer-... is a decent place to start for thinking about how different timings work for things. It's a bit on the stale side, some things have gotten much faster (e.g. disk "seeks" are dramatically different with NVMe), but a lot of it has stayed similar, and some will never change (packet timing to Europe has a speed-of-light limit for now)
That whole site is very well done and worth exploring. I'm pretty sure a previous HN story lead me to it last year and even inspired me to grow a few sugar crystals.
I feel like if you only want to make a single JSON request, a simple curl invocation with the JSON data in single quotes or in a file should be enough. And if you make many different JSON requests, you're probably much better off with one of the alternative tools.

Related to the second point, I really wish more people put more time into creating tools for their testers. Shell/Ruby/Python/Perl scripts that are custom-made for the specific service they're testing and provides better UI. So that instead of a sequence of curl invocations, logins, and error-prone copy-pasting, people could just:

test-my-service --user j.doe:hunter2 --api comments/create --param body="hello world"
Who backs this WAPP scheme? If it's just crypto.com, then it's worthless against a widespread hack of their infrastructure.
> I can empathize with the PinePhone folks because it's been out for a while, but if you decided to buy a PineNote that is 100% on you and no one else.

I'm not sure why you and the other commenter are so keen to throw me under the bus. I'm not saying that the purchase was a waste, nor that I regret buying it. And neither of you have said nothing to address any of my points about the lack of direction and community structure. I want to help make it a nice device to use but there's nothing to latch onto. The hardware is nice and worth what I paid.

> The monthly blog is very clear on the current state of the PineNote with only one user having successfully run a GUI and touch screen as of last week.

Yeah, great. Where are the efforts to package this hard work up and build on it?

> Last I check they are unpaid and don't have to work on "your" thing.

Of course they're unpaid. What I'm trying to get at is that few people are working together towards something that's usable because there's no organization. If there is anything, it's certainly not obvious. I'm not asking anyone to work on "my" thing, I don't have a "thing". I'm looking for "things" to help with, but people are just playing around.
Just played the game with names off and ended up with Fira Code. But since I have the names off, I don't know what second place was, but I think it was Jetbrains Mono based on the look of it.
I think you've got the politics of this backwards. There is overwhelming cultural pressure to support some level of alcohol consumption. A host of shoddy (and largely alcohol industry funded) studies tried to demonstrate that it was beneficial.

It's not. It's harmful no matter the quantity. Study after study demonstrates this now. I say this as someone who drinks regularly, by the way. I have no desire for it to be demonstrated that alcohol is harmful; it's a part of my life and has been for decades.

If you want evidence, go open the actual brief and check out the dozens of references, including multiple meta analyses.
Hank Green: “So TikTok Sucks” (and a brief history of video monetization)
This sounds like something that will be punished harshly in the very next local election.
> Will cryptocurrencies fad ever die?

> No.

> Is Hacker News turning into Reddit?

> No.

> Can you only say "no"?

> It's only when you don't have anything to say that you can say "no.

> I'm afraid I'm not working hard enough, what can I do?

> I'm not sure I can help you.

> What is the best question you can ask Paul Graham?

> What is the best thing you can do in a YC interview?.

> What is the best thing you can do in a YC interview?

> The best thing you can do in a YC interview is to teach the partners.

> What lisp-like language is the best one?

> Common Lisp.

> What do you think about Clojure?

> Clojure is a lisp.

> Can I expect candor in a asymmetric relationship? [http://www.paulgraham.com/donate.html]

> You can't expect candor in a relationship so asymmetric.

> Who should we say thanks to?

> We should say thanks to John Bautista, who will be our CTO, and Thanks to Sam Altman, Paul Buchheit, Sarah Harlin, Jessica Thanks to Sam Altman, Paul Buchheit, Sarah Harlin, Jessica Thanks to Sam Altman, Paul Buchheit, Sarah Harlin, Jessica Thanks to Sam Altman, Paul Buchheit, Sarah Harlin, Jessica Thanks to Sam Altman, Paul Buchheit, Sarah Harlin, Jessica Thanks to Sam Altman, Paul Buchheit, Sarah Harlin, Jessica Thanks to Sam Altman, Paul Buchheit, Sarah Har.

Interesting idea (if not a tad over-played by now), but execution seems to be a bit lacking.
> Decorators, especially with metadata, facilitate lots of useful things

Angular 2 would look very different without it.
Curl has LDAP support, email support, etc. JSON is not a stretch of the imagination by any means.
You are wrong, in that a lot of those tracks listed have completely different tempos and genres from the song you're comparing. So then you're favoring '80s rock, specifically glam metal, over modern pop. You're not wrong in preferring one over the other, but there's no objective comparison to be made when the songs are playing at completely different speeds with very different styles.

Funnily enough, there is an '80s revival going on with some modern pop right now, but again then you would have to compare the original '80s new wave, synth-pop music to it and not '80s rock.

https://www.bbc.com/news/newsbeat-52109397

As far as why there isn't as many modern rock top hits to compare to '80s ones... well, this decade didn't kill rock. That's a historical phenomenon that dates back to the 2000s or so.
I understand that k-8 is different, I was just pointing out that small class size is not necessarily correlated with quality teaching. This is especially true as the kids mature.

I also doubt that it is even possible to reliably detect a gifted student before 3rd grade.

And lastly, a gifted program can be little more than just giving the 3rd grade gifted students the 4th grade curriculum. No extra money required. No magical teaching required.
It's a shame they don't open source it. It's funny too, being AWS they really don't have to worry about AWS running a cheaper service, so at that point why not open source it.
1.44 Mb is alot.

I used 56k modems to surf and a floppy would take like 1440/7 seconds to load at perfect conditions. Most pages loaded way faster than that.

edit:
Nice could load the site now.

"Windows 3.11 for workgroups!

Xitami web server, because it's the only one that does no caching at all, so the website is always served fresh from the floppy."

Perfect stack.
I feel this would be more interesting if you could hide the font names until you were done.
If you're stuck on 5.1, you probably have a ton of other vulnerabilities too. 5.1 isn't even an LTS release, so support for it was dropped in 2019.

5.4 is the first LTS of 5.x, and is supported through 2025. You should try to find a way to get on an LTS kernel, or plan on managing a lot of kernel patches.
YouTube keeps banning his videos, but he keeps using it?

The irony.
That is why the bourgeois capitalise class is cheering for lock downs - doesn't impact them and they have a leverage to argue they want to work from home. It's unsafe to return to office! Who cares about the servants, their children and jobs. They are dumb and don't believe in science you see.

The whole covid restrictions and the dumb reaction (anti vaxxers etc) needs to be viewed through class lense but people earning 200k a month working from home believe they are peasants too, so they root for policies that don't effect them and don't want to pay for themselves either.
What would be the point of "transaction privacy"?
Persepolis (Graphic Novel)
This is what I aspire to do. Building small apps that is super specific to solving a problem.
That's the gist of it really
> Every load or store instruction and every instruction fetch must be authorized by an architectural capability.

This sounds great. But on the other hand ... Yikes! What if this tech falls into the hands of a big corporation and some manager needs a raise?
Sounds like this idea is limited to the curl tool and wouldn't add anything to libcurl, which is great. I'd prefer libcurl leaving JSON to other libraries.

I use bash variables inside JSON with curl all the time, which leads to string escape screw ups. I know there are alternatives that make testing REST + JSON easier, but since our software uses libcurl in production I prefer to test with curl to keep things consistent.
Decentralized crypto currency is a benefit for everyone willing to take a shot at how much they can collect before they themselves get hacked.

Its a human coordination mechanism that forces other humans to make it increasingly more resilient when under pressure.

It is Machiavellian with no evolutionary dead ends, just mutating and hardening due to the needs of all of its ever growing participants. Rapid market based iteration on steroids.