Tony Hoare has died
blog.computationalcomplexity.org- 825 points
- 38 comments
- 4 hours ago
- by speckx
Show HN: RunAnwhere – Faster AI Inference on Apple Silicon
github.com- 89 points
- 13 comments
- 1 hour ago
- by sanchitmonga22
Debian decides not to decide on AI-generated contributions
lwn.net- 161 points
- 20 comments
- 4 hours ago
- by jwilk
Billion-Parameter Theories
orldgov.org- 21 points
- 6 comments
- 40 minutes ago
- by seanlinehan
I built a programming language using Claude Code
ankursethi.com- 43 points
- 17 comments
- 2 hours ago
- by GeneralMaximus
Intel Demos Chip to Compute with Encrypted Data
spectrum.ieee.org- 165 points
- 12 comments
- 5 hours ago
- by sohkamyung
Rebasing in Magit
entropicthoughts.com- 135 points
- 16 comments
- 5 hours ago
- by ibobev
Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy
gitlab.redox-os.org- 298 points
- 34 comments
- 10 hours ago
- by pjmlp
I put my whole life into a single database
howisfelix.today- 345 points
- 51 comments
- 8 hours ago
- by lukakopajtic
Meta acquires Moltbook
axios.com- 229 points
- 47 comments
- 4 hours ago
- by mmayberry
Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs
dnhkng.github.io- 145 points
- 19 comments
- 5 hours ago
- by dnhkng
Launch HN: Didit (YC W26) – Stripe for Identity Verification
- 36 points
- 14 comments
- 3 hours ago
- by rosasalberto
Throwing away 18 months of code and starting over
tompiagg.io- 10 points
- 2 comments
- 3 hours ago
- by tomaspiaggio12
More agent tools and AI tools should be pricing on outcomes (2025)
jxnl.co- 12 points
- 2 comments
- 16 hours ago
- by AnhTho_FR
The Enterprise Context Layer
andychen32.substack.com- 10 points
- 1 comments
- 3 hours ago
- by zachperkel
RFC 454545 – Human Em Dash Standard
gist.github.com- 79 points
- 19 comments
- 4 hours ago
- by jdauriemma
I used pulsar detection techniques to turn a phone into a watch timegrapher
chronolog.watch- 28 points
- 2 comments
- 3 days ago
- by tylerjaywood
Online age-verification tools for child safety are surveilling adults
cnbc.com- 351 points
- 33 comments
- 6 hours ago
- by bilsbie
Open Weights Isn't Open Training
orkshoplabs.ai- 15 points
- 1 comments
- 19 hours ago
- by addiefoote8
We are building data breach machines and nobody cares
idealloc.me- 24 points
- 7 comments
- 4 hours ago
- by idealloc_haris
Defeat as Method
cabinetmagazine.org- 6 points
- 0 comments
- 1 hour ago
- by akbarnama
The Gervais Principle, or the Office According to "The Office" (2009)
ribbonfarm.com- 231 points
- 27 comments
- 3 days ago
- by janandonly
Levels of Agentic Engineering
bassimeledath.com- 13 points
- 3 comments
- 10 hours ago
- by bombastic311
PgAdmin 4 9.13 with AI Assistant Panel
pgadmin.org- 71 points
- 9 comments
- 7 hours ago
- by __natty__
Surpassing vLLM with a Generated Inference Stack
infinity.inc- 5 points
- 0 comments
- 3 hours ago
- by lukebechtel
How many options fit into a boolean?
herecomesthemoon.net- 35 points
- 9 comments
- 4 days ago
- by luu
Sending Jabber/XMPP Messages via HTTP
gultsch.de- 42 points
- 4 comments
- 5 hours ago
- by inputmice
A New Version of Our Oracle Solaris Environment for Developers
blogs.oracle.com- 38 points
- 6 comments
- 3 days ago
- by naves
MariaDB innovation: vector index performance
smalldatum.blogspot.com- 15 points
- 0 comments
- 3 days ago
- by gslin
Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit)
github.com- 47 points
- 7 comments
- 5 hours ago
- by dougdonohoe
Practical Guide to Bare Metal C++
arobenko.github.io- 99 points
- 10 comments
- 4 days ago
- by ibobev
Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation
github.com- 63 points
- 3 comments
- 4 days ago
- by earcar
Flock Flocked up: How a license plate camera misread unraveled one man's life
businessinsider.com- 12 points
- 4 comments
- 32 minutes ago
- by text0404
Show HN: A modern React onboarding tour library
github.com- 3 points
- 0 comments
- 2 hours ago
- by bilater
Show HN: A retention mechanic for learning that isn't Duolingo manipulation?
dailylabs.co- 3 points
- 3 comments
- 18 hours ago
- by aidanadd
LoGeR – 3D reconstruction from extremely long videos (DeepMind, UC Berkeley)
loger-project.github.io- 122 points
- 7 comments
- 12 hours ago
- by helloplanets
Microsoft Copilot Update Hijacks Default Browser Links
reclaimthenet.org- 23 points
- 1 comments
- 1 hour ago
- by miohtama
Show HN: Satellite imagery object detection using text prompts
useful-ai-tools.com- 5 points
- 0 comments
- 1 day ago
- by eyasu6464
BC got rid of Daylight Savings
news.gov.bc.ca- 7 points
- 2 comments
- 3 hours ago
- by mostelato
Lotus 1-2-3 on the PC with DOS
stonetools.ghost.io- 164 points
- 24 comments
- 4 days ago
- by TMWNN
TCXO Failure Analysis
serd.es- 92 points
- 13 comments
- 4 days ago
- by zdw
Traffic from Russia to Cloudflare is 60% down from last year
radar.cloudflare.com- 100 points
- 10 comments
- 6 hours ago
- by secondary_op
No, it doesn't cost Anthropic $5k per Claude Code user
martinalderson.com- 409 points
- 46 comments
- 19 hours ago
- by jnord
$3 ChromeOS Flex stick will revive old and outdated computers
9to5google.com- 29 points
- 6 comments
- 2 hours ago
- by pentagrama
Cardiac side effects of RNA-based SARS-CoV-2 vaccines
bpspubs.onlinelibrary.wiley.com- 4 points
- 1 comments
- 27 minutes ago
- by blumomo
YouTube ads are about to get even longer and they'll be unskippable
dexerto.com- 28 points
- 8 comments
- 2 hours ago
- by robtherobber
Optimizing Top K in Postgres
paradedb.com- 140 points
- 9 comments
- 2 days ago
- by philippemnoel
Show HN: A playable version of the Claude Code Terraform destroy incident
youbrokeprod.com- 14 points
- 4 comments
- 4 hours ago
- by cdnsteve
Foreign-funded lobby groups outside EU are pushing ChatControl with propaganda
digitalcourage.social- 40 points
- 1 comments
- 4 hours ago
- by latexr
Show HN: Remotely use my guitar tuner
realtuner.online- 242 points
- 29 comments
- 4 days ago
- by smith-kyle