← Back to news
H

Hacker News

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

H

Ask HN: Best Podcasts of 2025?

H

Ask HN: Anti-AI Open Source License?

H

'PromptQuest' is the worst game of 2025 (trying to make chatbots work)

H

Langfuse (YC W23) Is Hiring in Berlin, Germany

H

Building a macOS app to know when my Mac is thermal throttling

H

Claude Code creator says Claude wrote all his code for the last month

H

Learn computer graphics from scratch and for free

H

Salesforce pulls back from LLMs, pivots Agentforce to deterministic automation

H

Ubuntu 26.04 LTS – The Roadmap

H

Last Year on My Mac: Look Back in Disbelief

H

Hungry Fat Cells Could Someday Starve Cancer

H

Ask HN: By what percentage has AI changed your output as a software engineer?

H

Manus AI 100M USD ARR

H

A new research shows that 21-33% of YouTube's feed may consist of AI slop

H

Growing up in “404 Not Found”: China's nuclear city in the Gobi Desert

H

C++ says “We have try. . . finally at home”

H

Calendar

H

C –> Java != Java –> LLM

H

Travel agents took 10 years to collapse, developers are three years in

H

Rust errors without dependencies

H

Dialtone – AOL 3.0 Server

H

Nvidia deal a big win for Groq employees and investors

H

Fathers’ choices may be packaged and passed down in sperm RNA

H

Replacing JavaScript with Just HTML

H

Software ate the world. Federation will eat embeddings

H

Show HN: Viral Potential Predictor

H

Functional programming and reliability: ADTs, safety, critical infrastructure

H

7- and 14-segment fonts "DSEG"

H

The Dangers of SSL Certificates

H

Liberating Bluetooth on the ESP32

H

Public Domain Day 2026

H

Pfizer ended up passing on my GLP-1 work back in the early '90s (2024)

H

Say No to Palantir in the NHS

H

Richard Stallman at the First Hackers Conference in 1984 [video]

H

Getting Fired over LinkedIn Account

H

How we lost communication to entertainment

H

Rainbow Six Siege hacked as players get billions of credits and random bans

H

Toll roads are spreading in America

H

Scientists edited genes in a living person and saved his life

H

Windows 2 for the Apricot PC/Xi

H

Cleartext signatures considered harmful

H

Nvidia's $20B antitrust loophole

H

Janet Jackson had the power to crash laptop computers (2022)

H

USD share as global reserve currency drops to lowest since 1994

H

Gpg.fail

H

VSCode rebrands as "The open source AI code editor"

H

This PNG shows a different version when loaded in Chrome than in Safari

H

Nvidia just paid $20B for a company that missed its revenue target by 75%

H

A Century of Noether's Theorem

H