MurphyA/hacker-news huggingface dataset:
by IshKebab | 2025-10-01 13:24:43+00:00
> Deterministic Simulation Testing (DST) feels like the most transformational technology that the fewest developers know about. It’s a novel testing technique made popular by the FoundationDB team

It's not novel. That's how hardware (ASIC) testing has been done forever. The novelty is applying it to software.

> TigerBeetle’s VOPR is the single largest DST cluster on the planet. It runs on 1,000 CPU cores

Only if you exclude hardware, otherwise basically every chip design company has a cluster bigger than this.
by Twey | 2025-10-01 13:24:49+00:00
I'd phrase this a tiny bit differently: monads give a model of effects in _impure_ languages and are important for that reason. The fact that Haskell chooses to emphasize monads in the language itself is cool, but their utility is not restricted to pure functional languages; quite the opposite! In a pure functional language you don't need to think about effects at all, and the only model you need is mathematical functions, which are much simpler.
by satellitemx | 2025-10-01 13:24:54+00:00
It’s to compare core architecture brother. The fact is Apple’s core has best IPC, has best efficiency, has best peak performance.

And you put out a long long long post to point out what everyone understands: putting more cores in and running at a lower frequency would yield better efficiency at full load… that’s why we got to the point in today’s x86 laptops, a single core running at full speed already exceeds sustained multicore power target (28-60w depend on device class) because Intel and AMD has no other way to up the performance other than adding more cores.
by floundy | 2025-10-01 13:24:59+00:00
I'm working on De-Googling. I now have a Mac and an iPhone instead of Windows/Android, but switching from Drive to iCloud seems a fairly parallel move.

I also set up my first home server with RAID NAS. It's on my list to spin up an OpenOffice container or something I can use to replace Google Sheets. That will let me delete my Drive data; next is Google Photos and eventually Gmail.
by gmuslera | 2025-10-01 13:25:53+00:00
There is a problem of agency here.

Assuming that we are talking about platform of user-generated content, should the users be punished by what they post? The kind of punishment can do the government is different from what a platform can do, and somewhat they want to feel free to express themselves. This are factors taken into account by users at making decisions.

In the other hand, what the platform does (through algorithms, weights, etc) at selecting, prioritizing and making visible content by users and users themselves is something happening at platform level. There the government may have something to do. And here we are talking about the platform decisions.

There is a middle ground on coordinating/playing with the algorithms to make your content visible by users or groups that control in a way or another many users accounts. There might be some government and platform involvement in this case.
by _fat_santa | 2025-10-01 13:26:22+00:00
You don't even need to leave Florida, just don't live right on the beach on in flood prone areas. My parents live south of Tampa along the coast but not right on the coast, the beach is maybe a 5 minute drive. I remember when Helene and Milton hit I was incredibly worried but afterwards the worst "damage" to the property was their outdoor garden didn't survive. Contrast this with some homes we saw along the beach that were completely destroyed by the storms.

But I get why people keep coming back. There's something so magical about those little villages along the beach. Besides the storms they are incredible places to live and I get why people keep rolling the dice on those places. It's much the same reason that people keep rolling the dice on places like Hollywood Hills even though there is a massive risk o fires and landslides up there.
by Xylakant | 2025-10-01 13:26:27+00:00
What if someone posts slander and libelous statements on a platform that you do not frequent? What choice do you have? What recourse do you have if someone posts something along this proud OpenAI demo with your face on truth.social? https://bsky.brid.gy/r/https://bsky.app/profile/did:plc:j5fb...
by sixhobbits | 2025-10-01 13:26:30+00:00
Same, I currently have

- My own rough business accounting (download all bank statements and do some pivots and graphing. Real accountants do the real thing, but I like to have a version that makes sense to me and that is up to date)

- Personal accounting finance tracking for sharing expenses and tracking living costs over time

- Consolidated asset tracking across different projects/accounts etc, just a quick summary that's not perfect but spending 10 minutes a month manually updating it helps keep it in my head too.

- A lot of project management (we also have real PM tools, but I keep my own sheets because it's easy and it makes sense to me)

- A bunch of quick analytics (I also use metabase, but sometimes it's just faster to create a graph in sheets)

Most of the time the sheet is not the _main_ tool I use, but it is the easiest and most useful one, while the others have better integrations, safety mechanisms (I often end up with +500 or whatever in a copy-paste formula error and sometimes don't catch it), and collaborative measures (if you have 2+ people editing the same sheet you're usually going to have a bad time)
by chii | 2025-10-01 13:26:31+00:00
> If a platform lies or spread malicious content

but if the platform didnt go verify all content placed by users on it, does it count as "spreading" it?

I mean, there's nothing stopping anyone from publishing a book which spreads lies and malicious content - book banning is looked down upon these days. Why are the publishers not asked to be held to this same level? What makes a web platform different?
by Cthulhu_ | 2025-10-01 13:26:32+00:00
Anecdotal, my previous employer had a contract once for a gas storage / exchange, for years their whole business relied on an Excel sheet (basically tracking gas storage transactions from various customers). I don't remember why but they decided to migrate that to a proper application, I think it took a full development team two years to build in all.

But it's likely that, as these things go, they added much more features and visualizations on top instead of just a like-for-like replacement.

TL;DR that company was bootstrapped successfully on just a spreadsheet.
by array_key_first | 2025-10-01 13:26:49+00:00
This isn't necessarily true. High content of certain cholesterols in the blood does cause heart attacks. It doesn't just indicate it - it actually causes it.

And, we have shown the mechanism of action. Certain cholesterols will build up on artery walls, constraining the flow of blood. When there is too much build up and/or the vessel is too narrow, blood can be constrained too much, causing loss of blood flow and therefore oxygenation. The heart has MANY capillaries and requires a lot of oxygen.

This is really for real.
by johnnyanmac | 2025-10-01 13:26:54+00:00
>Can we not talk about something else?

well HN is also burying the collapse of the country many of community resides in, so I guess that's off the table.

Heck, even the layoff news seems to have been normalized these days. There's this oddly sterile feeling here lately. As if we need to pretend we are still in good times, when clearly many of us are struggling.
by throwuxiytayq | 2025-10-01 13:27:08+00:00
Plenty of reports of people getting locked out of their Workspace accounts. Google even occasionally burns developers they have deals and working relationships with.

Just don't use any Google services. Not free, not paid (why would you send them money???!?!). Not for personal stuff, not for work projects. Not for throwaway data, not for important data.
by matklad | 2025-10-01 13:28:05+00:00
Yeah, there's actually trickiness here. Another curveball is that, with simulation testing, you generally want more assertions to catch more bugs, but slow assertions can _reduce_ testing efficiency by requiring more CPU time per iteration! But then, if you know, at comptime, that the list is going to be short, you might as well do O(N^2) verification!

We captured these consideration in the internal docs here: https://github.com/tigerbeetle/tigerbeetle/blob/0.16.60/src/...
by bluGill | 2025-10-01 13:28:35+00:00
Track record is a factor that you should consider.

When companies buy services from others they often ensure that the contract has protection from things like this. They have clauses that the data belongs to them. They have clauses about what happens if the company is sold. They have clauses about abandoning the product. They have a number of other things added that I'm not aware of.

You as a single individual (and often as a small business) don't have the power to get that into a contract. However you still should read the fine print - you should go elsewhere if it the fine print is against you.
by torginus | 2025-10-01 13:28:35+00:00
That's the whole point - these GPUs have impressive paper scores, but are designed with traditional, outdated ideas of shader pipelines in mind, and either cannot support flexible modern shading models/compute, or these features have tons of bugs, or end up being being much slower than the paper specs would suggest.

Essentially they can't run most PC games/ graphics software made in the past decade
by mym1990 | 2025-10-01 13:28:41+00:00
English does have precise meaning, if constructed to be precise, the issue is that LLMs do not assign meaning in the way humans assign meaning. Humans assign English meaning to code every day just fine, and sometimes it does result in bugs as well.

The LLM in this loop is the equivalent of a human, which also has ambiguous source language if we’re going by your theory of English being ambiguous. So it sounds like you’re saying that if a human produces a C program, it is not verifiable and testable because the human used an ambiguous source language?

I guess for some reason people thought I meant that the compiler would be LLM > machine code, where actually I meant the compiler would still be whatever language the LLM produces down to machine code. Its just that the language the LLM produces can be checked through things like TDD or a human, etc...
by bradley13 | 2025-10-01 13:29:05+00:00
Several European governments have jailed people for social media posts. Many Europeans support this - they don't understand how government censorship can quickly get out of hand.

As for falsehoods: some people will be mistaken, some people will lie, and sometimes sarcasm will be misunderstood. Why should anyone be liable? It is on each individual to inform themselves, and to decide what to believe and what to disregard.

Article 19 of the Universal Declaration of Human Rights: "Everyone has the right to freedom of opinion and expression; this right includes freedom to hold opinions without interference and to seek, receive and impart information and ideas through any media and regardless of frontiers."

It doesn't say "if your opinion is approved by the government". It doesn't say "if your opinion is correct". It makes no exceptions whatsoever, and that is what we need to strive for.
by permo-w | 2025-10-01 13:29:11+00:00
something I think that needs to be taken into account here is that for 14 years the Tories made decisions far more harmful, far more disconnected, and--in isolation--far less popular with the public than anything Labour has even considered doing, and yet for most of that time actually gained in popularity. why? because most voters in this country read and read news sources in favour of right-wing politics, and even the news sources that are more "left-wing"--The Mirror and The Guardian--aren't as sycophantic anyway. if Labour had the sycophantic media support that the Tories or even Reform do, none of you in this thread would be saying any of this. you may ask "who even reads newspapers these days", but this is not really a useful point, as many people may not read them directly, but they still broadly set the narrative, the tone and the cycle, even if you're hearing it second or third hand via social media

this isn't to say that Keir Starmer is doing an amazing job. he's not. he's far too comfortable with authoritarianism and far too establishmentarian, and I would much rather someone like Andy Burnham in charge--even if you can trust his policy positions just as much as Starmer's from when he won the leadership--just because he has some energy and charisma about him, and you feel like he might be able to counteract Farage somewhat, but, at the same time, the level of scrutiny of Labour is incredibly unfair and before you criticise them yourself, you have to try and remember that you're viewing it all through that filter
by array_key_first | 2025-10-01 13:29:18+00:00
> If one person with high cholesterol does not get heart disease then cholesterol is not the problem. Fact. Logic.

This is the stupidest thing I've ever heard in my life.

If one person doesn't die from cancer than cancer is not the problem. Fact. Logic.

Not sure if this is your first day on Earth or what, but YES, there's variances in outcomes. Welcome to Earth and being a human.

My grandfather smoked for 70 years and died peacefully. And what?
by Romario77 | 2025-10-01 13:29:19+00:00
How would you explain discount airlines that don't have business class at all?

You also contradict yourself saying they only profit from business class but at the same time they can't profit from business class because there is no enough demand for it.

Your statement doesn't make sense and what the poster above you said is right - they need both and that's the reason there are both.
by TheRealBadDev | 2025-10-01 13:29:19+00:00
TinyBones is a minimalist blog template for Astro focused on speed, readability, and accessibility. It ships almost zero JS on content pages and includes handy niceties like TOC, reading time, search, share buttons, and Giscus comments.

Highlights

- Minimal and fast: Built with Astro for optimal performance and minimal JavaScript

- SEO-friendly: Sitemap, RSS feed, and Open Graph protocol support out of the box

- Accessible: System, dark, and light mode support with keyboard navigation

- Developer-friendly: TypeScript, Tailwind CSS, and modern tooling

- MDX support: Write interactive blog posts with custom components including - built-in InfoBox admonitions

- Comments system: Built-in support for Giscus comments

- CLI tool: Create and manage blog posts and projects from the command line

Demo: https://tinybones.pages.dev/

Repo: https://github.com/itzcozi/tinybones

Astro, Tailwind v4, MD/MDX, Fuse.js for search, Giscus (optional)
by _heimdall | 2025-10-01 13:30:18+00:00
> should the users be punished by what they post?

What kind of punishment exactly?

If governments punish users for content, assuming the content isn't clearly illegal, that's government censorship and may be a free speech violation depending on jurisdiction.

Platforms censoring or prioritizing content is a private entity enforcing rules for what they're willing to host and distribute on the platform. I'm not sure that's punishment at all, people don't have to post there and there's no use of force or detention being threatened.
by oblio | 2025-10-01 13:30:28+00:00
> AFAIK - the only reason FDB isn't massively popular is because no one has bothered to write good layers on top. I do know of a few folks writing a SQS, DynamoDB and SQLite layers.

I started writing this comment:

> It seems interesting, but considering what it's for, why aren't the hyperscalers using it?

And while writing it I started searching for FoundationDB and found this:

> https://github.com/<<apple>>/foundationdb

Ah, all right :-p
by Twey | 2025-10-01 13:30:53+00:00
Insofar as ‘computation’ is about mapping one state or value to another state or value, it has a lot to do with CT!

The question of whether CT is _useful_ for studying computation is different, and there are certainly other lenses you can see computation through that some people would argue are better. But it's hard to deny that they're _related_.
by Xylakant | 2025-10-01 13:30:57+00:00
Are you implying that there’s no posts on social media platforms that are plain and verifiably wrong and that any such decision needs to be made by a government created ministry of truth? There’s no middle ground? Maybe such a thing like a court?

If I state here plain and as a fact that golieca eats little children for breakfast and slaughters kittens for fun, could @dang not look at both a statement from you and one from me and see if I have sufficient proof?
by 3836293648 | 2025-10-01 13:30:58+00:00
Both C++ and Rust allow that? Having niche behaviour not be the default makes sense, but both know it's needed and therefore allow it?

(C++ lets you malloc and then placement new (just casting the pointer like C does is UB, but it's being fixed for trivial types) and Rust has both plain alloc and Box<MaybeUninit<T>>)

There are a lot of other reasons not to use them, but yours is a made up strawman.
by caust1c | 2025-10-01 13:31:15+00:00
Wait, what? A database in 2025 doesn't support any kind of auth? A financial database? WTF?

C'mon folks, the least you can do is put a guide for adding an auth proxy or auth layer on your site.

Particularly since you don't use HTTP (cant easily tell from the docs, I'm assuming), then folks are going to be left wondering: "well how the hell do I add an auth proxy without HTTP" and just put it on the open internet...
by dwohnitmok | 2025-10-01 13:31:21+00:00
Yeah I should clarify. This is a very vague estimate around "total energy spent for making a video you wouldn't otherwise do" which includes stuff like lighting, transportation, video transcoding on the server, script writing, actor coordination, etc. E.g. if someone drives somewhere solely to make a video they otherwise wouldn't, then it gets included.

I hedged as "not unlikely" because I'd need to think harder about the amortization of more energy expensive videos vs less energy expensive ones and how much energy you can actually attribute to a video vs the video solely being an activity that would be an add-on to something that would happen anyways.

But it's not just the energy expenditure of a phone.

(I also think that 0.5 kilowatt-hours is an overestimate of energy expenditure by potentially up to two orders of magnitude depending on how much batching is done, but my original comment did say 0.5 kWh).
by ForHackernews | 2025-10-01 13:31:25+00:00
He says it's not: https:/x.com/jasonjoyride/status/1973164183798816773

>> How do you get HD renders? im getting like super low res shit

>It's because this isn't AI

I haven't watched the film, but the premise is something about an orbiting space station. I could easily imagine scenes featuring rapid day/night cycles like astronauts experience on the ISS.
by xnzm1001 | 2025-10-01 13:31:33+00:00
I work at a bank with old old monstrous sql queries. I thought I can make a use of tigerbeetle to simplify the system. But sadly, I just couldn't figure out how to make it work. Transaction requires lot of business logics but I couldn't convert that to make it work with combination of RDBMS + tigerbeetle. I wish there were some realworld example that I can get insight using tigerbeetle.
by cmrdporcupine | 2025-10-01 13:31:49+00:00
After a few months of going down this hole with agentic coding (mostly Claude Code) I personally think the problem comes down to a few factors:

1. Initially euphoria both with having the tool and seeing how much can be done quickly, not having a good sense of its limits or reach. Mining too deep, and disturbing the Balrog. Basically: doing too much.

2. Not sufficiently reviewing the work it produces.

3. The tools themselves being badly designed from a UX POV to encourage #1 and #2.

From my perspective, there's a fundamental mis-marketing of the agentic tools, and a failure on the part of the designers of these products -- what they could be producing is a tool to work with developers in a Socratic dialogue, in an interactive manner, having the engineer have more of mandatory review and discussion process that makes sure there's a guided authoring process.

When guided and fenced with a good foundational architecture, Claude can produce good work. But the long term health of the project depends on the engineer doing the prompting to be 100% involved. And this can actually be an insanely exhausting process.

In the last 6 months, I have gone from highly skeptical and cynical about LLMs as coding agents, to euphoric and delighted, back to a more cautious approach. I use Claude Code daily and constantly. But I try to use it in a very supervised fashion.

What I'd like to see is agentic tools that are less agentic and more interactive. Claude will prompt you Yes/No diff by diff but this is the wrong level of granularity. What we need is something more akin to a pair programming process and instead of Yes/No prompts there needs to be a combination of an educational aspect (tool tells you what it's discovered, and you tell it what you've discovered) with review.

The makers of these tools need to have them slow down and stop pretending to automate us out of work, and instead take their place as tools used by skilled engineers. If they don't, we're in for a world of mess
by chasd00 | 2025-10-01 13:31:53+00:00
People like to beat up on Florida just like they like to beat up on Texas because their identity is tied to a political party. I was born in Port Orange and lived through a couple hurricanes there, ow I live in Dallas and have had some close calls with tornados. Weather is def. a thing and it can get real bad but people lose perspective because of the whole red/blue thing.
by floundy | 2025-10-01 13:32:05+00:00
How is this a "gotcha" when I'm on the internet I'm being forced to use? I pick the most agreeable platforms. I like that HN filters out politics, sports, and celebrities, it's more like a themed forum than an open board. HN doesn't deem these topics as "problematic", simply as off-topic.

Anyway my point was "problematic content" is often used as a buzzword by censorship happy people, and ends up being synonymous with "something I disagree with." We have just literally seen the real life consequences of pushing for censorship — that it will eventually be used against speech that one agrees with — and nobody quite seems to care.
by ori_b | 2025-10-01 13:32:06+00:00
It's a bit surprising that they dismissed qcow2, because it does exactly what they want. It's also pretty easy to implement in a vm. The file format is a 2 level page table per snapshot, with pointers to blocks. I suspect they didn't really look at it enough.

Here's the implementation I did for openbsd; it's around 700 lines, including the gunk to interface with the hypervisor.

https://github.com/openbsd/src/blob/master/usr.sbin/vmd/vioq...

It's not a good choice for computing diffs, but you can run your VM directly off a read-only base qcow2, with all deltas going into a separate file. That file can either be shipped around or discarded. And multiple VMs can share the same read only base.

So, it probably would have been better to write the code for the hypervisor, and end up with something far more efficient overall.
by jqpabc123 | 2025-10-01 13:32:21+00:00
My friends all know that one of my favorite edicts in response to their frequent pet complaints is, "I don't have that problem with my dog".

Because I have an imaginary dog.

I grew up with dogs and I have no problem with them --- I just prefer that they belong to someone else. It offers me more time, money and freedom to enjoy life on my terms.
by dangus | 2025-10-01 13:32:22+00:00
Yeah…I don’t think so. Moving the goalposts to include Parallels/VMs and iOS/iPadOS apps that lack a touch screen on on Mac and are frequently blocked from being run on Mac by developers doesn’t count.

Let’s not forget that you’re now talking about buying a $100/year license; in just a few years you could buy a whole Windows computer with a permanent license for that money.

And if you’re going to talk about how great VMs are on Mac we can’t leave out how it’s the worst Docker/podman platform available.