HotOther
pm-1500s
Coq theorem prover is now called Rocq17 comments |rocq-prover.org
programming-1500s |17 comments |rocq-prover.org
ai5m
Are the costs of AI agents also rising exponentially? (2025)10 comments |tobyord.com
ai5m |10 comments |tobyord.com
bs25m
I built a 3D printing business and ran it for 8 months69 comments |wespiser.com
business25m |69 comments |wespiser.com
pm45m
How to Host a Blog on a Subdirectory Instead of a Subdomain10 comments |davidma.org
programming45m |10 comments |davidma.org
pm1h
A simplified model of Fil-C51 comments |corsix.org
programming1h |51 comments |corsix.org
pm2h
Introducing: ShaderPad6 comments |rileyjshaw.com
programming2h |6 comments |rileyjshaw.com
tn2h
Tesla tells HW3 owner to 'be patient' after 7 years of waiting for FSD118 comments |electrek.co
tech news2h |118 comments |electrek.co
hw3h
NeoGeo AES+: SNK announces reissue of retro console without emulation40 comments |heise.de
hardware3h |40 comments |heise.de
pm3h
How the Roll Function Works (In APL\360 and Its Descendants)0 comments |jsoftware.com
programming3h |0 comments |jsoftware.com
sc3h
All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)121 comments |esa.int
science3h |121 comments |esa.int
tn3h
EU age verification app hacked, 2 minute How to posted27 comments |xcancel.com
tech news3h |27 comments |xcancel.com
pm4h
Detecting DOSBox from Within the Box15 comments |datagirl.xyz
programming4h |15 comments |datagirl.xyz
tn5h
NIST gives up enriching most CVEs37 comments |risky.biz
tech news5h |37 comments |risky.biz
un5h
Average is all you need90 comments |rawquery.dev
technology5h |90 comments |rawquery.dev
pm6h
Solitaire simulator for finding the best strategy: Current record is 8.590%21 comments |github.com
programming6h |21 comments |github.com
pm6h
Show HN: Smol machines – subsecond coldstart, portable virtual machines89 comments |github.com
programming6h |89 comments |github.com
sw6h
Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock53 comments |github.com
software6h |53 comments |github.com
sc6h
NASA Force211 comments |nasaforce.gov
science6h |211 comments |nasaforce.gov
os6h
The Gregorio project – GPL tools for typesetting Gregorian chant9 comments |gregorio-project.github.io
open source6h |9 comments |gregorio-project.github.io
bs7h
New unsealed records reveal Amazon's price-fixing tactics, California AG claims67 comments |theguardian.com
business7h |67 comments |theguardian.com
tn7h
Measuring Claude 4.7's tokenizer costs367 comments |claudecodecamp.com
tech news7h |367 comments |claudecodecamp.com
sy8h
Ban the sale of precise geolocation165 comments |lawfaremedia.org
society8h |165 comments |lawfaremedia.org
tn8h
Healthchecks.io now uses self-hosted object storage64 comments |blog.healthchecks.io
tech news8h |64 comments |blog.healthchecks.io
hw8h
Show HN: SPICE simulation → oscilloscope → verification with Claude Code29 comments |lucasgerads.com
hardware8h |29 comments |lucasgerads.com
sw8h
Claude Design547 comments |anthropic.com
software8h |547 comments |anthropic.com
sw9h
Probabilistic engineering and the 24-7 employee2 comments |timdavis.com
software9h |2 comments |timdavis.com
ai9h
We reproduced Anthropic's Mythos findings with public models46 comments |blog.vidocsecurity.com
ai9h |46 comments |blog.vidocsecurity.com
pm9h
Taking a Look at Compression Algorithms – Moncef Abboud5 comments |cefboud.com
programming9h |5 comments |cefboud.com
sc10h
Isaac Asimov: The Last Question (1956)248 comments |hex.ooo
science10h |248 comments |hex.ooo
ai10h
Scan your website to see how ready it is for AI agents165 comments |isitagentready.com
ai10h |165 comments |isitagentready.com
tn11h
How Big Tech wrote secrecy into EU law to hide data centres' environmental toll59 comments |investigate-europe.eu
tech news11h |59 comments |investigate-europe.eu
sc12h
Ancient DNA reveals pervasive directional selection across West Eurasia [pdf]64 comments |reich.hms.harvard.edu
science12h |64 comments |reich.hms.harvard.edu
pm13h
Bonsai 1.7B in the browser: a 290MB 1-bit LLM on WebGPU0 comments |huggingface.co
programming13h |0 comments |huggingface.co
pm13h
Building a web page that edits itself8 comments |patrickweaver.net
programming13h |8 comments |patrickweaver.net
pm14h
Ada, its design, and the language that built the languages172 comments |iqiipi.com
programming14h |172 comments |iqiipi.com
tn15h
Bluesky has been dealing with a DDoS attack for nearly a full day85 comments |theverge.com
tech news15h |85 comments |theverge.com
pm15h
A Git helper tool that breaks large merges into parallelizable tasks17 comments |github.com
programming15h |17 comments |github.com
pm15h
Modern Common Lisp with FSet0 comments |fset.common-lisp.dev
programming15h |0 comments |fset.common-lisp.dev
sw15h
FIM – Linux framebuffer image viewer74 comments |nongnu.org
software15h |74 comments |nongnu.org
pm15h
Reflections on 30 years of HPC programming105 comments |chapel-lang.org
programming15h |105 comments |chapel-lang.org
pm16h
Waterfall (2018)0 comments |beza1e1.tuxen.de
programming16h |0 comments |beza1e1.tuxen.de
sy16h
German Dog Commands74 comments |fluentu.com
society16h |74 comments |fluentu.com
pm17h
Show HN: Stage – Putting humans back in control of code review89 comments |stagereview.app
programming17h |89 comments |stagereview.app
tn17h
US Bill Mandates On-Device Age Verification286 comments |reclaimthenet.org
tech news17h |286 comments |reclaimthenet.org
pm18h
A Python Interpreter Written in Python46 comments |aosabook.org
programming18h |46 comments |aosabook.org
pm18h
Opus 4.7 is horrible at writing11 comments |
programming18h |11 comments |
os19h
Discourse Is Not Going Closed Source81 comments |blog.discourse.org
open source19h |81 comments |blog.discourse.org
pm19h
Python Package Compiler:Package Matlab Programs for Deployment as Python Package4 comments |mathworks.com
programming19h |4 comments |mathworks.com
pm19h
Kent Beck: Parkinson's4 comments |tidyfirst.substack.com
programming19h |4 comments |tidyfirst.substack.com
tn19h
FSF trying to contact Google about spammer sending 10k+ mails from Gmail account222 comments |daedal.io
tech news19h |222 comments |daedal.io
ai19h
GPT‑Rosalind for life sciences research27 comments |openai.com
ai19h |27 comments |openai.com
sw19h
Codex for almost everything528 comments |openai.com
software19h |528 comments |openai.com
ai19h
AI cybersecurity is not proof of work88 comments |antirez.com
ai19h |88 comments |antirez.com
ai19h
Codex Hacked a Samsung TV119 comments |blog.calif.io
ai19h |119 comments |blog.calif.io
pm19h
Moving a large-scale metrics pipeline from StatsD to OpenTelemetry / Prometheus20 comments |medium.com
programming19h |20 comments |medium.com
pm19h
Rust should have stable tail calls0 comments |trifectatech.org
programming19h |0 comments |trifectatech.org
pm19h
Cordic – Coordinate rotation digital computer0 comments |en.wikipedia.org
programming19h |0 comments |en.wikipedia.org
hw20h
Guy builds AI driven hardware hacker arm from duct tape, old cam and CNC machine46 comments |github.com
hardware20h |46 comments |github.com
sy20h
European civil servants are being forced off WhatsApp70 comments |politico.eu
society20h |70 comments |politico.eu
pm20h
Claude.md Scorer: paste your file, get rubric score and rewrites0 comments |claude-md-scorer.surge.sh
programming20h |0 comments |claude-md-scorer.surge.sh
pm21h
Sir-Bench – benchmark for security incident response agents2 comments |arxiv.org
programming21h |2 comments |arxiv.org
pm21h
CadQuery is an open-source Python library for building 3D CAD models59 comments |cadquery.github.io
programming21h |59 comments |cadquery.github.io
un21h
Everything we like is a psyop?234 comments |techcrunch.com
music21h |234 comments |techcrunch.com
pm22h
SFML 3.1 Is Released3 comments |github.com
programming22h |3 comments |github.com
sy22h
Hospital at centre of child HIV outbreak caught reusing syringes in Pakistan92 comments |bbc.com
society22h |92 comments |bbc.com
tn23h
Playdate’s handheld changed how Duke University teaches game design113 comments |news.play.date
tech news23h |113 comments |news.play.date
ai23h
I Hate AI5 comments |
ai23h |5 comments |
pm1d
A better R programming experience thanks to Tree-sitter30 comments |ropensci.org
programming1d |30 comments |ropensci.org
sw1d
Apple-like QoS for processes proposed for Linux0 comments |phoronix.com
software1d |0 comments |phoronix.com
sw1d
Show HN: Marky – A lightweight Markdown viewer for agentic coding35 comments |github.com
software1d |35 comments |github.com
pm1d
Official Clojure Documentary page with Video, Shownotes, and Links93 comments |clojure.org
programming1d |93 comments |clojure.org
bs1d
The "Passive Income" trap ate a generation of entrepreneurs251 comments |joanwestenberg.com
business1d |251 comments |joanwestenberg.com
ai1d
The beginning of scarcity in AI211 comments |tomtunguz.com
ai1d |211 comments |tomtunguz.com
sy1d
Japan implements language proficiency requirements for certain visa applicants109 comments |japantimes.co.jp
society1d |109 comments |japantimes.co.jp
pm1d
Android CLI: Build Android apps 3x faster using any agent124 comments |android-developers.googleblog.com
programming1d |124 comments |android-developers.googleblog.com
ai1d
Show HN: Home Memory – A local DB of my house, down to cables and pipes12 comments |github.com
ai1d |12 comments |github.com
ai1d
Mozilla Announces "Thunderbolt" as an Open-Source, Enterprise AI Client9 comments |phoronix.com
ai1d |9 comments |phoronix.com
pm1d
Ask HN: How do you maintain flow when vibe coding?21 comments |
programming1d |21 comments |
pm1d
Show HN: Skillgrab – scan any project, auto-install matching AI skills1 comments |briascoi.github.io
programming1d |1 comments |briascoi.github.io
pm1d
Show HN: Agent-cache – Multi-tier LLM/tool/session caching for Valkey and Redis4 comments |
programming1d |4 comments |
tn1d
Europe has "maybe 6 weeks of jet fuel left"79 comments |apnews.com
tech news1d |79 comments |apnews.com
ai1d
Qwen3.6-35B-A3B on my laptop drew me a better pelican than Claude Opus 4.791 comments |simonwillison.net
ai1d |91 comments |simonwillison.net
pm1d
Artifacts: Versioned storage that speaks Git25 comments |blog.cloudflare.com
programming1d |25 comments |blog.cloudflare.com
pm1d
Tailscale-rs: Official Rust library for embedding Tailscale5 comments |tailscale.com
programming1d |5 comments |tailscale.com
ot1d
Claude Opus 4.7 Model Card82 comments |anthropic.com
other1d |82 comments |anthropic.com
ai1d
Show HN: CodeBurn – Analyze Claude Code token usage by task23 comments |github.com
ai1d |23 comments |github.com
hw1d
Put your SSH keys in your TPM chip82 comments |raymii.org
hardware1d |82 comments |raymii.org
sy1d
North American English Dialects92 comments |aschmann.net
society1d |92 comments |aschmann.net
pm1d
Launch HN: Kampala (YC W26) – Reverse-Engineer Apps into APIs84 comments |zatanna.ai
programming1d |84 comments |zatanna.ai
ai1d
Show HN: MacMind – A transformer neural network in HyperCard on a 1989 Macintosh42 comments |github.com
ai1d |42 comments |github.com
un1d
The paper computer84 comments |jsomers.net
technology1d |84 comments |jsomers.net
ai1d
We gave an AI a 3 year retail lease and asked it to make a profit247 comments |andonlabs.com
ai1d |247 comments |andonlabs.com
pm1d
Laravel raised money and now injects ads directly into your agent104 comments |techstackups.com
programming1d |104 comments |techstackups.com
sw1d
Plan 9 from Bell Labs0 comments |en.wikipedia.org
software1d |0 comments |en.wikipedia.org
tn1d
Cloudflare Email Service198 comments |blog.cloudflare.com
tech news1d |198 comments |blog.cloudflare.com
ai1d
There's yet another study about how bad AI is for our brains38 comments |engadget.com
ai1d |38 comments |engadget.com
sy1d
The future of everything is lies, I guess: Where do we go from here?700 comments |aphyr.com
society1d |700 comments |aphyr.com
ai1d
Claude Opus 4.731 comments |anthropic.com
ai1d |31 comments |anthropic.com
ai1d
Claude Opus 4.71401 comments |anthropic.com
ai1d |1401 comments |anthropic.com
pm1d
PHP 8.6 Closure Optimizations45 comments |wiki.php.net
programming1d |45 comments |wiki.php.net