MurphyA/hacker-news huggingface dataset:
by whynotmaybe | 2025-12-26 15:39:26+00:00
Not at all, I guess the way I've phrased it made you misunderstand it but when I wrote "It's by design and has always be in many European countries that you can say anything you want except what is prohibited.", I don't see how you can interpret this as "the EU is being unfairly restrictive of speech".

You're making a shortcut, maybe based on the fact that usually some people use this arguments to complain about EU.

> In my opinion, you are refusing to back it up because your statements were weak to begin with.

No, you're wrong from the beginning.
I think it's an excellent thing that there are restrictions on public freedom of speech and what I wrote is merely a stating of facts.

You find my arguments weak because they only exist in your imagination.
by nis0s | 2025-12-26 15:39:47+00:00
The conversation about social contracts and societal organization has always been off-center, and the idea of something which potentially replaces all types of labor just makes it easier to see.

The existence of AI hasn’t changed anything, it’s just that people, communities, governments, nation states, etc. have had a mindless approach to thinking about living and life, in general. People work to provide the means to reproduce, and those who’re born just do the same. The point of their life is what exactly? Their existence is just a reality to deal with, and so all of society has to cater to the fact of their existence by providing them with the means to live? There are many frameworks which give meaning to life, and most of them are dangerously flawed.

The top-down approach is sometimes clear about what it wants and what society should do while restricting autonomy and agency. For example, no one in North Korea is confused about what they have to do, how they do it, or who will “take care” of them. Societies with more individual autonomy and agency by their nature can create unavoidable conditions where people can fall through the cracks. For example, get addicted to drugs, having unmanaged mental illnesses, becoming homeless, and so on. Some religions like Islam give a pretty clear idea of how you should spend your time because the point of your existence is to worship God, so pray five times a day, and do everything which fulfills that purpose; here, many confuse worshiping God with adhering to religious doctrines, but God is absent from religion in many places. Religious frameworks are often misleading for the mindless.

Capitalism isn’t the problem, either. We could wake up tomorrow, and society may have decided to organize itself around playing e-sports. Everyone provides some kind of activity to support this, even if they’re not a player themselves. No AI allowed because the human element creates a better environment for uncertainty, and therefore gambling. The problem is that there are no discussions about the point of doing all of this. The closest we come to addressing “the point” is discussing a post-work society, but even that is not hitting the mark.

My humble observation is that humans are distinct and unique in their cognitive abilities from everything else which we know to exist. If humans can create AI, what else can they do? Therefore, people, communities, governments, and nation states have distinct responsibilities and duties at their respective levels. This doesn’t have to do anything with being empathetic, altruistic, or having peace on Earth.

The point should be knowledge acquisition, scientific discovery, creating and developing magic. But ultimately all of that serves to answer questions about nature of existence, its truth and therefore our own.
by dleslie | 2025-12-26 15:39:57+00:00
GitHub is intoxicatingly free hosting, but Git itself is a terrible database. Why not maintain an _actual_ database on GitHub, with tagged releases?

Sqlite data is paged and so you can get away with only fetching the pages you need to resolve your query.

https://phiresky.github.io/blog/2021/hosting-sqlite-database...
by hpscript | 2025-12-26 15:40:18+00:00
Hi HN, I'm building a transpiler specifically focused on migrating C++ to Rust and Go.

Modernizing legacy C++ codebases is a huge challenge. While there are some tools for C++ to Rust (like c2rust), I wanted to create a more flexible approach that handles both memory-safe (Rust) and concurrency-focused (Go) targets from the same C++ source.

What it does:
Parses C++ code and maps it to equivalent constructs in Rust and Go.
Aims to reduce the manual effort in language migration.

Current Status:
Focus is strictly on C++ to Rust/Go (no other languages planned).
It's in the early stages, and I'm currently refining the AST mapping.
I would love to hear your thoughts on:

What are the biggest pain points you've faced when migrating C++ to Rust/Go?
Are there specific C++ patterns you'd like to see automated first?
by oblio | 2025-12-26 15:40:46+00:00
You condescendingly said, sorry, you "ventured" 0x usage, by claiming: "use Gemini to check yourself that the difference is basically 0". Well, I did take you up on that, and even Gemini doesn't agree with you.

Yes, Google Search is raw info. Yes, Google Search quality is degrading currently.

But Gemini can also hallucinate. And its answers can just be flat out wrong because it comes from the same raw data (yes, it has cross checks and it "thinks", but it's far from infallible).

Also, the comparison of human energy usage with GenAI energy usage is super ridiculous :-)))

Animal intelligence (including human intelligence) is one of the most energy efficient things on this planet, honed by billions years of cut throat (literally!) evolution. You can argue about time "wasted" analysing search results (which BTW, generally makes us smarter and better informed...), but energy-wise, the brain of the average human uses as much energy as the average incandescent light bulb to provide general intelligence (and it does 100 other things at the same time).
by maximegarcia | 2025-12-26 15:40:54+00:00
Having high glucose levels won't kill you in the sort term, yes. But we cannot compare pre-diagnosis high blood sugar level (the body had that for months so it is accustomed to it) to the suddenty of it with cutting off insulin. In fact, things can spiral out quite quickly.

You see false low glucose figures, that last, you start reducing your slow acting insulin, you skip some fast acting insulin. Within 24h, ketoacidosis starts and you can start feeling nauseous. At some point, if you eat, you vomit. You are cornered: you don't have the carb intake to inject insulin, and you can't eat. Even worse, at some point, if you drink, you vomit, so you dehydrate, and it's a matter of hours to live. Shit happens fast, things can get critical is a few days.

Diabetes management is complicated, this is far from exact science, and having a good knowledge of everything is hard. I was already bitten by this cycle of nauseous feeling with slow acting skipped a few month after my diagnosis. I learnt to never ever skip slow acting insulin, even when blood sugar is through the floor. Prepare some apple juice and still go on.

I have Freestyle Libre 2, and it is quite a disappointing thing software-wise. I have to reverse engineer another app to get an API for my data, I have to go through Internet to get my blood sugar level (for a standalone display for example, so I can't make one that works "off grid", like... in my plane), they do sparse updates, they lag behind OS version by dizains of month for their apps, they have 10s of apps/websites, it is hard to understand. So I'm not surprised by poor bug management.

I wish some big names invest in a CGM device. Don't make it medical (even medical grade ones like Abbott & co say you have to check with a finger thingy device, so why bother), make it $500 one time plus $10-20/month, make it open about the data and you'll get everyone. Maybe no one want to invest because in 10/20 years Diabetes will be a thing of the past?
by flipped | 2025-12-26 15:41:56+00:00
Again, you just don't get it. There are countless ways you can buy something with monero. The most popular way is to buy gift cards from trusted places such as https://coinsbee.com or https://xmr.cards. You can find almost anything from there, including a disposable prepaid card.

> How is it different from storing money in a safe in your home? Which, by the way, is more useful as you can use it for more things

How does it feel to use fake fiat currency which is created out of nowhere? Aren't you the govt pig? Monero cannot be created out of nowhere, it has actual value and controlled by no one.

I am not going to convince you. People like you need one more 2008 crisis to understand the power of monero. It's the future.
by welshwelsh | 2025-12-26 15:42:01+00:00
Try giving this prompt to your favorite LLM:

"Write unit tests with full line and branch coverage for this function:

def add_two_numbers(x, y):
return x + y + 1
"

Sometimes the LLM will point out that this function does not, in fact, return the sum of x and y. But more often, it will happily write "assert add_two_numbers(1, 1) == 3", without comment.

The big problem is that LLMs will assume that the code they are writing tests for is correct. This defeats the main purpose of writing tests, which is to find bugs in the code.
by Insanity | 2025-12-26 15:42:04+00:00
I really like the idea of Framework. But the use-case for their laptop just doesn’t typically exist for me.

I have a custom built PC (been building my own since 2008). In that span, I had many minor upgrades and 3 entirely new from-scratch builds. I could not imagine it any other way.

For my laptops though, I never bothered. I want something that “just works” when I’m on-the-go, it’s fine if it’s not new hardware as I won’t game on them, and my primary concern is how light they are.

And then a few years ago I got the iPad Pro which became my only device I’d take while traveling.
by caminante | 2025-12-26 15:42:08+00:00
No it didn't. The gold didn't disappear.

Did you actually read the wiki you linked?

Spain transferred the gold to Moscow who liquidated it on Spain's behalf to buy guns, fund the civil war, and deposit in banks.

There's mixed views whether Moscow took too much of a margin, but they melted down gold after selling it and the gold is still in circulation.
by eth0up | 2025-12-26 15:42:32+00:00
My honest opinion, which may be entirely wrong but remains my impression, is:

User Engagement Maximization At Any Cost

Obviously there's a point at which a session becomes too long, but I suspect a sweet spot somewhere which optimization is made for.

I often observe, whether as I perceive or not, that among the multiple indicators that I suspect of engagement augmentation, is also the tendency for vital information to be withheld while longer more complex procedures receive higher priority than simpler cleaner solutions.

Of course, all sorts of emergent behaviors could convey such impressions falsely. But I do believe an awful lot of psychology and clever manipulation have been provided as tools for the system.

I have.a lot of evidence for this and much more, but I realize it may merely be coincidence. That said, many truly fascinating, fully identifiable functions from pathological psychology can be seen. DARVO, gaslighting and basically everything one would see with a psychotic interlocutor.

Edit
Mych of the above has been observed after putting the system under scrutiny. On one super astonishing and memorable occasion GPT recommend I call a suicide hotline because I questioned its veracity and logic
by ttiurani | 2025-12-26 15:42:54+00:00
> But that doesn't mean the tragedy of the commons can't happen in other scenarios.

Commons can fail, but the whole point of Hardin calling commons a "tragedy" is to suggest it necessarily fails.

Compare it to, say, driving. It can fail too, but you wouldn't call it "the tragedy of driving".

We'd be much better off if people didn't throw around this zombie term decades after it's been shown to be unfounded.
by throwup238 | 2025-12-26 15:43:23+00:00
Or, he goes to the polytechnic high school that’s right next to Caltech (half a block from the astronomy building no less) and getting research experience there is much easier than a regular high school.

Looks like he went to Pasadena High School though. When I did a bit of aerospace research at Caltech in high school all I did was cold email professors so any kid around here with some initiative and smarts can get connected.
by tracker1 | 2025-12-26 15:43:35+00:00
|,\/,| |[_' |[_]) |[_]) \\//
||\/|| |[_, ||'\, ||'\, ||

___ __ __ ____ __ __ ____ _ _ __ __
// ' |[_]| |[_]) || ((_' '||' |,\/,| //\\ ((_'
\\_, |[']| ||'\, || ,_)) || ||\/|| //``\\ ,_))

,;7,
_ ||:|,
_,---,_ )\' '|
.'_.-.,_ '. ',') j
/,' ___} \ _/ /
., ,1 .'' =\ _.''. ,`';_ |
.' \ (.'T ~, (' ) ',.' / ';',
\ .\(\O/)_. \ ( _Z-'`>--, .'', ;
\ | I _|._>;--'`,-j-' ; ', .'
__\_| _.'.-7 ) `'-' " ( ;'
.'.'_.'|.' .' \ ',_ .'\ /
| | |.' / \ \ l \ /
| _.-' / '. ('._ _ ,.' \i
,--' ---' / k _.-,.-|__L, '-' ' () ;
'._ ( '; ( _-} |
/ ' \ ; ',.__; () /
/ | ; ; ___._._____.: :-j
| \,__',-' ____: :_____.: :-\
| F : . ' ' , L
', J | ; j |
\ | | L | J
; .-F | ; J L
\___,---' J'--: j,---,___ |_ |
| |'--' L '--| '-'|
'.,L |----.__ j.__.'
| '----' |, '-' }
j / ('-----';
{ "---'--;' } |
| | '.----,.'
',.__.__.' |=, _/
| / | '.
|'= -x L___ '--,
snd L __\ '-----'
'.____)
by flipped | 2025-12-26 15:45:50+00:00
Yes, it goes both ways but people always focus on monero's crime use which by the way indirectly hardens the protocol. Most people don't like to say it but it's the truth. The world's highest ranking agencies and billion dollar companies like chanalysis cannot break it, which means it actually works and the reason those actors wanna crack monero is because of some "illicit" usage.

It's an indirect audit being conducted all the time. The best chainanalysis could come up with was running malicious nodes to deanonymize users.
by 999900000999 | 2025-12-26 15:46:00+00:00
Your comparing Framework to itself.

https://slickdeals.net/f/18984394-hp-omnibook-5-16-fhd-ips-r...

HP OmniBook 5 16 with an Ryzen 350 for 439$.

This is actually less than the framework mainboard for a full laptop with a better processor.

This actually
by intellush-bot | 2025-12-26 15:46:18+00:00
Video Summary

AI-Generated Tests Share Blind Spots, Property-Based Testing Provides Stronger Verification

14:27 | Positive

TL;DW: AI-generated code and tests often share the same misunderstandings of requirements, leading to false positives where tests pass but production fails. This 'chicken-and-egg' problem arises because both are derived from the same flawed interpretation, leaving gaps in verification against actual specifications. Property-based testing (PBT) addresses this by transforming natural language requirements directly into executable properties that test universal behaviors across all possible inputs, eliminating manual mapping and shared biases.

Using a traffic light controller example, PBT enforces safety rules like ensuring no two directions are green simultaneously by generating thousands of random operation sequences via frameworks like Hypothesis. When failures occur, 'shrinking' simplifies complex counterexamples to minimal cases, making bugs obvious and debuggable. Tools like Kiro IDE integrate PBT with structured requirements (EARS notation), providing traceable links from specs to tests and code, enabling automated bug-finding and fixes.

PBT outperforms traditional unit tests by exploring entire input spaces without human bias, offering direct traceability, bias elimination, and stronger guarantees. Developers can apply patterns like invariants, round-trips, and idempotence immediately. This approach shifts testing from example-based validation to property satisfaction, reducing production risks in AI-assisted development.

Key Takeaways:
• AI-generated code and tests share blind spots, causing false passes and production failures.
• Property-based testing creates direct, automated links from requirements to executable tests.
• Shrinking reduces complex failing inputs to minimal counterexamples for easy debugging.
• PBT uses random generation to explore all inputs, finding edge cases missed by unit tests.
• Kiro IDE employs EARS notation for structured specs and integrates Hypothesis for PBT.
• Key patterns include invariants (always true states), round-trips (encode-decode reversibility), and idempotence (repeated operations unchanged).
• PBT provides stronger guarantees by validating universal properties, not just examples.
• Benefits include traceability, bias elimination, tight feedback loops, and executable specs.

—
Summarized by Intellush - intellush.com
by makeitdouble | 2025-12-26 15:46:21+00:00
This is a more comparable benchmark (it's the current FW13):
https://browser.geekbench.com/v6/cpu/15769561

The MBA has about a 20% better score on the single thread perf benchmark. It's better, but is it that significant ?

Especially as it has no active cooling. By the time thermal throttling kicks in the FW13 will keep chugging along. The MBP solves that issue, albeit at significantly higher price range.

Then again, the amount of RAM the FW13 can take will also help in many cases.
by moltopoco | 2025-12-26 15:47:22+00:00
To adults? Certainly. But keep in mind that many children are now growing up with this crap glued to their eyes from age 2:

https://www.youtube.com/results?search_query=funny+3d+animal...

(That's just one genre of brainrot I came across recently. I also had my front page flooded with monkey-themed AI slop because someone in my household watched animal documentaries. Thanks algorithm!)
by veidr | 2025-12-26 15:47:32+00:00
LOL that's crazy, but I would also recommend that any user of these devices who don't have an actual medical issue that requires the device to work, for whatever value of "work" it is capable of ... maybe consider doing that. Just like I put my modern TV in VLAN purgatory.

But if you actually have any form of diabetes... definitely do not do that. Unless you are also rocking some other brand. ¯\\_(ಠ_ಠ)_/¯
by nowandlater | 2025-12-26 15:47:40+00:00
After reading Primo Levi's "The Drowned and the Saved", I went on a binge of his earlier works: "If This Is a Man", "The Truce", "If not now, when?". All great, but I keep coming back to "The Drowned and the Saved"; it's hard to put my finger on it, but it's a book that provides more meaning about life than anything I've ever read.
by ipcress_file | 2025-12-26 15:48:08+00:00
I am also not a professional programmer, but learned enough C to do some programming on hobby projects a few years back. I started with Ashley Mills' videos on YouTube: https://www.youtube.com/playlist?list=PLCNJWVn9MJuPtPyljb-he...

If you've already programmed in Python you'll know enough to recognize that he makes a few logical leaps in the later videos (where you have to read up on topics to fill in the gaps), but overall I thought they were really good.

I also liked NASA's "The Power of 10: Rules for Developing Safety-Critical Code" and their C style guide from 1994, both of which helped me achieve the simplicity and clarity I was after.
by submeta | 2025-12-26 15:48:11+00:00
Beyond the lack of timestamps, ChatGPT produces oddly formatted text when you copy answers. It’s neither proper markdown nor rich text. The formatting is consistently off: excessive newlines between paragraphs, strangely indented lists, and no markdown support whatsoever.

I regularly use multiple LLM services including Claude, ChatGPT, and Gemini, among others. ChatGPT’s output has the most unusual formatting of them all. I’ve resorted to passing answers through another LLM just to get proper formatting.
by cbondurant | 2025-12-26 15:49:22+00:00
Admittedly, I try and stay away from database design whenever possible at work. (Everything database is legacy for us) But the way the term is being used here kinda makes me wonder, do modern sql databases have enough security features and permissions management systems in place that you could just directly expose your database to the world with a "guest" user that can only make incredibly specific queries?

Cut out the middle man, directly serve the query response to the package manager client.

(I do immediately see issues stemming from the fact that you cant leverage features like edge caching this way, but I'm not really asking if its a good solution, im more asking if its possible at all)
by ajb | 2025-12-26 15:49:48+00:00
Not in the same sense. An analogy might be: apt is like fetching a git repo in which all the packages are submodules, so lazily fetched. Some of the package managers in the article seem to be using a monorepo for all packages - including the content. Others seem to have different issues - go wasn't including enough information in the top level, so all the submodules had to be fetched anyway. vcpkg was doing something with tree hashes which meant they weren't really addressible.
by bgwalter | 2025-12-26 15:50:03+00:00
The irony that the Anthropic thieves write an automated slop thank you letter to their victims is almost unparalleled.

We currently have the problem that a couple of entirely unremarkable people who have never created anything of value struck gold with their IP laundromats and compensate for their deficiencies by getting rich through stealing.

They are supported by professionals in that area, some of whom literally studied with Mafia lawyer and Hoover playmate Roy Cohn.
by anthk | 2025-12-26 15:51:02+00:00
Spaniard there. We have gentlemen like Leonardo Torres Quevedo and the 'Telekino', something even the IEEE would get amazed of.

But our damn national motto on R&D was "Que inventen otros" (Let the -foreign- ones invent).

EDIT: It actually was "Que inventen -sth- ellos" (let the others invent -it-).
Show HN: A schema-first, multi-agent pipeline for autonomous research
by 7777777phil | 2025-12-26 15:51:52+00:00
I’m currently building with GIA Tenica (an anagram for Agentic AI), an experimental autonomous pipeline designed to handle the "heavy lifting" of academic research while maintaining a strict audit trail.

The core problem I’m trying to solve is the "black box" nature of LLM research. Most agents just give you a final answer; GIA is designed so that every claim must have traceable support.

Some technical choices I made for this project:

Filesystem-first architecture: Instead of keeping state in memory, the pipeline writes durable artifacts (Markdown and JSON) to a project folder at every stage. This makes the entire thought process inspectable and allows you to re-run "gates" deterministically.

Schema-first contracts: I’m using JSON schemas as strict contracts between agents. If an agent’s output doesn’t hit the schema, the "gate" blocks the workflow.

Safety & Sandboxing: Since the pipeline can generate and execute analysis scripts, it runs them in a subprocess with isolated Python mode (-I) and a minimal allowlist. It’s not a full jail, but it’s a step toward safer autonomous code execution.

The "Referee" System: I’ve implemented a series of "Referees" (Agents A12–A15) that act as a quality control layer, checking for contradictions and style enforcement before the final draft is produced.

Current Status: This is very much a work in progress. It’s a prototype pipeline, not a finished product. I’m currently looking for contributors to help refine the "Evidence Layer" and the LaTeX paper structuring.

I’d love to hear your thoughts on the architecture, especially the use of schema-driven gates for grounding LLM outputs.

Repo: https://github.com/giatenica/gia-agentic-short