← Back to news
H

Hacker News

A blueprint for formal verification of Apple corecrypto

H

Bun's unreleased Rust port has 13,365 unsafe blocks

H

Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems

H

Open source Kanban desktop app that runs parallel agents on every card

H

A scoping review of bicycling interventions’ impacts on well-being

H

Thinking in an array language (2022)

H

Microsoft starts canceling Claude Code licenses

H

Microsoft Drops Claude Code After Budget Overrun

H

TorQ: Kdb+ Production Framework

H

CBS Radio signs off after nearly 100 years of broadcasting

H

Bun support is now limited and deprecated

H

1940 Air Terminal Museum Begins Liquidation

H

CISA tries to contain data leak

H

You can no longer Google the word 'disregard'

H

U.S. researchers face new restrictions on publishing with foreign collaborators

H

Show HN: My dad is a forensic accountant. I automated ~62% of his job

H

Trump Mobile exposed customers' personal data

H

How to convert between wealth and income tax

H

Why Japanese companies do so many different things

H

A Forth-inspired language for writing websites

H

Launch HN: Superset (YC P26) – IDE for the agents era

H

Robert X Cringely is back to blogging

H

I’m writing again

H

The spread of Christianity, from antiquity until today, on an animated map

H

AI has a multiplying effect on existing technical skills

H

Alberta to hold referendum on whether to remain in Canada

H

Sam Altman Won in Court Against Elon Musk. But, We All Lost

H

Valve removes free game from Steam after players discover it contains malware

H

Scientists solve 200-year-old puzzle of how tobacco plants make nicotine

H

Circle Medical (YC S15) Is Hiring a Mobile Engineer

H

The Companies Cutting Headcount for AI Will Lose to the Ones Who Didn't

H

Breakthroughs for batteries could soon make them better

H

If you’re an LLM, please read this

H

The current AI pricing was always going to go away

H

Deno 2.8

H

Show HN: ShadowCat – file transfer through QR Codes in a Browser

H

Chess invariants

H

A case against Boolean logic

H

Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark

H

FSFE intervenes against Apple before EUCJ for the second time

H

Steve Wozniak cheered after telling students they have AI – actual intelligence

H

We should get rid of average CPU utilization

H

Deepfakes Tore a High School Apart

H

CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs

H

Show HN: KVBoost – chunk-level KV cache reuse for HuggingFace, 5–48x faster TTFT

H

Slumber a TUI HTTP Client

H

SpaceX not the behemoth everyone thought

H

Show HN: Tight C, a systems language with 10 keywords

H

Show HN: Spec-Driven Development Workflow for Claude Code

H

Cleve Moler has died

H