MurphyA/hacker-news huggingface dataset:
by qsera | 2026-01-01 20:16:30+00:00
>the compiler lets the safe code expose an interface that creates strict requirements about how it is being called with and interacted with..

The compiler does not and cannot check if these strict requirements are enough for the intended "safety". Right? It is the judgement of the programmer.

And what is stopping a `c` function with such requirements to be wrapped in some code that actually checks these requirements are met? The only thing that the rust compiler enables is to include a feature to mark a specific function as unsafe.

In both cases there is zero help from the compiler to actually verify that the checks that are done on top are sufficient.

And if you want to mark a `c` function as unsafe, just follow some naming convention...

>but without further description of what IO it's a pretty useless detail of the interface..

Take a look at effect-system libraries which can actually encode "What IO" at the type level and make it available everywhere. It is a pretty basic and widely used thing.
by mod50ack | 2026-01-01 20:16:36+00:00
There are different levels to these things. The number of SIM card slots or bands varying from model to model isn't that unusual. The average user just needs it to work. In fact, the SIM and band configuration differences have nothing to do with regional legal mimina — they have more to do with the standard practice and available systems in each region (for example, mmWave isn't widely deployed outside the US). The configurations aren't really "worse" in the same way as locking down browser access is worse. Phones have had regional variants going back ~forever for pretty mundane and benign reasons.

More importantly, if a user travels from one region to another, as long as they can use their phone in the place they arrive, having slightly non-optimal bands or a different SIM configuration doesn't matter. The fact that your phone is slightly different from the local model is not really a problem.

But having your charger vary across regions? That's a recipe for disaster. Not only is that another level of variance in your external casing, it impacts day-to-day use. When an American user travels to, say, France, or vice versa, and wants to buy a charger, or share one with someone else, having the same model of iPhone be incompatible would be a major frustration. It would be stupid to engineer a lightning AND USB-C version of the same device for each market.
by undershirt | 2026-01-01 20:17:23+00:00
Most of what I know about Catholicism I learned after becoming Orthodox. I've been seeing more Catholics here, which makes sense, as the history of Western thought is rooted in post-schism scholasticism, which eventually birthed rationalism and the Enlightenment and our modern presuppositions. So there is a sense that modern people will feel at home in the ancient expressions of the ideals we already have.

One worry I havr about the Catholic faith is that I see a lot of emphasis on miracles, which I think would astonish a lot of atheists and agnostics if they had the interest to look at it, and trust in the sources for those evidence. Hinduism is also known for this, and obviously occult practices and witchcraft is also real. But once you're past the point of incredulity, which I am, I would be interested in learning more about the framework that is used to discern between genuine holiness and deception.

Orthodoxy has a word for deception, "prelest", for example, and there are guidelines to not communicate with or pay attention to apparitions when they appear or to be skeptical of them, and to be mindful of whether the encounter is producing the fruit of repetance and humility, or if it produces pride— as a way of discerning if it is from God or something else. I have an orthodox friend who says thr miracle of Guadalupe which converted Mexico over night was genuine, but recent (relative to the age of the Church) saints displaying stigmata or the eucharist blossoming hear tissue in a test tube are treated with less eagerness. I'm not sure how this compares to the Holy Fire in Jerusalem, which is probably our most famous miracle.

I am also interested in the relationship between reason and trust, which I haven't figured out yet, since in the Christian worldview, reason is fallen, which I think denotes the danger of over-rationalizing the faith at least, but I am astonished by things like thr Christology unearthed by the Ecumenical Councils, which is only really motivated when the Church is forced to answer heresies with the Grace of correct explanations, so I don't quite understand the impulse to proactively crank the engines of reason, so to speak, to systemize things in the way the Latins have done.

This is the Orthodox perspective I've picked up in the past few years, but I am in awe of the feeling of irreducible belief that I think this touches on.
by Scubabear68 | 2026-01-01 20:17:25+00:00
I think you misread your cited article. It does not say only around 10% could easily out their hands on a birth certificate. It says “9% don’t have proof of citizenship readily available” while traveling. It properly indicates nearly every US citizen has their birth certificate.

Of course you are right, basically no one carries their birth certificate around. Which is probably countered by the fact that birth certificates are pretty easily falsifiable because there is no standardization of them.
by mm351206 | 2026-01-01 20:17:40+00:00
>I wish I lived in a small town where you just meet people you know already by going out where everyone is or something

I actually grow up in a small town, like 4000 people in total, in Italy. It is even worse: if you're just a little bit strange and you don't form some kind of friendship while in grade school, the rest of your social life is basically determined to be over.
Show HN: CamPrompter – Transparent Teleprompter with UVC Hardware Control
by mayurkakade | 2026-01-01 20:18:02+00:00
"Hi HN, I’m Mayur. I built this because I was frustrated with existing teleprompters not letting me control webcam hardware (Exposure/Focus) directly.

It’s an Electron app (I know, I know—but I needed to ship fast).

The interesting technical challenges were:

Transparency & Click-through: Making the overlay "ghost" so you can click on the Zoom/Meet window behind the text while scrolling.

I’m currently at $0 revenue and anxious about the "Electron RAM" stigma, so I’d love feedback on the performance if anyone gives it a spin.

https://camprompter.dnyantra.com/
by nntwozz | 2026-01-01 20:18:52+00:00
Bartosz Ciechanowski's blog brings back the joy of surfing the web during the heyday of Adobe Flash (minus the 100% CPU).

It's so much fun manipulating things, exploring and getting surprising feedback.

I know it's not really fair to compare this highly scientific masterpiece to the artistic flash websites of the past, but for me at least it immediately evokes the same feelings.
by cormorant | 2026-01-01 20:18:53+00:00
> Before submitting a deletion request, you will be required to verify you are a California “resident,” as defined in section 17014 of Title 18 of the California Code of Regulations as that section read on September 1, 2017. Verification is made with assistance from state contracted third-party vendors, including Socure and Login.gov, through the California Identity Gateway.

-- https://consumer.drop.privacy.ca.gov/
by libraryofbabel | 2026-01-01 20:18:58+00:00
Well of course, and the book digs a little into the history as well, and what changed around the 1960s/70s. There is a long section on Robert Moses, for example. He draws a lot of parallels between modern China and the US in the 19th and early 20th centuries - totally different political systems, but similar “breakneck” ability to build.
by Tepix | 2026-01-01 20:19:21+00:00
You can get two Strix Halo PCs with similar specs for that $4000 price.
I just hope that prompt preprocessing speeds will continue to improve, because Strix Halo is still quite slow in that regard.

Then there is the networking. While Strix Halo systems come with two USB4 40Gbit/s ports, it's difficult to

a) connect more than 3 machines with two ports each

b) get more than 23GBit/s or so per connection, if you're lucky. Latency will also be in the 0.2ms range, which leaves room for improvement.

Something like Apple's RDMA via Thunderbolt would be great to have on Strix Halo…
by constantcrying | 2026-01-01 20:19:52+00:00
Believing in growth just means believing that the future will be better than the past.

And believing this, is the single thing keeping the entire world running.

Germany is currently ruining itself because its stagnating economy means that it can not keep up with the rising costs for its pension system and has to increasingly raise more funds from a smaller, population which is seeing little productivity gains.

>Degrowth, on the other hand, would directly reduce those externalities; and, if imposed via progressive taxation, would have further societal benefits via funded programs.

Do you think that Germany will have social benefits at all, when the auto industry collapses. Where is the money coming from?

Economic growth has enabled mass literacy. It has created industrial agriculture, which eliminated hunger for economic reasons in all countries which practice it. Degrowth means turning our back on the single process which caused the greatest increase in human quality of life.
by David | 2026-01-01 20:20:12+00:00
> We still start all workflows using the LLM, which works for many cases. When we do rewrite, Claude Code can almost always rewrite the prompt into the code workflow in one-shot.

Why always start with an LLM to solve problems? Using an LLM adds a judgment call, and (at least for now) those judgment calls are not reliable. For something like the motivating example in this article of "is this PR approved" it seems straightforward to get the deterministic right answer using the github API without muddying the waters with an LLM.
by Aurornis | 2026-01-01 20:20:14+00:00
I disagree. I don't think average people are influenced by DSM 5 definitions as much as they are by social media or TV shows.

The people I know in the medical field are becoming frustrated by how often parents bring their children in requesting an autism diagnosis when their child doesn't even begin to meet the current DSM definitions of autism. The social media version of autism has become its own separate entity.

This has caused a second-order effect where the severe ends of the autism spectrum are getting erased from public perception. It's really sad to encounter parents who think their child is autistic (diagnosed or not) who run into children who are severely autistic, as often they'll reflexively try to draw dividing lines between the severely autistic child and their own. It's sadly common to see these parents try to insist that "something else is wrong" with the severely autistic child because it's entirely different than what they've come to view as autism through their TikTok and Facebook groups.
by jstummbillig | 2026-01-01 20:21:18+00:00
I don't approach it from this angle.

Here's my sanity check when reading something like this on hn: What do you have me believe about the founder/investors? I understand that it's fun and common around here to be arrogant enough to presume that other people are absolute idiots, who are incredibly bad at their jobs, but I am not interested. If all you can bring are "duh" ideas, then that's a red flag.

Unless you can bring really insightful ideas, I am going to err on the side of the people who put years of their time into it and the people who put millions of dollars into it

Are they still going to be wrong? Of course. Am I likely to think the sidechair hn commentator is simply missing something in the bigger picture? Yes (and I can think of multiple concrete things in this case)
by robocat | 2026-01-01 20:21:35+00:00
Yes, I was being rude, but the OP and you are and choosing to write incorrect information. You in particular are redoubling your errors and arrogantly stating incorrect "facts". Here's a dual antenna direction finder smaller than a cellphone:

Vectornav VN-310 embedded. Size: 31 x 31 x 11 mm. Power:<1.6W Weight: <15g.

https://insideunmannedsystems.com/new-tactical-grade-dual-an...

I had chosen the 1m Furuno because it was pretty, not because it was a great example.

I personally suspect that the people that designed the GPS system deeply cared about using the system to calculate heading information for missiles and fighters. Unfortunately it is hard to get good information about either the system design or missile antennas. I did a quick search for information about missile antennas and learnt some stuff but I didn't find anything juicy.

Some early and experimental GPS compasses used a rotating directional antenna. The idea was to use a patch or helix antenna that has a gain pattern. Spin it, watch signal strength from satellites rise and fall, and infer orientation. A few marine and military prototypes in the 1990s did this. Once dual-antenna phase comparison became practical, that approach died.

An Android App could combine body-blocking direction finding (also called human-body RF shadowing) with GPS satellite strength metering to create a crude GPS based direction finder. If you designed an RF shade on a rotating axis, it wouldn't be that difficult to get a mobile phone to accurately detect true direction from the satellite ephemeris data. A lovely hacking project. Would be more fun with a highly directional antenna and pointing in 3D to any part of the sky.

Disclosure: I'm no expert on any of this. I just like hacking.
by doodlesdev | 2026-01-01 20:22:01+00:00
KDE is a great desktop environment , but it's also notorious for being a buggy and unpolished DE [1]. It's good your experience wasn't like that, but it's certainly not how the software is generally perceived.

[1]: Of course, different versions have different levels of stability. Also, some of these bugs and problems wouldn't be prevented by using an alternative language such as Rust.
by hnthrowaway0315 | 2026-01-01 20:23:05+00:00
Even if that's doable, I suspect most of us would want to sit in a plane with a human in the cockpit. It's like trains and subways where most of the work is mundane but you want someone at the helm to deal with SHTF situations.

I'm still skeptic about driver-less taxis, even when commercial ones like Waymo are already running on the road. But at least taxis run in 2D regulated highways and most of the drivers are sane enough.
by aspenmartin | 2026-01-01 20:23:06+00:00
> People pay for a lot of things, including snake oil, so convincing a lot of people to pay a bit is not in itself a proof of value

But do you really believe e.g. Claude code is snake oil? I pay $200 / month for Claude, which is something I would have thought monumentally insane maybe 1-2 years ago (e.g. when ChatGPT came out with their premium subscription price I thought that seemed so out of touch). I don't think we would be seeing the subscription rates and the retention numbers if it really was snake oil.

> Finally yes, $1B is a LOT of money for you and I... but for the largest corporations it's actually not a lot. For reference Google earned that in revenue... per day in 2023. Anyway that's still a big number BUT it still has to be compared with, well how much does OpenAI burn. I don't have any public number on that but I believe the consensus is that it's a lot. So until we know that number we can't talk about an actual runway.

this gets brought up a lot but I'm not sure I understand why folks on a forum called YCombinator, a startup accelerator, would make this sound like an obvious sign of charlatanism; operating at a loss is nothing new and anthropic / openAI strategy seems perfectly rational: they are scaling and capturing market share, and TAM is insane.
by tialaramex | 2026-01-01 20:23:29+00:00
I can't help how you feel about it, but what I see is people who supposedly "don't want" something to happen and yet take little or no concrete action to prevent it. When it comes to their memory safety problem WG21 talks about how they want to address the problem but won't take appropriate steps. Years of conference talks about safety, and C++ 26 is going to... encourage tool vendors to diagnose some common mistakes. Safe C++ was rejected, and indeed Herb had WG21 write a new "standing rule" which imagines into existence principles for the language that in effect forbid any such change.

Think Republican Senators offering thoughts and prayers after a school shooting, rather than Apartheid era white South Africans.
by jasoneckert | 2026-01-01 20:24:15+00:00
I've got the Dell version of the DGX Spark as well, and was very impressed with the build quality overall. Like Jeff Geerling noted, the fans are super quiet. And since I don't keep it powered on continuously and mainly connect to it remotely, the LED is a nice quick check for power.

But the nicest addition Dell made in my opinion is the retro 90's UNIX workstation-style wallpaper: https://jasoneckert.github.io/myblog/grace-blackwell/
by TakeFlight007 | 2026-01-01 20:24:40+00:00
You are right... and being rigorous is the only path to trust. We can shift the issue from "what is it" to "why isn't it documented and why does status report inactive.

84.5 MB through utun2/IDS during stated isolation—benign or not—contradicts "wireless features turned off" and users have no verification path.

The "closed source" problem you identified is the core issue. So to be rigorous, plausible deniability ends where the telemetry contradicts the UI.
by Centigonal | 2026-01-01 20:24:45+00:00
Love you Bryan, but:

> Companies that have disdain for their own customers will be reviled in return. Such companies may be able to thrive in the short term, but they do not endure in the limit.

Oracle has endured nearly 50 years. Sun did not endure.

I don't want to live in a world where one of the most successful and widespread corporate strategies is also disturbingly un-humanistic, but we're never going to find a better way unless our mental models for how customer relationships map to business success actually align with reality.
by potato3732842 | 2026-01-01 20:25:18+00:00
>You're generally agreeing with me? You're making an argument that American makers improved by exposure to Japanese makers, and yes I am suggesting they also need exposure to Chinese makers for the same reasons.

Partially. I agree on the economic lines. But disagreeing on the oft circle jerked quality bit.

These were not "high quality" cars even in their day nor were they "higher than the competing product" on any non-subjective axis (the Japanese and europeans did make very different decisions than the americans on some preference based things though). By "low quality" I do not mea low value. I mean low end. These were not designed to be "nice" cars. They were built to a price. These were not cars you got into and said "man, everything I touch feels solid" and "this is a pleasurable driving experience". They got called tin cans for a reason. They were inexpensive compacts and midsize vehicles but what they got right was they nailed the contribution of attributes everyone wanted and so they sold very well.

I absolutely agree that exposure let the other OEMs get better.
by rmason | 2026-01-01 20:26:04+00:00
Although I absolutely love the line - Goodbye Torque. Hello TeraFLOPS! Somehow I don't think TeraFlops will ever be much of a reason why people chose one car over another. But I can believe AI and self driving might be. Got a friend who writes a full blog post every single time Tesla updates his beta version of FSD. So for some that can be the defining factor.
by snakepit | 2026-01-01 20:26:06+00:00
This is helpful. Someone should create a similar benchmark for the BEAM. This is also a good reminder to continue working on snakepit [1] and snakebridge [2]. Plenty remains before they're suitable for prime time.

[1] https://hex.pm/packages/snakepit
[2] https://hex.pm/packages/snakebridge
by dimitar | 2026-01-01 20:26:17+00:00
Data oriented in clojure slang means modeling things in data structures like hashmaps and clojure sets as opposed to defining classes and types. The language encourages you to do it and provides a lot of built-in functions to work with them.

So it must have tools save, manipulate and visualize conveniently (pretty printing, folding etc) the values of vars that contain nested maps, sequences, sets, etc.

Existing clojure IDEs like CIDER for emacs or Calva for VSCode do that too, and it is a must have to have a nice experience with the language
by Imustaskforhelp | 2026-01-01 20:26:49+00:00
Okay now that we have come to the topic, How is Orion browser on App store whereas all others aren't?

is there a way to make more innovation in this area and maybe an extension or two developed adding more perms etc or forking Orion or the know-how behind it and replicating it could finally allow PWA on apple iphones?
by jaennaet | 2026-01-01 20:27:04+00:00
Yeah sure, we keep cutting our own telecoms cables multiple times per year, using Russian-operated ships as a front.

The Eagle S (I think it was?) case was brought to court here in Finland and they even admitted to dragging heir anchor but steadfastly maintained that it was due to their own incompetence (which the judge unfortunately believed.)

I suppose that was also a NATO ploy?
by swiftcoder | 2026-01-01 20:27:34+00:00
> So yeah, it's easy to see which app is taking the most power, and users can do this easily, unless you think Apple's UX is so bad that users won't know how to read it?

It's easy to see, but seeing doesn't mean the user will do anything about it. I guarantee that for the average user, their list goes something like Instagram/TikTok/FaceBook/Twitter, and they haven't uninstalled any of those yet due to battery drain...
by satvikpendem | 2026-01-01 20:27:57+00:00
https://blog.google/products/search/gemini-capabilities-tran...

TLDR yes it now uses Gemini which actually understands idioms etc over the previous Google translate. More importantly, it doesn't rewrite your text to sound more like AI which you see on this thread already with OP using ChatGPT to translate. Works for any language.
by nsxwolf | 2026-01-01 20:28:04+00:00
The nature of my job has always been fighting red tape, process, and stake holders to deploy very small units of code to production. AI really did not help with much of that for me in 2025.

I'd imagine I'm not the only one who has a similar situation. Until all those people and processes can be swept away in favor of letting LLMS YOLO everything into production, I don't see how that changes.
by jimnotgym | 2026-01-01 20:28:19+00:00
> I'm curious as to why you're so judgemental of him

Not particularly him. It annoys me that people go on about how amazing it is that certain people can do their job for so long. Yet his job is not hard on his body, like a labourer. It doesn't carry the same pressure as a business owner who has remortgaged his house and must succeed. If BH went bankrupt, I'm sure it would be embarrassing, but he would still be rich, housed and be able to eat. I am honestly suspicious why these people can't let go and let someone else have a go

Dang, I hope you don't mind me explaining myself a bit? It was meant to explain my earlier comment, since you obviously found it rather bitter