MurphyA/hacker-news huggingface dataset:
by zbentley | 2025-11-07 17:27:14+00:00
> Mature C programs written by professional coders (Redis is a good example) basically never crash in the experience of users

That is a very difficult assertion to validate. It might well be true! But so many conversations about memory safety and C/C++ devolve to assertions with “get gud” at one extreme and “change platforms to one that avoids certain errors” at the other.

Without data, even iffy data, those groups talk past each other. Are memory-error CVE counts on C projects the data we need here? Is there some other quantitative measure of real world failures that occur due to memory unsafety?

This is all by way of saying that I’d love to see some numbers there. That’s not on you, or meant to question your claim. As you implied, errors in code don’t always translate to errors in behavior for users.

It just always sucks to talk about this because broad-spectrum quantitative data on software error rates and their causes is lacking.
by diob | 2025-11-07 17:27:26+00:00
I tried to get Kickstarter to take down an obvious scam a while back. Best I could do was post on Reddit to warn folks though.

Checked on it recently, so many comments of folks asking for shipping details / anything. Hundreds of thousands of dollars just scammed from folks. And they're still raising / stringing folks along.

It's wild.
by japhib | 2025-11-07 17:27:33+00:00
Elixir is the closest thing to OCaml that has a chance at semi-mainstream usage IMO.

It has basically all of the stuff about functional programming that makes it easier to reason about your code & get work done - immutability, pattern matching, actors, etc. But without monads or a complicated type system that would give it a higher barrier to entry. And of course it's built on top of the Erlang BEAM runtime, which has a great track record as a foundation for backend systems. It doesn't have static typing, although the type system is a lot stronger than most other dynamic languages like JS or Python, and the language devs are currently adding gradual type checking into the compiler.
by NobodyNada | 2025-11-07 17:27:35+00:00
> I'm not familiar with the guy

Graydon Hoare is the creator of Rust.

So of course he likes Rust. And of course his blog post is going to be comparing Fil-C to Rust. Anyone can write a blog post evaluating Fil-C, but only Graydon can compare it to his own design choices and motivations when he attempted to solve a similar problem. That's the whole thing that makes this post interesting.
by craftkiller | 2025-11-07 17:27:46+00:00
Interesting, that means git is violating the URI spec. Quoting RFC 3986:

> [...] schemes are case-insensitive [...] An implementation should accept uppercase letters as equivalent to lowercase in scheme names (e.g., allow "HTTP" as well as "http") [...]

https://datatracker.ietf.org/doc/html/rfc3986#section-3.1
by reaperducer | 2025-11-07 17:28:34+00:00
Normalize paying for things instead of selling your attention to the highest bidder.

But you just admitted that you pay for YouTube and it shows you creator promotions. You are literally paying to see ads, then telling people not to do the same.

Unless there's some subtlety I'm missing here. I haven't been on YouTube in at least a decade. I see no difference between a blogger pushing a VPN and Google showing an ad for a VPN.

The big draw for cable TV was that you could watch TV without ads. Then ads started appearing on cable and people said it's OK, because the content is higher quality and not available elsewhere. Then that changed, and now there is no difference between broadcast, cable/satellite, and streaming services. Except that you don't have to pay for broadcast. (Yet. It's coming.)
by mkozlows | 2025-11-07 17:28:47+00:00
The question is whether spherical cow research tells you anything that holds up once you introduce the complications of reality into it. In physics, it clearly does. In economics, I think it does in a lot of cases (though with limits). In software engineering... well, like I say, there are areas where I'm sure it does, but research about e.g. strong typing or unit tests or PR review or whatever just doesn't have the juice, IME.
by hirvi74 | 2025-11-07 17:28:49+00:00
I see what you mean, but I am not sure it's the arrows and not the archers.

While anyone working at Big N company is likely a far better dev than me, I must admit that on the surface, I have not been too impressed with the quality from any them in the past decade or so.

I am less inclined to blame the languages than I am to blame the perverse incentives of these large companies and some of the personality types they sometimes seek to hire. Though, I do understand there are a lot of great devs at those orgs. Just in my experience, greatness doesn't always strongly correlate with ability to call the shots.
by n_u | 2025-11-07 17:29:06+00:00
This was also my experience. TensorFlow's model of constructing then evaluating a computation graph felt at odds with Python's principles. It made it extremely difficult to debug because you couldn't print tensors easily! It didn't feel like Python at all.

Also the API changed constantly so examples from docs or open source repos wouldn't work.

They also had that weird thing about all tensors having a unique global name. I remember I tried to evaluate a DQN network twice in the same script and it errored because of that.

It's somewhat vindicating to see many people in this thread shared my frustrations. Considering the impact of these technologies I think a documentary about why TensorFlow failed and PyTorch took off would be a great watch.
by Xx_crazy420_xX | 2025-11-07 17:29:33+00:00
This is really interesting! I've experimented with similar idea, but with time series forecasting on the sentence embeddings - https://github.com/Srakai/embcaster.

It turns out you can tokenise arbitrary information into constant vector which is really useful for later processing. The vec2text (https://github.com/vec2text/vec2text) is an excellent asset if you want to reverse the embeddings back to text. This allows you to encode arbitrary data into standarized vectors, and all the way back.
by seanmcdirmid | 2025-11-07 17:29:40+00:00
Crystal dry uses a heat exchanger for drying, so I guess that is what they are referring to. I guess you could try to claim that only the way HVAC's move heat around qualifies for being called a heat pump, not any other way of moving it should count right?

Here is what I got from Gemini:

Bosch does not refer to their dishwashers as having a "heat pump" in the same way the term is used for HVAC systems; rather, the part is often called a circulation motor and heating assembly or a combined "heater/pump" unit by users and repair sites. Bosch dishwashers use a flow-through water heater (a type of resistive element) to heat the water and a different, non-refrigerant-based system for drying. How the Bosch System Works

Water Heating: All Bosch dishwashers use a flow-through water heater, which is a heating element integrated with the circulation pump. This system rapidly increases the water temperature to the required level. It uses electrical resistance, not the reverse-refrigeration cycle of a true heat pump.

Drying: Bosch dishwashers (especially the higher-end models with features like CrystalDry) typically do not use a separate heating element for drying. Instead, they rely on a process involving a stainless steel tub and a heat exchanger or a mineral-based drying technology (like Zeolith for CrystalDry) to condense moisture and wick it away from the dishes. This is an energy-efficient method of moisture removal, not active heat generation for drying.
by simpaticoder | 2025-11-07 17:30:03+00:00
>I personally don't think there is one optimum that we can reach.

I agree with this, and the containing paragraph. Everything is trade-offs. It may very well be that Facebook is under-regulated (and it probably is the case). I suppose I'm thinking of ways to use the situation to fix the much bigger and arguably worse problem with the justice system in general. Non-rich people (I don't say "poor" because I include middle-class as well) are totally boxed out of the justice system in the USA. A pox of scammers is just one of the side-effects of the ossification and decay of the system. I'd like to solve a big chunk of problems all at once, including this one.
by egypturnash | 2025-11-07 17:30:06+00:00
That’s where she happened across the case of a football player who reported strange distortions on the field.

“He started seeing health bars above the heads of the opposition players,” she says.

“Another player heard voiceovers while dodging tackles or chasing opponents.”

Okay but I wanna know if these health bars bore any relationship to reality, and were they conveying information otherwise unavailable? Like if a player was dealing with a hangover but looked okay, did their health bar show it? Was that voiceover telling the player what to do before it happened?
by StopDisinfo910 | 2025-11-07 17:30:51+00:00
> there's multiple standard libraries

There is only one standard library and it shipped with the compiler.

> data structures aren't printable by default

So? That’s the case with most languages. Ocaml has a deriver to make types printable and a REPL which automatically prints for testing.

> tooling that's often a decade behind more mainstream languages

Opam is a fully featured package manager, dune works fine, bucks2 supports Ocaml.

> proper gdb support when?

Ocaml has had a rewindable debugger since approximately forever.

> OCaml added multicore support recently, but now there is the whole Eio/Lwt/Async thing.

Lwt was the default and everyone agrees eio is the future now that effects are there. Async is a Janestreet thing with pretty much no impact on the language outside of Janestreet.

Honestly, I maintained my initial point. Ocaml alleged frictions were always widely overstated.

When I was writing Ocaml professionally 15 years ago, there was no dune and no opam and it was already fairly easy to use the language.
by gethly | 2025-11-07 17:31:31+00:00
I spent quite a lot of time on that one, for obvious reasons. But in general it is not too hard. The GCM is a block-based cypher with built-in checksum, unlike CTR, which is a streaming one. So all you need to do is have a fixed block size where you store the header and the data. The nonce is 12 bytes, gcm tag is 16 bytes, so that is fixed 28 bytes. After some experimenting, 64kb block size seemed to work the best, despite it being quite a large chunk of data. And then, as you know, you have exactly 64kb of data in each chunk, you just stack them one after another. The hard part is then handling reads as you need to know into which chunk you have to seek, decrypt it and then seek to the correct position to stream/read the correct data. And once you reach the end of the chunk to move on to the next one. It is a bit tricky but perfectly doable and have been working for me for probably 3 years now. One caveat is to properly handle the last chunk as that one will not be full 64kb but whatever was left in the buffer of the last data. This is important for appending to existing files.
by ekidd | 2025-11-07 17:31:32+00:00
Several of the Reddit "AmITheAsshole"-style subs have a significant number of posts which are either AI or sloppy creative writing.

Mass-produced outrage bait isn't new, and it's available in a thousand flavors. But AI has accelerated this process, at least for people who don't notice when they're getting played (or who don't want to notice).
by localhost | 2025-11-07 17:31:47+00:00
I would say that "don't let perfect be the enemy of the good" here. Would universal be better? Sure. But what I saw is so much better than what we currently have here in the US.

The point is that OPEN (the name of the Delft library) is really a community center and not a library. Yes, it happens to have books. But it also has a stage for musical performances, art rooms, tables, wifi, washrooms, coffee. I would say that the only thing that is missing is a gym; there are small dance rooms in there but that's not quite the same.

But the essence here is walkable communities. Suburbs and exurbs are hostile to even small local stores because you have to drive everywhere to do anything. There is no community in visiting my Costco or even my QFC.

Take a look for yourself: https://www.opendelft.info
by ghc | 2025-11-07 17:32:20+00:00
We decentralized information, and in doing so we centralized culture. I fear that we are only now coming to understand what we have wrought. I am sure that new social structures will arise to replace the old, but who is to say what lies between? It is not out of the question that even a project with noble intentions such as the web may precipitate a dark age for humanity. I don't say this as a pessimist, but as a wide-eyed realist wondering what happens when human civilization no longer requires humanity.
by cs702 | 2025-11-07 17:32:29+00:00
Thanks. Yes, I remember Chainer, but only vaguely. I kinda remember looking at it, but not actually using it.

My recollection is that when I looked at Chainer back then, it didn't offer a comprehensive library of preexisting components for deep learning. When I tried PyTorch, on the other hand, I vividly remember it as already having lots of prebuilt components (common layers, activation functions, etc.) in `torch.nn`, so it was easier and faster to get going.

These memories are vague, so I could be wrong.
Show HN: I built a tool to answer any League of Legends E-sports data questions
by XavierPladevall | 2025-11-07 17:32:33+00:00
I built a tool that lets you ask questions about pro League of Legends data (players, teams, champions, splits) and get answers from a dataset I curated in plain English.

The dataset itself is from riot + Oracle's elixir.

Just click on select data source and it's the one called "Lol Esports" (playin with some other datasets also).

It’s early and probably a bit buggy. I’d appreciate feedback on the UX, bugs, and what questions you’d want it to handle better. Happy to share details on data sources, parsing, and how I translate queries under the hood.

If you want to kick the tires, try prompts like:

- “How did T1 do vs Gen.G over the last 3 splits?” - “Faker’s performance on Azir vs LPL teams (patch 14.10+)” - “Which champion had the highest win rate in LCK Summer 2023 (min 50 games)?”
by schrijver | 2025-11-07 17:32:51+00:00
Hobs built into the countertop are usually like that (and I hate them vigorously for the reasons you state), but freestanding furnaces (oven plus hobs) exist with big physical buttons. Since the buttons are on the front of your unit, the heating surface is still flat and easy to clean. Smeg makes nice ones, and I’m sure others exist.
by Telaneo | 2025-11-07 17:33:40+00:00
It'll be interesting to see what they can cook up at home. Chat Control was pushed in large part by Denmark, and Minister of Justice Peter Hummelgaard is on record saying some pretty disturbing things regarding the right to privacy online.[1] Now for this, they don't need the entire EU to go along, and any laws already on the books might prove ineffective to protect against means that end up achieving similar goals to Chat Control.

Denmark's constitution does have a privacy paragraph, but it explicitly mentions telephone and telegraph, as well as letters.[2] Turns out online messaging doesn't count. It'd be a funny one to get to whatever court, because hopefully someone there will have a brain and use it, but it wouldn't be the first time someone didn't.

[1] https://boingboing.net/2025/09/15/danish-justice-minister-we...

[2] https://www.grundloven.dk/
by zenomt | 2025-11-07 17:33:54+00:00
i made a toolset i call "mdslides" for making pure HTML+CSS (no JavaScript) presentations in Markdown. it's just a CSS stylesheet and an 8 line Awk preprocessor for a slide delimiter, adding just enough HTML wrapping to work with the stylesheet. the stylesheet adds page breaks at each slide so you can get a PDF by asking your browser to print/save-as-PDF. it should work with any CommonMark Markdown formatter (i use "md2html" from the MD4C project).

presentation: https://zenomt.github.io/mdslides/mdslides.html

repo: https://github.com/zenomt/mdslides
by ceejayoz | 2025-11-07 17:34:07+00:00
> how many wars did LLMs and the social media instigate?

At least one already. I suspect your comment won't age well.

https://en.wikipedia.org/wiki/Rohingya_genocide

https://www.reuters.com/article/us-myanmar-rohingya-facebook...

> Marzuki Darusman, chairman of the U.N. Independent International Fact-Finding Mission on Myanmar, told reporters that social media had played a "determining role" in Myanmar.

You could probably count the war in Gaza to some extent.
by pksebben | 2025-11-07 17:34:50+00:00
I think to tease out the core of the problem with large businesses, capital, and society (esp. as regards the dissolution of small businesses), you need to autopsy the concepts of value and liquidity.

Money is meant to be a store of value, 'value' in this case being literally anyone considers valuable. However, it's an abstraction that doesn't quite fit over the thing it attempts to abstract - it really only captures that value if the value is something that is easy to transact. You might value a good conversation with your local grocer, or the smile you get when you pass someone you recognize in your neighborhood, but those things are left out of the money equation. Things the abstraction captures well - transactions of goods, legal representation, contracts, and lobbyists - are all of a particular stripe. Many of these are related to a projection of will; the ability to make things happen the way you want in spite of potentially mitigating factors.

One of the things that money allows is exploitation. Because of the delta between actual value and the abstraction of value, one is capable of strategically manouvering such that they capture more of the abstraction than a straight value:value transaction would warrant. This is compounded when you get tricky with laws and litigation and contracts - hard edges in the problem space become anvils you can use to hammer things to a shape that you like. Cynical strategies are quite successful here.

It is my belief that due to the recursively self-reinforcing nature of this system, it is bound to fail eventually. Because the leaks in the abstraction of value are actually a boon to some few powerful entities, the rules that govern the abstraction will fail to change and adapt and at some point the whole system becomes too heavy to support itself. As a whole, the system will eventually eat it's way to a heart attack.

Liquidity is the velocity of this process, and thus the velocity of consumption. There are pressures and systems and factors that metabolize the effects of the flow of capital, but the higher liquidity is the more burdened those systems become. We are currently in a place where the liquidity factor is > 1, by which I mean money can be spent before it is earned and most of it is (we have something like 5-20x debt to the pool of money, depending on how you measure it). This means that those deficiencies in the abstraction are accelerated and compounded by the same amount, which translates to an equal difference between the things we actually value as humans and the things we are capable of valuing as economic units.
by mrguyorama | 2025-11-07 17:35:33+00:00
>Is Nebula good?

Nebula is good in that it properly allows me to pay the people who's content and reporting and art I like and support them without giving the toxic sludge of Youtube a dime.

It also allows them to focus on doing their job: Making the good videos I want and that they want to make, rather than play some absurd algorithm games.

Floatplane is similarly better aligned with what artists and creators want to do. The guy from DankPods is much happier on that platform than something like Twitch which gave him constant problems.

The GunTubers and "Current military events but from former soldiers who act like they know what they are talking about in reference to geopolitics" have created their own platform and I hope that succeeds too. I do not agree with a lot of the politics from some of these people (and believe some others are liars) but diversity is good.

Armchair Historian also created their own platform. That might not have panned out though, they had financial troubles that led to them abandoning another project.

IMO, the best platform is Patreon linking to a bunch of MP4s on S3 (or whatever cheaper medium exists). Nebula started out just using a "Youtube copycat" whitelabling service.
by DrewADesign | 2025-11-07 17:35:33+00:00
I think it’s odd that elixir doesn’t get more love. It ticks a lot of boxes that folks here get excited about, has a great ecosystem and tooling, BEAM is great, and it’s much more syntactically familiar than erlang to my eye. I know of a couple companies aside from the perennial goto examples that built sizable saas products backed by it.
by skeeter2020 | 2025-11-07 17:35:58+00:00
what works for me: I need to establish a "normal state" that includes some of this, achieve momentum and then add a little more. Most of us have a lot of slack hiding in the required activities, but you can't recapture this all at once. Do something scheduled but onyl a few hours a week. Once it ends, keep doing something scheduled in that timeslot - even if it's not "official" (ex: I go to the library on a specific day/time and study low-level electronics). It is way easier to keep going with your normal routine and supplement than it is to make big changes all at once.
by unnamed76ri | 2025-11-07 17:35:59+00:00
I attend a church where most of the folks are older and they don’t seem to get it that younger people won’t just find our church like in the old days because people aren’t connected by local businesses like they used to be. I don’t mind saying on here that I attend St John’s. It doesn’t matter because there’s over 1000 other St John’s in the country. No one can find us using modern means.
by delusional | 2025-11-07 17:36:01+00:00
the EU is working on a system for age verification that won't identify you to the platform. The details are of course complicated, but you can imagine an openid like system run by the government that only exposes if you're old enough for Y.

The platforms asks your government if you're old enough. You identify yourself to your government. Your government responds to the question with a single Boolean.
Show HN: AI App Store with a User-Controlled Shared Memory Layer
by emmanueldidymus | 2025-11-07 17:36:19+00:00
Hi HN,

We noticed that every AI app starts from zero, almost if not entirely. ChatGPT doesn’t remember what you told Claude. Perplexity doesn’t know your preferences. So we’re building an AI App Store where apps can share ‘user-controlled’ memory.

We currently have 3 simple agents connected: a Travel Planner, Packing Assistant, and Budget Planner. If you tell the Travel Planner that you prefer lakes over beaches, the Packing Assistant will already know what to suggest, but only if you approve the memory share.

There’s also a “My Context” dashboard where you can see, edit, or delete everything the system has learned about you. You own the memory, apps just request access.

This is very early, rough edges included, and we’d love brutally honest feedback, especially on: 1. Does the memory model make sense? 2. Is the context dashboard intuitive? 3. Do you have any feature requests?

Demo: https://aistore-y7gr.vercel.app/ We’re hanging out in the comments for feedback.