MurphyA/hacker-news huggingface dataset:
by graemep | 2025-10-01 12:32:07+00:00
I think we have a lack of choice.

The two main parties policies have converged, so have the older smaller parties.

The only choices we have that are any different are Reform and The Green Party, and possibly Corbyn's new party that seems busy imploding right now. Of those, Reform has some nasty people in it, and is rapidly attracting the worst of the Conservative party (look at the defecting MPs), The Greens and Your Party have some fairly nuts people and ideas too (in different ways).

I think ordinary British people are pretty decent.

> We could very easily become Russia (without the military and natural resources)

We have a much bigger economy than Russia.

> any people here care more about ripping everybody down than building them up. They live completely mediocre lives and are perfectly fine with the government nannying them.

I agree with the last bit.

People are also negative about their follow citizens. A lot of people believe the country is full of untrustowrthy "gammon". and back the government/establishment against the latter.
by websiteapi | 2025-10-01 12:32:46+00:00
All of these apply to FoundationDB as well.

- Slow code writing.

- DST

- No dependencies

- Distributed by default in prod

- Clock fault tolerance with optimistic locking

- Jepsen claimed that FDB has more rigorous testing than they could do.

- New programming language, Flow, for testing.

You probably could solve the same problems with FDB, but TigerBeetle I imagine is more optimized for its use case (I would hope...).

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.
by wiradikusuma | 2025-10-01 12:33:08+00:00
We were considering TigerBeetle, but found blockers:

* We use Cloudflare Workers. TigerBeetle client app is not supported. It might work using Cloudflare Containers, but then the reason we use Cloudflare is for the Workers. --> https://github.com/tigerbeetle/tigerbeetle/issues/3177

* TigerBeetle doesn't support any auth. It means the containing server (e.g. a VPS) must restrict by IP. Problem is, serverless doesn't have fixed IP. --> https://github.com/tigerbeetle/tigerbeetle/issues/3073
by asimpleusecase | 2025-10-01 12:33:47+00:00
I was providing evidence that there was an issue.

Not trying to take a side.

You can retract your f**.

Yes there is a debate now and it is very open, and there are many reports that it was not so open and people were hurt for a long time. Was that political cover up? Each can decide - but I think the debate shows there was a real issue.
by maybewhenthesun | 2025-10-01 12:33:57+00:00
Imo it's not a win for kids either. Lot's of kid-related websites that want age verification and I'd much prefer my kids to be anonymous online, especially in the context of large software companies.

These schemes are one implementation error away from exposing/tracking peoples identities (even more than they are already tracked).

IMHO kids watching porn is firmly in the domain of parenting, and not a governmental task.
by tristramb | 2025-10-01 12:33:59+00:00
Category theory is what you get when you take mappings instead of sets as the primitive objects of your universe. At first this might seem a perverse thing to do as mappings seem more complex than sets, but that is just because traditionally mappings have usually been defined in terms of sets.

In set theory you can specify that two sets be equal and you can also specify that one set be an element of another.

In category theory you can specify that two mappings be equal and you can also specify that two mappings compose end to end to produce a third mapping.

Category theory can be used to express some requirements in a very concise way.
by jmkd | 2025-10-01 12:34:08+00:00
Xoogler here. For my five years we only used Sheets (called Trix internally) for everything from project management, CRM, quarterly planning, reporting, interviewing, finances and so on.

This was not because it was a Google product (we used plenty of competitors' products) but because it is so easy to make them good enough for the task that you can move on to getting the job done instead of administrating getting the job done.
by timschmidt | 2025-10-01 12:34:19+00:00
I see. You need to read more, then. Just because G coupled protein receptors exist in every tissue does not mean they are all identical. As I said there are many varieties, each with unique binding affinity, local physiology, cell differentiation, etc. And each type is expressed preferentially in different areas and ratios. We are very complex systems.

How a molecule binds to specific receptors can operate as a targeting mechanism in and of itself. And can also be modified by other molecules produced by the same plant.

Synthetics also permeate and interact with the entire body, typically, btw.
by niam | 2025-10-01 12:34:22+00:00
I'll die on this hill.

Google Sheets was phenomenal for prototyping apps and getting quick feedback from users back when I used it in 2015-2020. Back then they had this janky implementation of Mozilla Rhino underpinning their "Apps Script" engine and it still beat the pants off of anything else you could use for free.

Certainly you can shoot your feet with the various spreadsheet-isms but if you're diligent about keeping raw data pure (preferably in a completely different sheet inaccessible to users) it does a bangup job of quickly shoving a UI in front of users and letting them realize what they want and iterate on it before calcifying it into a more rigid system.
Show HN: Spaced Repetition for LeetCode – Stop Forgetting Problems You've Solved
by anjandutta | 2025-10-01 12:34:27+00:00
Hi HN,

I built a spaced repetition system for Leetcode after realizing I'd "solved" 150+ problems but couldn't recall the patterns when faced with new questions in actual interviews.

The problem: Solving problems once creates the illusion of learning without actual retention. Your brain discards solutions as "one-time knowledge" unless you review them at spaced intervals.

What it does: - Automatically schedules problem reviews (1 day → 3 days → 1 week → 2 weeks → 1 month, etc.) - Adjusts intervals based on difficulty (easy problems reviewed less frequently) - Highlights overdue problems that need attention - Tracks your actual retention with notes/flashcards

Key insight: It's better to master 50 problems through 3-5 reviews each than solve 200 problems once and forget them all.

Demo: https://dsaprep.dev/tracker

I've been using this for couple of months and the difference in pattern recognition is significant. Problems that used to feel "new" now trigger automatic recognition of which approach to use.

Tech stack: React, Node.js, Express, MongoDB

Would love feedback on: - The revision interval algorithm - UI/UX for the review workflow - Pricing strategy - Whether this scratches an itch for others

Built this as a side project to solve my own problem. Happy to answer questions!
by umanwizard | 2025-10-01 12:34:41+00:00
> The point is that "SIGN LANGUAGE" is idiomatic to the native speaker's tongue.

No, this is not true. French and French Sign Language are totally unrelated languages. Sign languages generally have little to do with the spoken language of the country they’re used in, that’s why for example American Sign Language and British sign language are completely different and not mutually intelligible despite the UK and the US speaking the same language (with only slight differences in accent and vocabulary).
by repstosb | 2025-10-01 12:34:46+00:00
Finding defects is a good thing, and fixing defects is a good thing. Adding new features can be a good thing as long as it doesn't introduce or uncover too many new defects in previously stable code. But what is lacking in your development process that you keep finding "critical" defects that could affect a large number of users during the merge window?

It seems like bcachefs would benefit from parallel development spirals, where unproven code is guarded by experimental flags and recommended only for users who are prepared to monitor and apply patches outside of the main kernel release cycle, while the default configuration of the mainline version goes through a more thorough test and validation process and more rarely sees "surprise" breakage.

It certainly appears that Linus can't tell the difference between your new feature introductions and your maintenance fixes, and that should trigger some self-reflection. He clearly couldn't let all of the thousands of different kernel components operate in the style you seem to prefer for bacachefs.
Show HN: A Pips game website – my first game
by pipsgame | 2025-10-01 12:34:51+00:00
I’ve been a long-time Sudoku player and recently discovered NYT game Pips —I tried a few puzzles and got hooked, but online options were limited, so I built this site: https://www.pipsgamefree.online

Core gameplay works, but I’m stuck on some UI/interaction details that feel off without a clear fix; I’d love feedback on whether onboarding explains the rules within ~30 seconds, whether input feels comfortable on desktop/mobile with minimal mis-taps, whether the visual hierarchy/readability is instantly clear, and whether the “editor” page has well-designed function buttons; please include your device/browser info and the issues you ran into with expected improvements.
by jorangreef | 2025-10-01 12:35:36+00:00
You could, but TB brings a whole lot of debit/credit primitives out of the box (making it dead simple for e.g. 2PC money movement across third party systems, or transactions of thousands of transactions, to express complex financial contracts)… that are Jepsen-tested, which run multi-AZ, and which would probably take months if not years to replicate on PG. Even then, the internal concurrency control of PG’s storage engine would just get hammered by the contention, and would struggle to approach TB’s replicated performance, even if PG were single node.
by rkomorn | 2025-10-01 12:35:45+00:00
Fair.

I thought there was difference because I thought your stance was that republicans are afraid that the files themselves contain things that make them look bad (eg Trump or some other big-name republican was mentioned in them), and I don't think that's the case. Edit: well, I don't think they're afraid of it, not that there's nothing that makes them look bad.

> These mental gymnastics must be exhausting.

Not sure what makes you feel that's a necessary thing to say, TBH.
by petemilly | 2025-10-01 12:36:31+00:00
This is a first draft blog post version of a talk I'm giving at a startup conference next week. I am looking for feedback.

Please comment here or reply on the blog itself if I got something wrong or you have something to add. Personal anecdotes and cited sources are great, but I'm also curious to hear end-of-the-bar opinions.

Thank you!
by SchwKatze | 2025-10-01 12:37:03+00:00
Similar, yes. But not near the same performance, TB is entirely built around this concept so they became pretty good at it. It's like comparing a lambo and a beetle (no pun intended).

But honestly, if double-entry really become a thing I foresee traditional DBMS agglutinating it just like they did with vector and object databases, getting the long tail of the market.
by Bender | 2025-10-01 12:37:19+00:00
Not just the UK. In about 30 of the United States of America the age of consent is 16 [1]. Beyond that marriage is permitted with a note from parents of the minor and approval from a judge up to 1 or 2 years below the AoC depending on the state.

[1] - https://en.wikipedia.org/wiki/Age_of_consent_in_North_Americ...
by mallowdram | 2025-10-01 12:37:20+00:00
The AI debacle is unusual as it's alive in disinformation at a scale that penetrates every status class.

Of course AI is a failure of imagination. But so were symbols, which cannot reference, they can only represent, if at all.

The real function of AI appears to be the transition away from symbols, metaphors, folk science cause and effect ideation.

We're only barely sensing this, but if you listen to Gary Marcus, Rich Sutton and those willing to see the larger scales, they are bellwethers that are actually sinking their own approaches as well as LLMs.

In effect, labor is about to reap the benefits of the AI debacle. I see this in the AI at the major teaching hospital my sister is a department head of. In lead developers in gaming, in media. AI does not function well, it's essentially wax fruit, it's not even mimicry. That's going to lead to an analog rebirth.
by zozbot234 | 2025-10-01 12:37:38+00:00
> From a Curry-Howard point of view no logic corresponds to a general imperative calculus.

From a CH point of view the logic associated with any Turing-complete language is inconsistent, but this applies to both imperative and functional languages. One could imagine a broadly imperative language without a fully-general "while" construct that could have a useful logical counterpart under CH.

This might be similar to how systems like combinatory logic can in some sense be considered "imperative" languages, since they explicitly act on some kind of logical "state" which works much like state in imperative languages; the only rule of inference being "do A then B then C".
by caerwy | 2025-10-01 12:37:54+00:00
Following Karl Popper's thinking on this topic, I'd say that our problems define us, and when we solve our problems we often discover new and interesting children problems demanding attention. “The best thing that can happen to a human being us to find a problem, to fall in love with that problem, and to live trying to solve that problem, unless another problem even more lovable appears.” — Karl Popper
by sjw987 | 2025-10-01 12:38:54+00:00
I just developed a webapp for it. I only used Docs for personal reasons, so my own version is basically just a really stripped down rich text editor. A lot of things I just save to .txt files.

It saves (both locally and to self-hosting) to JSON and, exports to PDF and HTML. And then I wrote a script to convert docx files over when I migrated from Google.
by Imustaskforhelp | 2025-10-01 12:39:02+00:00
My data did get unrecoverable after running the command that was shown first when i didn't scroll or read about that command more and I just ran it and it just made it unrecoverable.

So yes it got unrecoverable.

And then I just deleted that drive by flashing nix-os in that and trying that for sometimes, so maybe there is good in every bad and I definitely learnt something to always be cautious about what commands you run
by BoredPositron | 2025-10-01 12:40:15+00:00
My dad got a Trojan and they took over his msft account to buy some Xbox cards. They banned him as well but he took them to small claims in the EU. As usual they didn't show up and he got a ruling to reinstate his account. Was under 100 bucks and he got his account back. If the account is really important I would do the same. There is a 90% chance they won't show.
by einarfd | 2025-10-01 12:40:48+00:00
What I use my digital id for, is services, where the provider needs to know that I am me. I only use a small part of the services that we have in Norway that you can access with out digital id (BankID) solution, but those are useful for me, and I do not think all of them would exists without it.

For governmental services, I use it for things like logging into health care services. Where I've used it for checking my prescriptions, and communicating with my doctor. If I had kids I would have used it for contact with the school. An other governmental use is tax filling and tax returns which comes around every year, and this is just scratching the surface.

When it comes to non governmental usage, it is mostly bank and bank adjacent usage. I do use it to log into my different banks, my stock broker, and insurance providers.

The solution we have in Norway, is not perfect and one of the persistent problems, are that not everyone can get one, and since it is used a lot by the government, not having it, makes you a bit of a second class citizen. I do believe that they are finally doing something about that, and that the system will be redone a bit next year, so even if the banks don't like you. You will be able to get one.
by tsukikage | 2025-10-01 12:40:55+00:00
...as disconnected from "email marketing services" as possible, please, because IME gmail is wise to those and files email associated with them directly in the trash regardless of all other concerns.

I suspect the reason SES is an exception is because it is very widely used for things like e-tickets, transaction confirmations and so on, and also goes to a nonzero amount of trouble to dissuade marketers rather than having them as the main customers.
by csa | 2025-10-01 12:40:58+00:00
> Focus on producing speech over everything else

That’s a great way to gimp your language learning curve.

Receptive skills develop before productive skills. This is just a truism about language.

I could buy into dedicating time to speaking, as many folks don’t put enough time into that skill, but I’m not sure I would ever recommend prioritizing it over receptive skills.

> it's the hardest part 90% of the time.

While this is true, it doesn’t mean that production should be one’s “primary focus”.

> There's not really strong evidence to support "comprehensible input,"

I assume you are basing this on second hand information, or “really strong evidence” is doing a lot of work here, but volumes have been written about the efficacy of comprehensible input in foreign language learning.

To be charitable, I think many people do “comprehensible input” incorrectly (content too difficult, overly scaffolded with translations/subtitles, etc.), but the folks who reach higher levels of proficient (B2 or higher to be somewhat arbitrary) almost always have had massive amounts of (comprehensible) input at some point in their language learning journey.
by Imustaskforhelp | 2025-10-01 12:41:02+00:00
Oh yes, I forgot to tell the aftermath,The funny thing is that I actually went to AI after making it unrecoverable and it says that don't worry it can be fixed and gave me commands which gave me hope but did nothing and it never admitted to be honest as those comments

In the end I just asked it to flash it clean so that I can atleast use my HDD which was now in the state of a limbo and it couldn't even do that.

I was just wondering about in my comment if it would have originally given me a different command or not but there are a lot more chances that it would and gaslight me than give me the right command lol
by abhaynayar | 2025-10-01 12:41:05+00:00
Finally a good critique of Duolingo, couldn't have written it better myself. A fresh take separate from the cliche everywhere on the internet that you can't learn an entire language on Duolingo itself which I've heard a thousand times at this point. (Currently "learning" French on it, but going to quit cause have been guilty of cheat-streaking myself).

Yes, the social aspect is trash. The "path" is trash. The leagues/incentives don't make sense. It's just a bad app. This blog made me realize that it could possibly be better in concrete terms. And without even going against their bottom-line. Like, it could still be gamified and what-not, but BETTER. But it isn't. It is just a poor design. YES, language-learning takes effort and many different sources, and YES Duolingo-like apps can only hope to be like a SNACK, but they could still be much better, ugh.
by allturtles | 2025-10-01 12:41:27+00:00
This always seems to happen for whatever reason with any food-or-drink-related topic. Articles about coffee will attract the coffee snob, dripping with disdain for drip coffee (consuming which is apparently the moral equivalent of downing urine); articles about stovetop cooking will attract the cast-iron aficionado who will tell you how easy it is to have a perfectly-seasoned pan if you just follow this seven-step process before and after every meal, etc.
by alkonaut | 2025-10-01 12:42:16+00:00
So given that both the basic recipe for the 737 and A320 are pretty old by now, how much "better" could a new clean sheet narrowbody realistically be, given recent in aircraft design?

And how much better would it _need_ to be, in order for large 737 operators to be convinced to place their next order for the new 7007? (yes, like nVidia, I trust they'll just add a number and start over when they run out of numbers).
by andsoitis | 2025-10-01 12:42:21+00:00
> It seems like OpenAI is trying to turn Sora into a social network

No need to guess; In the article they say that the purpose:

We first started playing with this “upload yourself” feature several months ago on the Sora team, and we all had a blast with it. It kind of felt like a natural evolution of communication—from text messages to emojis to voice notes to this.

So today, we’re launching a new social iOS app just called “Sora,” powered by Sora 2. Inside the app, you can create, remix each other’s generations, discover new videos in a customizable Sora feed, and bring yourself or your friends in via cameos. With cameos, you can drop yourself straight into any Sora scene with remarkable fidelity after a short one-time video-and-audio recording in the app to verify your identity and capture your likeness.
by tim333 | 2025-10-01 12:42:30+00:00
Pretty much all countries have governments and the internet and I'd say it tends to end in annoyance rather than disaster, such as having to turn on a vpn to see junk on imgur in this case.

The only actual internet caused disaster I can think of - https://en.wikipedia.org/wiki/Rohingya_genocide - was caused by a lack of regulation and "let's kill them all" stuff on facebook. 25k+ dead.
by balder1991 | 2025-10-01 12:42:53+00:00
That might be a recent phenomenon caused by the inevitable heat of the CPU getting closer and closer to its limit? Like explained in this video: https://youtu.be/AOlXmv9EiPo

My Mac Mini M2 never does any noise, even when I run FFMpeg the fans don’t spike. It just gets slightly warmer. Still, unless I’m doing these high CPU bound activities, every time I touch it it’s cold as if it was turned off, which is very different than my previous Intel one that was always either warm or super hot.
by CGMthrowaway | 2025-10-01 12:43:21+00:00
It sounds awesome. I'm an a analytics guy using a lot of SQL - not a coder. Though I understand the OP writeup and the purported performance advantages. Can someone explain:

a) what Tigerbeetle data looks like in practice? Assuming it doesn't look like a regular table

b) how you use it, if you can't write sql queries?

c) separately, curious what double-entry would look like for stocks, tickets etc. E.g. I'm a venue and I have 1000 tickets in inventory & deferred revenue.. each time I sell a ticket I turn that inventory to cash and the deferred into a performance liability? Or no entries at all until a ticket is sold? Something else?
by lxgr | 2025-10-01 12:43:24+00:00
If you need to ask for a source in the first place, chances are very high that the LLM's response is not based on summarizing existing sources but rather exclusively quoting from memory. That usually goes poorly, in my experience.

The loop "create a research plan, load a few promising search results into context, summarize them with the original question in mind" is vastly superior to "freely associate tokens based on the user's question, and only think about sources once they dig deeper".
by sesm | 2025-10-01 12:43:31+00:00
I think your reply overstates the importance of category theory in mathematics and doesn't give any hint on what it is about.

IMO a better reply would be: category theory appeared to unify the concepts around using discrete objects to prove the properties of continous objects in topology, like fundamental groups, homology groups and homothopy groups. It is only practically useful for very advanced proofs like 2nd Weil Conjecture. Any usage of it in programming is only an analogy and is not mathematically rigorous (see https://math.andrej.com/2016/08/06/hask-is-not-a-category/)