skysight-inc/HackerNews huggingface dataset:
Note bcantrill's comment below for corrections of my misstatements here.

Oxide was involved with Tock before building Hubris. They are similar in some ways with somewhat different "visions" for the end use case. Hubris compiles all "applications" into the "kernel", and relies exclusively on the type system for isolation---in this sense it is a much more traditional RTOS, just written in Rust (and well designed!). Whereas Tock targets applications that are not just in Rust, and may be dynamically load/replaced/removed separately from the kernel---in this sense it is much more similar to a traditional desktop/server OS but designed for significantly lower resourced settings. This also makes Tock more robust to applications that are actually untrusted or unreliable.

There is also of course a difference in development and evolution. Hubris is developed by Oxide and released open source, while Tock is more community based and, thus, more open to supporting a variety of use cases. This is both bad and good. If your use case is exactly Oxide's use case, it's likely Hubris is better than Tock (there is just no design decision baggage for other use cases). If you're use case is a bit different, Tock starts to be more appropriate.

A side note that I think the Hubris-Tock relationship is a real positive case for open source development. Oxide was very transparent and forthcoming when they decided to switch away and offered a lot of useful feedback. I hope they took some ideas from Tock and I think we took some ideas from following Hubris.
Hey, you were one of the ten thousand that day https://imgs.xkcd.com/comics/ten_thousand.png !
Well, GCC supports -fimplicit-constexpr these days: https://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Dialect-Optio...
The answer to that is easy enough to find. I submit that a better question is why not .gno à la UTC.
I've been using OpenBSD since the late 1990s and had no idea xsettingsd was a thing. Trying it with cwm this upcoming week. Thanks!
https://chaos.social/@jonty/112546819875403045 - Americum 241 apparently
Although I don't disagree with you (considering my knowledge of Australian economy is very little), I do think that national security would override pretty much everything else in the next few years. The golden boat has sailed.

But again it is interesting to observe what will happen in the next few years. I hope my prediction is wrong.
If you can't beat 'em (or in this case, ban 'em), join 'em.

Wonder what this news will do to Truth Social's stock when the market opens.
Seeing software systems that are barely held together by shoestrings and Dixie cups that make millions of dollars a day.
Very flaky and kludgey, and I think to myself I could build something better than this, but still have yet to do so.
It would exist just fine. Because the leeches have been there since you and I were buying from them in the 80s doesn't make them necessary. That's just lazy thinking.
If you didn't pay upwards of $20 per piece, they were likely fakes. I have had the same experience as all the other commenters here: Pomona clips are the only ones I've found that actually work well, while all the cheap clips are just about unusably bad.
> was largely crumbling until the latest aid

It was at risk of crumbling. Not actually crumbling.

Crumbling means lines breaking. Ukraine’s lines around Kharkiv never broke.
On any topic that I understand well, LLM output is garbage: it requires more energy to fix it than to solve the original problem to begin with.

Are we sure these exams are not present in the training data? (ability to recall information is not impressive for a computer)

Still I'm terrible at many many tasks e.g., drawing from description and the models widen significantly types of problems that I can even try (where results can be verified easily, and no precision is required)
Besides the JDAM failures (which do represent a genuine changing landscape of combat expectations), I'm not really sure what they're getting at here. The majority of this article is an attrition catalog with price comparisons of imported US weapons to improvised ones, which is the whole "barrel bomb" discussion all over again. On top of that, there's really not a whole lot to criticize considering how little the US has actually given to Ukraine. The US would have to commit much harder before they were humiliated, at least in Ukraine's case specifically.
There are a small handful of relatively well-know dinosaurs: stegosaurus being one of them. There’s also Tyrannosaurus rex, Brontosaurus (maybe you’re not supposed to call them that anymore), Triceratops and maybe a couple of others. Why were these ones so “famous”? Were they the earliest ones discovered? most common? Just fine examples of their type?
Fair points. It's best if we stick to mindfulness and coaching. Thank you
Oh, external validation vs internal validation has certainly been a humbling experience for me too.

So humbling I could compare it with a train crash. Sadly possibly over-compensating for it now, but I don't want to go back to the external validation spiral.

Amd thank you for sharing, and putting into words what I didn't manage.
Why this comment? This was a really interesting anecdote about how complicated situations in life can be.
There was some research after the Vietnam war to provide blind veterans with a device on their back that used a matrix of 'pins' to 'draw' the output of a video camera on the users back..

Supposedly, it worked quite well - wearers got VERY good navigating with it and seemed to like the tech overall. Not sure why it disappeared - cost (it was probably made from pretty pricey tech for the time)? Weight ? battery life ?
I've long used a toylike "Lists and Maps of Strings" format for personal recordkeeping and automation. https://www.npmjs.com/package/lamos

I've never gone back to formalize the grammar or otherwise mature it. But it's served me well as-is, and it's been easy to convert "up" to JSON or YAML or XML or what-have-you, once the case for an interface beyond plain text proves worthwhile.
This is so well explained. Cockroachdb implements serializable by default and it is a great experience being able to write sql with that in mind.
There are untold millions of fossils waiting to be found. We will never have a shortage of them. This would have never been excavated if it were not for the financial
incentive to do so.
Lol react has been more stable than rails.
Untreated ADHD can make this really really really hard. And the worst part is: nobody will understand because it is not hard for most people, so everyone assumes that being late is a character issue.

To understand how hard it is, imagine that you have periodic blackouts during which you completely forget not only that you need to be on time for work, but that work is a thing that exists in this universe. You cannot control when one of these blackouts will hit, you just get to deal with the fallout.
Psychological tricks rich people use to look generous without spending more
In my brief stint working on spacecraft in the private sector I worked with guys like you that did beautiful things with wiring that I loved to see.

I hear you on scheduling too. I've given best estimates and they then get chopped up and halved (or worse) by management types, then things start to slip and we end up being closer to what was originally estimated, but somehow everyone then gets surprised.
>Why were these ones so “famous”?

Jurassic Park.
this entire sub-thread and dialogue is like an advertisement for finding a mentor as quick as possible.

on one hand you're talking about how you made it without one, then on the other hand you're also commiserating about being a (metaphorical) homeless lottery winner.

if I was a young'n in the industry i'd read this entire dialogue as a cautionary tale in the same kind of vein as a Zen koan or Aesop fable.
Just wanna say thanks for contributing to the platform that is currently paying my wages.
The CA bar exam used the be much harder than other states'. They lowered the pass threshold several years ago, and then reduced the length from 3 days to 2. Now it's probably much more in line with the national norms. Depending on when you took the sample exam, it might be much easier now.

Also, sometimes sample exams are made extra difficult, to convince students that they need to shell out thousands of dollars for prep courses. I recall getting 75% of questions wrong on some sections of a bar prep company's pre-test, which I later realized was designed to emphasize unintuitive/little-known exceptions to general rules. These corners of the law made up a disproportionate number of the questions on the pre-test and gave the impression that the student really needed to work on that subject.
Another template for the EU (https://www.patrick-breyer.de/en/let-yourself-be-monitored-e...)

https://de.wikipedia.org/wiki/Patrick_Breyer
I think you’re overestimating the smarts of these systems. They print out a common template for the receipt. It has no idea that you tipped already and the tip line is just part of the template.
Hero pill dispenser is currently pulling this play. They're pairing a monthly service fee with a device that doesn't need one.
As a general rule, the people who make this decision don’t agree; which is why we’re surrounded by slow websites.
I don't know if it was humbling per se, but in the spirit of some of the contributions in the thread, I once knocked over a cup of coffee into the power strip behind my desk, blowing a fuse that blacked out half the office.

This was a company where the devs were all on workstations, so generously there was at least a few hundred hours of work that were lost.
> Why were these ones so “famous”? Were they the earliest ones discovered? most common? Just fine examples of their type?

I think it can be mostly explained by the first Jurassic Park movie.
It's not a tip, it's a bribe. You can tell people perceive it as a bribe because they speculate about what would happen if you don't 'tip'. In the most tame speculation you get people like the parent who expect they'll get better service for tipping ahead (implicitly, you'll get worse service if you don't). On the other extreme are fears about employees doing something awful to your food.

Neither tipping or bribing is healthy because both are built on a social contract that can be voided by one party without much consequence—the only difference is which party is in a position to void the contract after reaping the benefits.
> insinuating laziness baselessly

> intentionally designed to yield hard to read code

I think if you assume that syntax you find odd/difficult was intended to confound you, I can safely make assumptions of my own.
Accidental complexity is an academic term, it means what you refer to as "complicated." Essential complexity would be what you refer to as "complexity." My comment was being precise about it. dyn is avoided because it is typically slower due to the indirection, and because of how its opacity breaks many zero cost abstractions.
You wouldn't install and configure an app on a different machine for quick instance. Which you do for a webpage. Hence outlook can't assume that the message can be recovered because it can't assume it will ever see that local storage again.

A webapp has it's place. It is an inferior option but it is convenient for when you lack access to a proper client, doesn't make sense for them to target the same goals.
There's a gap in one of the streets where I lived, which is where the houses were bombed during WWII and the council decided to put in a park instead. Missing numbers don't normally cause any confusion, except that I had a beggar come round once or twice claiming to be a neighbour with an emergency - and they gave one of the numbers that didn't exist.
I used to enjoy this alternative CLI

https://github.com/donnemartin/haxor-news

But the docker image seemed to dissapear from docker hub so I stopped using it.
There is this book, The Psychology of Problem Solving that addresses these and a lot more strategies and heuristics that people use to solve complex problems.

I wrote a brief review of the book in case you're curious about its contents.

You can access it here: https://www.thebookwormsburrow.com/p/review-of-the-psycholog...
>It would be much simpler if all primitives were strings,

TCLON?
> I'm fishing for education.

(imo) Could've said safetensors are secure, and wait for Poe's law to kick in, or just not said anything.

Apologies if it came across that I'm insinuating some sort of thing, it's just I've some friends looking for that type of work. My email's on my profile.
This analysis touches on the difference between first-time takers and repeat takers. I recall when I took the bar in 2007, there was a guy blogging about the experience. He went to a so-so school and failed the bar. My friends and I, who had been following his blog, checked in occasionally to see if he ever passed. After something like a dozen attempts, he did. Every one of us who passed was counted in the pass statistics once. He was counted a dozen times. This dramatically skews the statistics, and if you want to look at who becomes a lawyer (especially one at a big firm or company), you really need to limit yourself to those who pass on the first (or maybe second) try.
Which eu countries do you feel are the most detrimentally affected?
Good point, will look into it, thanks!
When you think about it, that's what -fsanitize=undefined is doing. It detects undefined behaviour at runtime and aborts the program.
> I think the lesson is that tricky concepts have to be taught by example.

The bigger insight, for me, is that they also have to be taught by counter-example.

E.g. it's easy to find Functors that are neither Applicatives nor Monads (usually, because you can't produce a reasonable definition for `return`). It's surprisingly hard to find a non-contrived example of a Functor that is also an Applicative, but *is not* a Monad. Without that counter-example, it's very tricky to build the intuition for where the boundary lies.
It looks like it was confirmed that they've all been accounted for: https://social.emfcamp.org/@info/statuses/01HZD9RNT3VFHCF5QJ...
Author and publication bias aside… I don’t find the author persuasive at all. It’s saying misused equipment and poorly supported logistics result in subpar performance. That’s like… any weapons systems. Look how the Russian tanks got decimated last year by missiles and drones. Was it because Russian tanks were bad? No - because they were sent without infantry support which is a flagrant doctrinal negligence.
Is it supported by curl or any browser or no?
The same material is used in smoke detectors.
Best toot about this:

https://meow.social/@AtomicMaya@tech.lgbt/112536890144120140

'''
OH: "we had a radioactive source dropped at the swap drop

a furry wearing a collar with a shirt showing a furry with the radiation symbol came to dispose of it"

most #emfcamp sentence ever
'''
It’s the ABA problem that also comes up with normal multithreading when trying to go lock free. Lock free data structures are hard. SI is giving you the same guarantees (your update is atomic, but things might have changed between when you read and when you write). If you can handle this extra complexity, all good, but it’s generally something that needs to be carefully abstracted. Nobody wants to be thinking this hard every time they have to interact with a DB.
They were famous before Jurassic Park.

Jurassic Park introduced everyone to velociraptors. But stegosaurs and T-Rex were always battling it out in kids art classes
> On any topic that I understand well, LLM output is garbage: it requires more energy to fix it than to solve the original problem to begin with.

That's probably true, which is why human most knowledge workers aren't going away any time soon.

That said, I have better luck with a different approach: I use LLM's to learn things that I don't already understand well. This forces me to actively understand and validate the output, rather than consume it passively. With an LLM, I can easily ask questions, drill down, and try different ideas, like I'm working with a tutor. I find this to be much more effective than traditional learning techniques alone (e.g. textbooks, videos, blog posts, etc.).
Sure, none of that is particularly novel though, so in terms of citing it as something specifically to add to the conversation, there isn't any real reason.
Maybe I'll try this in a VM, ultimately I just want my OS to work, but I also run pretty new hardware so my options are somewhat limited.
But these things have a lot more of it
Noted, I could've been more explicit - safe to the best of my knowledge, but it's murky/weak.

Apologies here as well. I know I have a short fuse. The internet [and sometimes, life] trains us for it.
Protecting sensitive data in Elixir GenServers (2023)
I feel like the US should’ve supported them more during that time. Many dictators were pushed up to replace communists by the US, why didn’t they support a legitimate democratic movement?
Most services can be described by "essentially supervising a txt file" if you are succinct enough.
It is not really possible to lose 90% of one's brain and do well on certain narrow tasks. If the tasks truly were so narrow, you would be better off training a small model just for them from scratch.
Obviously you need subject knowledge, that should be implicit?

Keep in mind even today[1] ( in California and few other states) you don't need to go law school to write the Bar exam and practice law, various forms of apprenticeship under a judge or lawyer are allowed

You also don't need to write the exam to practice many aspects of the legal profession.

The exam is never meant to be a high bar of quality or selection,it was always just a simple validation if you know your basics. Law like many other professions always operated on reputation and networks, not on degrees and certifications.

[1] Unlike say being a doctor, you have to go to med school without exception
I saw Jef Raskin demo the Canon Cat in the 1980s when I was working at Stanford.

One of the more interesting concepts behind the interface was, everything was stored in one "circular" file, with marks for document beginnings and ends. By "circular" I mean that if you leapt forward from file to file, you'd eventually return to your starting point. The idea was, it's hard to remember the names of documents, let alone where in the filesystem you might have saved them. But you can usually remember something about the document -- some piece of text, etc. Using the leap keys you could quickly find the document you were looking for. Modern OSes allow for such searching, but at the time the idea of not worrying about file locations or names seemed very forward thinking.

Jef had research to show that "leaping" was superior (or at least, your productivity was faster) when comapred to other computer interfaces -- provided the user was used to using leap keys. Later I saw Andy Hertzfeld give a talk on Multifinder, and I thought the contrast between the two engineers was stark. The Canon Cat gave you one way to interface with the system (which was "the best way"), while Andy's interface gave you multiple ways to do the same task. Andy said something like "different people interact with the system differently" and he wanted to support all they ways they might want to do their work.
the most important part of speed these days is NVRAM not just a SSD. If you are using a standard SSD things will still be much slower.
Creating positive incentives for landowners and discoverers is important. This shows up repeatedly as an issue with both archaeological and endangered species discoveries in many countries, including the US, where landowners are strongly disincentivized to report any discoveries since it can have a strong negative impact on the value of their land and their ability to use it. As often as not this leads to the destruction of the thing people are trying to preserve e.g. "shoot, shovel, shut up". [0] It is understandably difficult to get people to act against their own interest.

[0] https://en.wikipedia.org/wiki/Shoot,_shovel,_and_shut_up
Just reading the comments I found out about this:

https://en.m.wikipedia.org/wiki/Ciudad_Ju%C3%A1rez_cobalt-60...
If it makes you feel better, I have occasionally handed friends my DSLR and asked them to record something for me. You can do this either by pressing the red record button or full press the shutter button. Well my friend spent 15 minutes only half-pressing the shutter button and recording nothing. Now I know to make sure to tell people how to start and stop the recording and how to check if it is actually rolling or not. I consider that my humbling learning moment.
The dolphin tale: They're smart, sometimes vicious and highly sexed
I thought the Chromebook embedded controllers run Zephyr?
If phone should be findable when lost, the setting to continuously broadcast location needs to be enabled.

If non-lost phone location should not be broadcast for a short period, it can be put into a faraday bag.

https://news.ycombinator.com/item?id=40551032
With the same idea but more minimalistic, I have done Swap JS two years ago :

https://github.com/josephernest/Swap

Used it for a few projects it works well !
Even still, I'd love to see more low bandwidth devices use CUSE to expose standard device file interfaces.
Very editorialized HN title. "Radioisotope source" would be accurate and non-clickbaity (in place of "nuclear material").
Part of it is the explicitness mandated by the language (i.e. when dealing with Optionals or Results, you have to deal with both cases or explicitly state which you expect as an invariant). There's also curious (imo) choices on the part of rustfmt that seems to favor density of code that way.
The point he's making is if they enact this law, it will be trivial for anyone that cares (eg, people who do distribute CP) to bypass if it is implemented as described. They don't even have to stop using Signal or whatever. They just need to plonk whatever they want hidden in a password protected .zip (or something else if that's not strong enough, or use stenography if they ban containers) and send it using Signal as normal.

So it won't stop CP, or any other criminal activity that's in the slightest bit cluefull.

They must know this, so I'm left scratching my head wondering what they are actually up to.
Sure. But just because somebody is obsess does not mean that’s true for them.

Example. I don’t have a reduction in tastebuds, yet I am falsified as obese (even when I was sub 10%) body fat.
I always felt like the one thing I wanted in a monad tutorial was a list of things that aren't monads because they follow all the monad rules except for one, for each rule.
this is actually really funny
I think this statement is really missing the point of 1-on-1's. They should be time set aside for the employee to talk about whatever is on their mind. It is ideally an opportunity for them to bring up any issues or concerns they might be having but is either unsuitable to or they are uncomfortable bringing it up with the larger group. Often the response is indeed, "Thanks for letting me know, I'll communicate that to the team." but it would have never been brought up if that time wasn't set aside to chat.

Sure, when you are directly reporting into the CEO you are probably in a position where you are expected to lead it out yourself unless it affects the entire company strategy, so it is less useful, but if you are working with ICs then they are still very useful.
I’ve tried this one and I found it a bit unpleasant UX to type numbers to select the story I want to read. (Hence I wrote something like hn-text that I can navigate/open articles using only one hand and visually)
You can get by on intuition but you won’t get far.

If you want to limit yourself and make sure people keep reinventing the same concepts over and over, sure, avoid maths.
Their “fame” certainly well pre-dated that movie. These were the ones I knew as a kid in the 60s and 70s, and would be featured in old stop animation movies even before my time.
An animated roller-coaster in Excel