skysight-inc/HackerNews huggingface dataset:
Ah, well, you see, the true believers will simply rewrite history; there was never any lie at all! For instance see https://news.ycombinator.com/item?id=42647171 . Informed people knew it was a lie from the start (there not being $2bn discretionary spending to cut). The average Trump voter will never hear about this retreat. That's most of the major groups covered. Thus, there are no consequences to this sort of obvious lie.
1.2M isn't very long. It was in the same place and the climate was similar to today's. There were human-like apes living at the time in Africa. The Antarctic ice sheet is believed to be more than 30M years old.
Maybe the reason why people keep calling out Stephen Wolfram (and have been doing so for a decade) is because he has a history of making grandiose claims that do not always withstand closer scrutiny?

I'm not claiming that Stephen Wolfram is an idiot or that nothing he writes is of value, but his ego clearly does influence his judgement so it makes no sense to me to claim that it is off-topic (in the way that, say, his love life or his opinion on abortion would be).

Also this:

> Happens all the time plus many repetitive things constantly get moderated away by users and moderators. The goal is a less boring messageboard, but it's aspirational rather than perfectly achievable.

No sorry, I've been on HN during the pandemic and I was this close to quitting it forever. These things do not get called out in any consistent fashion for many topics. I'm pretty sure a message board for people interested in technology can handle a couple of "Wolfram sucks" comments a year better than literally hundreds of angry rants about a health advisor that doesn't even have any relevance to anyone who isn't from the US.
Offices were pretty much for managers. The standard was (high-walled) cubicles. Although a lot of the people involved here were in hardware so a lot of their work was in open labs.
idk why but it's something product people obsess over. I added a table in the database for our platform that used autoincrementing IDs and my boss (the CEO) sent it back to me asking to use nanoids simply because they look nicer
does anyone have a link to this article where I dont have to pay for it, I'll even gladly disable my adblocker, but I'm not subscribing to read an article.
Quantifying attrition in science: a study of scientists in 38 OECD countries
Wouldn't call myself a nerd, but I was so confused thinking "isn't this what Dumbledore said to Harry when asking about Voldemort?"

Guess it just shows retention of books overrides movies, given that I've consumed both.
Try it! Kagi is the only search engine besides Google that caters to non-English searches.
Even if we set three-value logic aside for a moment, this behavior of NULL still makes sense intuitively.

The value of NULL in a particular table cell is simply a way to indicate 'no value'. If you want the values in a column to be unique, cases where there are no values shouldn't be considered.

This plays out similarly in practice. For example, you may want to allow users to optionally reserve a username, and if they do, those usernames should be unique. It's hard to imagine a use case where by wanting a field to be both optional (nullable) and unique, you mean that the field should be optional for a single record (!) and required for all the rest. Of course, you mean that IF there is a value, THEN it should be unique.
That's not quite how it is.

The commercial subsidiary is a publicly-traded company and the Foundation (the charity) owns about 49% of it (last year it wasn't publicly traded and they owed ~98% of it iirc). The Foundation received £213m from "other trading activities" last year (which I interpret as income from their share of the commercial subsidiary) out of a total income of £220m. Out of this, the Foundation spent £12m on "charitable activities" and £195m on "raising funds"... [1]

[1] https://register-of-charities.charitycommission.gov.uk/en/ch...
Its not that it had a big chance, its that because everyone (other auto manufacturers) was doing it and you have to keep up to make the shareholders happy
Can you give an example? An app that doesn't back up data that's essential to you?
[dupe] https://news.ycombinator.com/item?id=42633488
I have a few M5 cardputers, i wonder how hard a port would be
I've found a great deal of use in working with other people, and they share my weaknesses far more than an LLM does. Even if I worked with exact duplicates of myself, I expect I (the one I, not the collection of clones) would still be more productive than if I worked alone- I routinely improve my own work when I read it back later after having lost context, so the context-free mes should be able to help in the same way.
Every success story is built on a path of failures. I like to believe in this. It motivates me not to give up. (If I understood everything correctly...)
Yes, ergonomics dictates some weird behavior for nulls.

Luckily, Postgres nowadays lets you declare the behavior of each null in unique constraints, like it should be. We can expect this to creep down to the other DBMSs with time.

Making nulls distinct on a "select distinct" or a "group by" would be completely useless.
FF is too slow. Brave is where it's at.

I do wish I paid for Brave but again - I don't see ads online so I don't what they do with my information anyways.

I don't wonder about Google or Microsoft.
if it's on the internet, it's in a dataset somewhere at this point.
It depends.

A proven conjecture is IMO better than an unproven one.

But usually, a new proof would shed new lights or build bridges between concepts that were before unrelated.

And in that sense, a proof not understandable by humans is disappointing, because it doesn't really fullfil the need to understand the reason behind why it's true.
America is a predominantly white country, despite the fact it is one of the least racist and least homogeneous ones in the world.

>BMI is based primarily on data collected from previous generations of non-Hispanic white populations.

This quote you provided proves my point. If there is an inherent bias in choosing from your own population, that doesn't make the study racist. If the study was Chinese and therefore didn't apply perfectly to Americans, that wouldn't make the focus on Chinese people a sign of racism.

By the way, affinity for your own group is encouraged in every case except for white people. Other groups aren't so stupid as to hate the homogeneity of their homeland. Go live in a more racially uniform country in Asia or Africa and see how much they care about diversity. They want the opposite.
You can do what with Pieces? Jim's top copilot prompts
This isn't a new conundrum. This was a very contentious question in the end of the 19th century, where French mathematicians clashed with the German mathematicians. Poincare is known for describing proofs as texts intended to convince other mathematicians that something is the case, whereas Hilbert believed that automation is the way to go (i.e. have a "proof machine", plug in the question, get the answer and be done with it).

Temporarily, Germans won.

Personally, I don't think that proofs that cannot be understood have no value. We rely on such proofs all the time in our day-to-day interpretation of the world around us, our ability to navigate it and anticipate it. I.e. there's some sort of an automated proof tool in our brains that takes the visual input, feeling of muscle tonus, feeling of the force exerted on our body etc. and then gives an answer as to whether we are able to take the next step, pick up a rock and so on.

But, mathematicians also want proofs to be useful to explain the nature of the thing in question. Because another thing we want to do about things like picking up rocks, is we want to make that more efficient, make inanimate systems that can pick up rocks etc.

----

NB. I'm not entirely sure how much LLMs can contribute in this field. The first successes of AI were precisely in the field of automated proofs, and that's where symbolic AI seems to work great. But, I'm not at all an expert on LLMs. Maybe there's some way I cannot think about that they would be better at this task, but on the face of it they just aren't.
And Chrome had one with severity "High" just three days ago, browsers will always have security issues that seem to be patched reasonably fast in the big three. Might as well pick one that's not part of the monoculture by a big advertising company, depending on your threat model of course.

https://chromereleases.googleblog.com/2025/01/stable-channel...
i would imagine a proof has several "uses": 1) the proof itself is useful for some other result or proof, and 2), the proof is using a novel technique or uses novel maths, or links to previously unlinked fields, and it's not the proof's result itself that is useful, but the technique developed. This technique can then be applied in other areas to produce other kinds of proofs or knowledge.

I suspect it is the latter that will suffer in automated proofs perhaps - without understanding the techniques, or if the technique is not really novel but just tedious.
> they are far less confident than public personas

Science requires, at its core, falsifiability. Just a little education on the philosophy of science is enough to rid most scientists of bravado; to make them wince at words like "fact" and "prove" in scientific contexts.

I imagine this has an impact on personality as well, in the long run.
I'm not in the medical profession, I'm just a humble internet user. It's entirely possible you know more than me - I'm happy to hear other ideas.

> Keto might buy some time before that takes effect but it is not a solution.

It might still be a solution. The cancer may be spread out and easier for the body to effectively tackle. Also note that it may depend on type or location.

One thing that does seem clear is that if you do go the keto route, you would need to stick at it. If you purposefully break it down, it spreads, then you give it back the fuel, it would probably make the situation far worse by growing rapidly in multiple locations.
How do you add new entries?
There's a 1:1 mapping (a bijection) between uuid and uuidkeys, therefore there are as many possible uuidkeys as there are uuids, and the risk of collision is the same.
Since we're talking about books, this statement reminds me of one that OP might want to look at: Super Founders.

It's been a while since I've read it, but off the top of my head: most successful founders are older than you probably think, have less industry experience than you probably think, start (like nVidia) with more competitors than you think, but (to your other point) are more likely to have more entrepreneurial experience than you think (even very young famous founders like Zuckerberg or the Collisons had another venture before the one that made them very well known).

Honestly I found Super Founders kind of dry, but it's one of the only data-driven books about what differences exist between founders of businesses with exception outcomes vs founders with less successful outcomes that I've read.
There are alternative possibilities, like "we don't have enough vehicles to serve this area appropriately" or "we don't have statistical power to ensure this area meets safety standards even though it looks fine", and "there are missing features (like freeways) that would make public service uncompetitive in this area" to simply "the CPUC hasn't approved a fare area expansion".

It's an area they're operating legally, so it's part of their operational area. It's not part of their public service area, which I'd call that instead.
Sometimes you want UNKNOWN, sometimes you want MISSING.
Not to be confused with another lc, which is a highly configurable "multi-dimensional"[1] file lister focused on flexibility and configurability, written in Nim.

https://github.com/c-blake/lc

Key features:

- Multi-level sorting by combinations of attributes like size, time, and file type, with user-defined precedence

- Configurable file kind sorting order

- Value-dependent coloring for file attributes such as timestamps, permissions, or sizes.

- Abbreviations: Automatically shorten filenames, user/group names or symlink targets.

- File type classification: Integrates libmagic for file type inspection.

- Hyperlink support

- Per-directory configs: custom behaviors for specific directories using local tweak files (.lc).

- Lightweight (~900 lines of code) with only author's CLI library "cligen" and Nim's stdlib as dependencies.

and more.

[1]: https://github.com/c-blake/lc#vector-typemulti-dimensionalit...
Founder here. Donations are the vast majority of Hack Club's revenue and make it possible and free for teenagers. Donate here: https://hackclub.com/philanthropy/

We also make a very small amount of revenue through the fiscal sponsorship program the other commenter mentioned: https://hackclub.com/fiscal-sponsorship/
And? I don't see that as a reason to break CC license.

If you're gonna expunge someone, don't half-ass it.
Meta's recently released Large Concept Models + this Meta Chain of Thought sounds very promising for AGI. The timeline of 2030 sounds increasingly plausible IMO.
I wonder if VPN companies are allowed to advertise that they can bypass the ban, that would be a great marketing campaign, but I dont think it can be that on the nose.
I have been using Aider for a while but not Cline. It looks like Cline has more functionality but I am have been pretty satisfied with Aider. I like the simplicity. I use Neovim instead of VS Code, so couldn't quite get into Cursor.

You originally/usually run Aider from the cli, but with this new feature, you can insert instructions and notes into the code as comments which will be acted on. This is similar to Cursor's select code+Cmd K.
Exactly. There is not anon browsing bc of a browser - you have to do a lot more than a browser to be anon online these days.
I would agree with that.

Also, I don't really want API keys and such to be generally pretty. If things that have no business being end-user facing are ugly then they are less likely to be allowed to accidentally become end-user facing.

If being pretty or otherwise user-friendly is a priority, then I'd go with trying to make them readable/pronounceable rather than shorter, even if that actually makes them longer. There are numerous projects out there¹²³ for doing just that. You could even use the 256-word example³ with multiple small dictionaries, and give people a choice from various possibilities that map to the same number.

----

[1] https://github.com/Debdut/uuid-readable

[2] https://github.com/Martichou/uuid-readable-rs

[3] https://github.com/anton-bot/guid-in-words
I don't quite understand the need for a timestamp. This only reduces entropy? You wouldn't think of using the current date in a password prefix for example.

Aren't you going to track the keys in a database, where you can keep the tenant id and creation time, scope of the key and any other significant metadata anyway?

A static prefix + checksum, maybe a version number so you can future-proof the system sounds like best practice. For example `ASKEY1-(128bit random base32 encoded)-(chksum)`.
Whatever their reasons for denying claims, capricious denials is the main complaint people have about insurance, so it doesn't really feel any better if it doesn't actually increase their profits. Out of curiosity, why do you think they deny claims of it has nothing to do with profitability? Is denying claims just fun?

It's actually comical to claim insurance is irrelevant.

Billions of dollars of middlemen creating makework inserted into the process surely adds no costs, and is completely irrelevant to how much it costs. The waste generated in hospital billing departments is free, since people famously love working for billing departments and will do it for free. Commercial real estate for healthcare company buildings is also free, and so are the salaries of all the people that work for them. Not to mention their role in creating price opacity, allowing prices to rise unchecked and having different prices for different payers, also has no effect on prices. The stress that patient dissatisfaction (or outright getting fucked) causes providers is also completely free and causes no waste.
multiple dependencies,

Also requires two other packages to run its 3 lines of code.

"dependencies": {
"@scure/base": "^1.1.7",
"uuidv7": "^1.0.1"
}
PostgreSQL JDBC Driver
Yall are so dramatic.

It's a trivial library to write. 99% of it is just deciding what you want the output to look like + writing the blog post.
I would say that hard work and perseverance create the foundation, but timing and opportunity often determine the outcome.
I apologize if I misinterpreted. An AI tool built for lawyers does not need to tell a lawyer to consult a lawyer, they're lawyers, especially a tool charing $5k a month that is supposed to... replace junior... lawyer. :)
I like this videos!
Meshtastic is another project that has recently made serious strides[0] in their UX on the Lilygo T-deck (and similar ESP32 devices), but specifically regarding LoRA-enabled devices.

It's still on a branch, but I compiled and ran it, and now I have two T-decks that can communicate with eachother off-the-grid without a smartphone attached to send messages; it's actually usable in emergencies now, which is why I bought the devices in the first place.

Currently in the process to deploy a mesh from me to my parents and family.

[0]: https://github.com/meshtastic/firmware/pull/3259
They use it for BAT tokens. You can "opt-in" to viewing some ads in exchange for crypto.

Don't opt-in and enjoy an ad free experience.
They realized that and were pleased with themselves.

> The dashes do remove easy double-click copying, but we think this a fine trade off for readability. We don't want users copying and pasting them everywhere, in fact we want them to be handled with care. Ideally, users copy each key exactly once - when they generate the key from our dashboard - so we added a copy button to our UI to solve that case

Don't even think about copying/pasting that key, you rube!
He even emphasizes this in the piece — he extols the librarian as having the skills to recognize patterns in how people recall books, which includes imperfect memories.
API keys and UUIDs serve fundamentally different purposes, even though they may look similar as random strings:

1. API keys are security credentials:
- They are meant to be secret and revocable
- They often encode metadata about permissions and identity
- Compromised API keys must be invalidated and replaced
- They function like passwords for authentication/authorization

2. UUIDs are identifiers:
- They are designed to be globally unique but not secret
- They contain no inherent permissions or privileges
- There's no security risk if others know a UUID
- They function like serial numbers for identification

To use an analogy: An API key is like the key to your house (needs to be kept secret, grants access, can be changed if compromised), while a UUID is like your house's street address (can be public, just identifies the location, doesn't grant any access by itself).

Thinking they're equivalent is like saying your house key and address are the same thing just because they're both strings of characters. This misconception could lead to serious security vulnerabilities if API keys are treated with the same casualness as UUIDs.

PS, we all liked this site, right?
https://everyuuid.com/
It seems you don't think it's complex because you only learned a bunch of commands, and do basic things

And I'd bet you have little familiarity with its documentation, which in itself is one of the worst I've ever ran into.

The fandom around it, furthermore, with most saying it's awesome to not admit that they don't know it, makes things much worse
> they actually make fun of the player for daring to want blueprints that don't suck

In their defense, Coffee Stain/Satisfactory makes fun of the player for absolutely everything. They always have. It's just the culture of their studio.
Something like this?

https://tristam.ie/2024/1126/
> The dashes do remove easy double-click copying, but we think this a fine trade off for readability. We don't want users copying and pasting them everywhere, in fact we want them to be handled with care. Ideally, users copy each key exactly once - when they generate the key from our dashboard - so we added a copy button to our UI to solve that case.

Or, just ignore the dashes? It's not that difficult, we have the technology.
This is the only annoyance with UUIDs, I won't be typing it because its 5 characters shorter. Separators are nice because I can try to visually compare Ids, but it needs to be a visual separator that won't break a `word`/`WORD` (whatever boundary that is by default on most terminals and browsers) select by double clicking.

I want to just double click and copy, dragging is annoying.
Mozilla wants CAs to revoke 30 random certificates per year
Why should my user have the right to shut down a production box?

Having a tool to warn me that I'm about to do something I shouldn't be allowed to do is okay. Having proper access control would be better.

(Fun: 'boulette' is French for 'dumb mistake')
Full article: https://archive.is/TDE9g
I'm 99.9999% sure that your 1% risk is incorrect, given they are just reformatting UUIDv7
9.9 miles if both sides of the link are on mountain tops with no buildings in the Fresnel zones.
Subjective and wishy-washy framing. Sure, there's a "human culture" in that we all eat, sleep, etc. but it all depends on how you want to draw boundaries or frame the question of what culture _is_.
Isn't that exactly backwards? "USB4 is TB with optional features ...?"
Thanks a lot for sharing. Yes, going up and down the frequency range is what they seem to be doing in the experiments as well.

By 500lb, you mean its pulling force, right? Thought it was the weight of the magnet for one second. And just making sure, by "round" you mean cylinder with diametric polarization?

Do you use any tool for measuring the strength of the magnetic field?

Good luck to you.
>This article directly reinforces about five different right-wing narratives.

I didn't see that. Which ones?
thank you posting it here :)
btw, today I've shipped support for Voyage AI (Anthropic) models.
Every time I have a meeting with government, especially regulatory agencies about getting something done, it isn't easy because these words have very different meanings, which can lead you into bad places quickly:

support - engineer means "compatible, works with" govt means "aiding a cause"

business rules - engineer means logic, govt means literal rules that have force of law

If you want to get results, you have to be really careful - if you say you are supporting something, the govt people may think you are aiding a cause they or whoever appointed them oppose. If you talk about rules, govt people assume a 2 year fight, expensive process, and lots of hearings - so it gets weird.
Maybe the reason why people keep calling out

It's not about the reason, it's about the repetitiveness. The boringness of the repetitiveness is one of the organizing principles of HN. Also, people don't actually 'keep calling out' this stuff - these moderator interventions, specifically in the Wolfram case, have been surprisingly effective. Many Wolfram-y articles have neither moderation intervention or bad tangents.

These things do not get called out in any consistent fashion for many topics.

You don't see everything, neither do other forum participants, including the moderators. The fact that, collectively, some boring and repetitive stuff is missed doesn't imply we can all use more boring, repetitive stuff.