skysight-inc/HackerNews huggingface dataset:
Sure traditional looks nicer, but holy fuck is writing it (by hand) ever annoying. When I asked friends who grew up with the traditional characters about it they said a lot of people use some form of simplification when taking notes or leaving messages for friends/family. People from mainland seem to only shorten words by omitting characters of longer words, if at all.

And about losing the historical roots, I guess if you're interested in it, the characters will always be there and accessible for you to study. I'd be interested how much the average Joe from Taiwan really remembers about random characters' roots, composition and meaning. I know much more people from the mainland, and among them are people who don't give shit, and those who can also write a lot of traditional characters and give lectures about the origin of meaning of some character and whatnot.

Also, since this is about computers after all, I've seen a study a while ago about from mainland where they tested how many mistakes people make writing less common characters. There was a bar chart that went down between 10 and 20ish, then went up a bit and started to go down again at around 30. It was speculated that people in school still have to write a lot by hand, and during/after college that stops and everything has been digital for a decade now so people just forget again, but folks old enough to have used pen and paper for a couple decades just had enough practice. I wonder if this effect would be more or less pronounced with traditional characters.
You may be interested in CBOR (IETF RFC 8949).

CBOR features are almost one-to-one with JSON, except that the encoding is more size-efficient, it supports a few additional types (e.g., integers and floats are separate), and it allows semantic tags.

https://en.wikipedia.org/wiki/CBOR
I didn’t know anything about monads before, now I’m curious what the point of one is
This is a very incorrect and overly prescriptive view based on your, to use your own term, narrow experience. I vastly prefer meetings and collaboration to be remote. People who dominate in person meetings due to their body language and personality are not nearly ad oppressive over zoom.

I would make the exact opposite claim. Since Covid and working from home the quality of my teams’ collaboration and decision making quality has gone through the roof. Quality of promotions has gone up significantly, you’re no longer rewarded for just being the loudest monkey in the room with an opinion. The only metric that has suffered in any measurable way is onboarding and mentoring young engineers who do not yet know how to learn. You have to be much more active and sensitive to their state. In general I look back at that era of my career as archaic. Everyone that wants to go back to that way of working seems dinosaurs who operate on their feelings rather than the data of how quality work is done.
Creativity has no shelf life
It was due to the metaprogramming capabilities, due to how Circle enables to use full C++ at compile time instead of constexpr/constinit/constval, David Sankel has a talk where he jokes with the WG21 decision process that was behind it,

"Don't constexpr All the Things", from CppNow 2021,

https://youtu.be/NNU6cbG96M4?t=2045
Let's make a distinction here between serialization formats and configuration formats. Because JSON is often used for both, these two use cases often get conflated.

For configuration formats, I 100% agree with you. I do not want any data type except a string and a hashmap (maybe an array if you're being luxurious). Not an int, not a float, not a boolean, not a datetime (looking at you, TOML). For configuration formats I am always immediately feeding those files into a language with a richer type system that will actually parse them; my program and its embedded types are the schema. (Users of dynamically-typed languages may reasonably disagree.)

However, for the serialization use case, I'm not so sure. There's an argument that having a schema against which to do lightweight validation at several points in the pipeline isn't the worst idea, and built-in primitives get you halfway to a half-decent schema. I'm ambivalent at worst.
One relatively simple but informal description of the problem is that the statement is self-referencing.

Related is the Bertrand Russell paradox:

X = {z | z is not an element of z}

So, X is an element of X if and only if it is not -- a contradiction.

The usual solution was to have two steps:

(1) Over here, say, on the left, we have everything we want to regard as elements.

(2) On the right, we have everything we want to regard as sets. The sets consist only of elements.

That's a good fix.

For more, there is the elegant, long popular, P. Halmos Naive Set Theory, now available in PDF, LaTeX, etc.

For more there is the appendix to J. Kelley, General Topology.

For more there is P. Suppes, Axiomatic Set Theory.

For more, sure you want more????
Plenty of suburban homeowners like myself are happy to never have to go into the city and have been granted this due to work from home. I personally haven’t been downtown in like 6 months. A large percentage of the population who commute to city centers from the suburbs for jobs are probably working office jobs that could be done remotely. The ulterior motives I’ve heard for RTO are that commercial real estate prices are plummeting and city revenues are plummeting because of lack of workers. If that is the case then aren’t the suburbs subsidizing the city?
Just Live
Have you used Windows 11?

Like literally, I have a Pentium MMX 200 Mhz (64 MB RAM, 8 GB CF Card) machine right next to my Surface Pro 9 (i5 1235U, 16GB RAM, 2 TB SSD). The Pentium (running Windows 98 SE) demolishes my Surface Pro 9 (running Windows 11) in opening applications, and UI latency. I can literally open about 30 copies of Windows Explorer before Windows 11 opens a single one. Honestly the only thing that's really slower is booting since it takes forever in the BIOS stage.

Modern software is just slow. We've given up all of the advantages of our orders of magnitude faster I/O.
we are talking about someone getting mad because they didn't like the word "copaganda" getting used in a discussion lol, how is this anything other than a total distraction from the point?

sealioning is right, bringing it up in the first place was a distraction, by design. if you don't want to discuss copaganda, get mad about the fact someone used the word copaganda rather than contradicting its existence or usage.

that's why tone arguments are a logical fallacy - they're an ad-hominem, you're attacking the speaker rather than the argument. it's far too easy to let this all slide into "well I would have agreed with you but now you've gone and offended me with your tone!!!" as a way to slam the door on a discussion you're losing.

as difficult as it is, the mature thing is to simply accept that this is a way that people legitimately feel about cops and their marketing/relations with the public, and that they feel there's very good evidence and backing for it. It's unfortunate that you feel offended, but you can't derail the discussion because of that.

(moreover, the idea that we have to inherently respect the cops as social guardians and blah blah is very much a neoliberal perspective to begin with. minority communities tend not to have such rose-colored perspectives on the issue etc. People who have their property stolen at gunpoint at the roadside by cops tend to have a different perspective too. This is not some universal norm that is violated here.)
In that case, let me go a step further: although I wouldn't respond the way some other folks have, I get why they would. Many of my most memorable and most intellectually stimulating classes were those that weren't related to my engineering degree. The philosophy classes, though, never even approached "intellectually stimulating" status. I wrote a good 80-100 pages of pseudointellectual drivel about half-baked analogies like the "answering machine paradox," and accrued thousands in debt in the process.

Another thing: The great thing about Philosophy is that there are no wrong answers. But, the bad thing about philosophy classes is there are wrong answers. Open-endedness and free thinking don't scale to 150-seat lecture halls, indifferent TAs, and PhD-candidate "professors" doing the bare minimum to get a diploma.
ime that's due to the number of variants and peripherals, not the language/os. See nrf device trees which morph w every rev of the sdk for example.
It's pretty normal, but I don't agree it makes sense. You've spent your whole life in Anytown, USA, and the plan is to determine a birthday at which to sell your home and move away from all your friends to Florida? Or maybe they move with you? What about setting down roots and living in the same house from generation to generation. I mean, to each their own, but housing as an investment is what leads to this "logical" conclusion. If housing merely tracked inflation then we'd have a different situation.
Years ago I saw some YouTube videos featuring sports folks - from marathon runners, to someone row/paddling across the ocean - all of them being long term (basically permanent) on keto.

And also recently some UK doctors (some of them with diabetes - I mix the types so not sure which one) decided to prove a point by going low carb/keto, while doing long runs daily (about half marathon a day), to be sure they've definitely used up all the potentially stored glycogen.
And the lighting makes it really hard for the camera to see any stars, so the sky always looks deep black and fake which also adds to all those frustrating conspiracy theories.
Probably for the sake of explanation, to show how the new "lifetimes" and types would work from a user's perspective, even if they could be inferred in practice.
> it's one of the jobs with the fewest requirements for the position.

Do you know what ServSafe certification is?

> it is a good time to reflect on the decisions you have made in your life that have put you in that position.

In my entire life I've never looked down on labor. If I had no other choices, I'd be happy to wait tables, and I wouldn't think anyone has the right to treat me poorly because they think they're better than me.

> Perhaps finishing high school wasn't such a bad idea after all.

Perhaps not being a detached anti social snob is too hard for the average HN reader.
What was the difficulty in re-assembling it?
If you didn't follow what has been happing in the LLM space, this document gives you everything you need to know about state of the art LLM usage & applications.

Thanks a lot for this!
Available autoformatting is great, but IIRC the Apple issue happened in an automatic merge. Autoformatting would still help it be noticed, when someone wondered why the formatter changed some bit of the code they hadn't touched, but a formatting check in with the automated tests would catch it faster.
Communist life was so much better:

https://news.ycombinator.com/item?id=40553675
So basically that's an offline backlink scheme.
I was in my 20s before I realized even numbered houses are always on one side of the street and odd numbers on the other. Literally no excuse for not figuring that out.
Making burritos
Zephyr, NutXX, and others aren't GPL, and that is a big deal for those folks.
The initial release of it, or the um... re-cut version (if I'm remembering correctly?) that came out later on?
>hypothetical

Seriously?

>is comparable or justifies

That's what escalation is. The American sponsored coup was an escalation. The reunification with Crimea and support for Eastern Ukrainian rebels was an escalation.
Did a bot write this comment?
Burrito(Veggies)
It is a widely used analogy generator
The subheading and parts of the article itself emphasise the medieval, while the period covered is mostly early modern, just overlapping with the very end of the medieval.

I wonder if it is avoiding the disquieting thought that belief in magic is more of a modern than medieval characteristic? No only was it openly believed in during early modern times, but it is still believed in although most people do not call it magic - it is usually disguised with some kind of talk of things like "energy" or a pseudo scientific wrapper.
praise math
I took my Thinkpad to a repair shop because its charging port was damaged. A very stoic human pointed out to me it has *two* identical ones, USB-C type, right next to each other.
Definitely not in the German speaking countries, we have different blinds. You pull a cord down for the blinds to go up, and vice versa. Then the cord is tied to a hook or button.
> the gaming brands push the marketing numbers up and up.

There is a trend in the opposite direction, where people read books and such on low-fps e-ink displays. It's true that people complain they are expensive and the low fps makes it useless for a lot of tasks, but there is still a market because the "like paper" display is so readable. I think that makes it clear that people have a variety of needs. Your logic is something like trickle-down economics - it is certainly important to continue doing research into displays but this doesn't necessarily translate into cheaper panels. I would say the main reason you can get a cheap $100 monitor now that is the equivalent of a $700 CRT from 30 years ago is economy of scale. The manufacturing process is more automated and streamlined with fewer assembly steps, and there are many competing manufacturers.

Meanwhile 240hz is justifiable even for non-gaming, e.g. https://www.tomshardware.com/monitors/gaming-monitors/tcl-de... who says he noticed the benefits of 240hz just browsing and scrolling.
There's no point as such. They are a natural (non-leaky) generalisation of a recurring pattern in mathematics and software over which you can build some general theory and, in the case of programming languages such as Haskell, a general purpose library.

Haskell is one of the few languages that lets you write those general purpose libraries. In other languages, there's really no point talking about monads.
> my program and its embedded types are the schema.

They are not. Configuration is a very tiny subset of a more general problem that you also mention: serialization.

Your config file will be de-serialized by your program and parsed into some specific types. Including numbers (tons of edge cases), dates (tons of edge cases), strings (tons of edge cases) etc.

It becomes worse when your program is used by more people than just you: which field is a date? In which format? Do you handle floats? What precision? What's the decimal separator? Do you do string normalization? What are valid and invalid characters, if any?

You can't pretend that your config is "just strings". They are not
While it might be great in theory, CBOR has own separate set of dragons waiting for you.

Expectation: tags in CBOR allow you to pass semantics.
Reality: multitude of tags, and absence of strict rules for the tags make it pain in the ass.
Ingenuity had a relatively shoe-string budget and leaned heavily on off-the-shelf components. It was also a technology demonstration rather than anything mission-critical, so it didn't need absolute reliability.

Which isn't to say that NASA wouldn't necessarily use Linux in mission-critical applications; there exist real-time patches for Linux.
So how can one whine about morally good thing?
Noob question here: is this the reason specialized chips can work so much better for AI applications? That the computations needed in a neural network are entirely deterministic and there is no need for branch prediction?
Haha, I have done this too! Glad I am not alone.
A "monad" is a description of something so general it covers lists, things that might not exist, things that might fail, and things that might happen in the future.

It is a concept from category theory, which is the branch of mathematics that deals with saying as little as possible about as much as possible.

You don't have to worry about any of this unless a teacher tells you to. (And if they do, you can just leave.)
This is the goal of the Pallene project: https://github.com/pallene-lang/pallene
It’s preventing the theft of the API key. The attack can, at most, replay that specific request (which you could also mitigate with a nonce and expiration).
They already are. Ones are called "natural persons" the others are "legal persons".
I learned way into my adult life that I could just turn the swivel hook/latch to quickly unwind the cord on a vacuum cleaner.

Before that moment I would manually unwind the cord just like I would wind it up. To make it worse, I even remember wondering why the swivel hook was there thinking it was poor design.
Inequality Without Class
I don't think this was dumb exactly, just naïve. I didn't know fireflies were real until my 20s. I thought they were just a made up thing in storybooks.

I was rooming with a girl I barely knew for the summer and was looking out the window while washing dishes. You know how fireflies tend to sync up? Suddenly I see hundreds of tiny yellow lights turn on and then off. On and then off.

I yelled for her to come in (at least to my credit I was more fascinated than afraid!), and she ended up dumbfounded that I had never seen fireflies before!
Almost no website or application in 2024 is fast enough. HN itself is the only website I can think of which is "fast enough".
I can't tell if that's part of the ship, or its shadow: https://i.imgur.com/NTiZuJe.png
In another comment I mentioned UK doctors (so folks closer to couch potato than ultra long distance runners) basically saying let's do this.

Photo resembles guy I saw talking in a video about it (video was newer though) - otherwise it's first Google hit for "UK doctors diabetes keto running" and I'm yet to read through the article https://www.diabetes.co.uk/blog/2018/08/gp-type-1-diabetes-r...
Fink, a Police Informer
Microsoft ThreadX is open source.

I guess minix is kinda in that space too.

FreeRTOS has already been mentioned, but there's also NuttX/Vela.
Before I worked in aerospace, I wondered why that industry cost so much. Now I understand that every requirement within each requirement document has to be "flowed down," maintained, verified, documented, and that compliance has to be proven along the chain from design to operation. The number of these documents grows at some beyond-linear rate with project complexity.

Of course, this is not all the source of cost but it is a good chunk. But, if you're building spaceflight hardware that can't be repaired once launched, it is necessary.
Oh ok sorry I didn’t realize.

I’d bet iDoctor comes out next week.
as i recall, understanding the design fully enough to get the springs and tetchy parts back together. Which goes where.

This was pre-internet so articles like that one weren't available to me. There may have been some trick to keeping springs where they were supposed to be as it reassembled too.
Eh, also in legal practice there are key skills like selecting the best billable clients, covering your ass, building a reputation, choosing the right market segment, etc. which I’d also argue LLMs suck at.
My experience as an American:

- Free or instant, pick one. FedNow was supposed to fix that but AFAIK it hasn't rolled out.

- Opening a bank account involves shittons of KYC paperwork. I've never had to prove residency though. In fact in Utah it's the opposite: you can prove residency (for a state ID card / drivers license) by, among other things, having a bank statement with your new address on it. No clue how that works with paperless.

- Virtual/one-time numbers are a thing but not widespread. Credit card companies sell services intended specifically to ensure getting a new number doesn't cancel recurring charges.

- 3DS (Three Domains Secure, not Nintendo 3DS) is technically supported but rarely enforced by merchants.

- Cashback is a gimmick used to justify payment fees.
https://web.archive.org/web/20240523200252/https://blog.oup....
iPhone 11 onwards, excluding all SE versions.
>for helping the victim to defend

I don't understand you. Russia was finally helping the victims -- DNR and LNR -- to defend themselves. And the West is helping the bully to regain its power over victims.
Keep in mind that 70% of the pollution comes from 100 companies.

We discuss spending more money and taking extreme measures (shall we darken the clouds? bullshit) instead of taxing these fuckers out of existence and calling it a century.
> If you can solve a problem in userspace, why bother force-fitting it into the kernel? Chumby probably could have figured out a way to make the STM32 show up as an actual /dev/rtc0 device…but what would the advantage have been over the scripts they wrote? None.

For something like the Chumby, where userland is basically fixed and doesn't have a half dozen distros building on top of it, I agree. But if this were commodity hardware that Debian, Ubuntu, Arch, Mint, etc wanted to pull in support for, the extra time spent making /dev/rtc0 would mean the distros don't have to implement their own non-standard implementation of setting the clock.
I’m obviously biased because of my career speciality, but I love everything about RDBMS. I love mastering the million knobs they have, their weird quirks, and how if you use them as designed with properly normalized schema, your data will ALWAYS be exactly what you told it to be, with no surprises.

To this end, “devs just want to persist entities” makes me both sad and frustrated. Everyone seems to default to “just use Postgres,” but then don’t want to actually use an RDBMS. If you want a KV store, then use one. If you want a document store, then use one. Don’t subject a relational database to storing giant JSON blobs with UUIDv4 keys, and then complain that it’s slow because you’ve filled the memory with bloated indices, and saturated the disk bandwidth with massive write amplification.
When I was about 3 months into my programming career I performed a minor refactor to some code.

Unfortunately, the program was difficult to test (no unit tests) and very important, and difficult to verify correctness of output as well. (As in, you can't just look at it and say "yeah that's numbers lgtm").

Also unfortunately the previous author had not been very consistent in their programming style, so there was a lot of syntactic noise (some single line if statements used braces, some omitted them, etc)

Also unfortunately in my prior rewrite work in this, I had grafted the old UI onto my new backend to save time, but not brought the rigor there up to snuff (it's UI code, I had thought. It's well enough to have tests covering the business logic for now.)

Well anyway when I had rearranged some code, I hadn't realized there had been an extremely large block right underneath an if statement that wasn't using brackets, and I had accidentally split it into a few statements. N-1 of which were naturally now outside of the if statement.

The end result being that a bunch of code would run and the "is dirty" state worked fine, but if you clicked save on a "clean" state with no edits, it would blank the fields in the DB but not in the UI.

It didn't end up having any actual impact because we caught it in time, but god damn did it teach me something about "real" programming. I'm not sure exactly what all it taught me, but I think about that a lot as I do random other things now 8 years and 3 companies later.
Actually that looked like romanized Cantonese.