HotOther
Coq theorem prover is now called Rocq
programming-1500s |17 comments |rocq-prover.org
Are the costs of AI agents also rising exponentially? (2025)
ai5m |10 comments |tobyord.com
I built a 3D printing business and ran it for 8 months
business25m |69 comments |wespiser.com
How to Host a Blog on a Subdirectory Instead of a Subdomain
programming45m |10 comments |davidma.org
A simplified model of Fil-C
programming1h |51 comments |corsix.org
Introducing: ShaderPad
programming2h |6 comments |rileyjshaw.com
Tesla tells HW3 owner to 'be patient' after 7 years of waiting for FSD
tech news2h |118 comments |electrek.co
NeoGeo AES+: SNK announces reissue of retro console without emulation
hardware3h |40 comments |heise.de
How the Roll Function Works (In APL\360 and Its Descendants)
programming3h |0 comments |jsoftware.com
All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)
science3h |121 comments |esa.int
EU age verification app hacked, 2 minute How to posted
tech news3h |27 comments |xcancel.com
Detecting DOSBox from Within the Box
programming4h |15 comments |datagirl.xyz
NIST gives up enriching most CVEs
tech news5h |37 comments |risky.biz
Average is all you need
technology5h |90 comments |rawquery.dev
Solitaire simulator for finding the best strategy: Current record is 8.590%
programming6h |21 comments |github.com
Show HN: Smol machines – subsecond coldstart, portable virtual machines
programming6h |89 comments |github.com
Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock
software6h |53 comments |github.com
NASA Force
science6h |211 comments |nasaforce.gov
The Gregorio project – GPL tools for typesetting Gregorian chant
open source6h |9 comments |gregorio-project.github.io
New unsealed records reveal Amazon's price-fixing tactics, California AG claims
business7h |67 comments |theguardian.com
Measuring Claude 4.7's tokenizer costs
tech news7h |367 comments |claudecodecamp.com
Ban the sale of precise geolocation
society8h |165 comments |lawfaremedia.org
Healthchecks.io now uses self-hosted object storage
tech news8h |64 comments |blog.healthchecks.io
Show HN: SPICE simulation → oscilloscope → verification with Claude Code
hardware8h |29 comments |lucasgerads.com
Claude Design
software8h |547 comments |anthropic.com
Probabilistic engineering and the 24-7 employee
software9h |2 comments |timdavis.com
We reproduced Anthropic's Mythos findings with public models
ai9h |46 comments |blog.vidocsecurity.com
Taking a Look at Compression Algorithms – Moncef Abboud
programming9h |5 comments |cefboud.com
Isaac Asimov: The Last Question (1956)
science10h |248 comments |hex.ooo
Scan your website to see how ready it is for AI agents
ai10h |165 comments |isitagentready.com
How Big Tech wrote secrecy into EU law to hide data centres' environmental toll
tech news11h |59 comments |investigate-europe.eu
Ancient DNA reveals pervasive directional selection across West Eurasia [pdf]
science12h |64 comments |reich.hms.harvard.edu
Bonsai 1.7B in the browser: a 290MB 1-bit LLM on WebGPU
programming13h |0 comments |huggingface.co
Building a web page that edits itself
programming13h |8 comments |patrickweaver.net
Ada, its design, and the language that built the languages
programming14h |172 comments |iqiipi.com
Bluesky has been dealing with a DDoS attack for nearly a full day
tech news15h |85 comments |theverge.com
A Git helper tool that breaks large merges into parallelizable tasks
programming15h |17 comments |github.com
Modern Common Lisp with FSet
programming15h |0 comments |fset.common-lisp.dev
FIM – Linux framebuffer image viewer
software15h |74 comments |nongnu.org
Reflections on 30 years of HPC programming
programming15h |105 comments |chapel-lang.org
Waterfall (2018)
programming16h |0 comments |beza1e1.tuxen.de
German Dog Commands
society16h |74 comments |fluentu.com
Show HN: Stage – Putting humans back in control of code review
programming17h |89 comments |stagereview.app
US Bill Mandates On-Device Age Verification
tech news17h |286 comments |reclaimthenet.org
A Python Interpreter Written in Python
programming18h |46 comments |aosabook.org
Opus 4.7 is horrible at writing
programming18h |11 comments |
Discourse Is Not Going Closed Source
open source19h |81 comments |blog.discourse.org
Python Package Compiler:Package Matlab Programs for Deployment as Python Package
programming19h |4 comments |mathworks.com
Kent Beck: Parkinson's
programming19h |4 comments |tidyfirst.substack.com
FSF trying to contact Google about spammer sending 10k+ mails from Gmail account
tech news19h |222 comments |daedal.io
GPT‑Rosalind for life sciences research
ai19h |27 comments |openai.com
Codex for almost everything
software19h |528 comments |openai.com
AI cybersecurity is not proof of work
ai19h |88 comments |antirez.com
Codex Hacked a Samsung TV
ai19h |119 comments |blog.calif.io
Moving a large-scale metrics pipeline from StatsD to OpenTelemetry / Prometheus
programming19h |20 comments |medium.com
Rust should have stable tail calls
programming19h |0 comments |trifectatech.org
Cordic – Coordinate rotation digital computer
programming19h |0 comments |en.wikipedia.org
Guy builds AI driven hardware hacker arm from duct tape, old cam and CNC machine
hardware20h |46 comments |github.com
European civil servants are being forced off WhatsApp
society20h |70 comments |politico.eu
Claude.md Scorer: paste your file, get rubric score and rewrites
programming20h |0 comments |claude-md-scorer.surge.sh
Sir-Bench – benchmark for security incident response agents
programming21h |2 comments |arxiv.org
CadQuery is an open-source Python library for building 3D CAD models
programming21h |59 comments |cadquery.github.io
Everything we like is a psyop?
music21h |234 comments |techcrunch.com
SFML 3.1 Is Released
programming22h |3 comments |github.com
Hospital at centre of child HIV outbreak caught reusing syringes in Pakistan
society22h |92 comments |bbc.com
Playdate’s handheld changed how Duke University teaches game design
tech news23h |113 comments |news.play.date
I Hate AI
ai23h |5 comments |
A better R programming experience thanks to Tree-sitter
programming1d |30 comments |ropensci.org
Apple-like QoS for processes proposed for Linux
software1d |0 comments |phoronix.com
Show HN: Marky – A lightweight Markdown viewer for agentic coding
software1d |35 comments |github.com
Official Clojure Documentary page with Video, Shownotes, and Links
programming1d |93 comments |clojure.org
The "Passive Income" trap ate a generation of entrepreneurs
business1d |251 comments |joanwestenberg.com
The beginning of scarcity in AI
ai1d |211 comments |tomtunguz.com
Japan implements language proficiency requirements for certain visa applicants
society1d |109 comments |japantimes.co.jp
Android CLI: Build Android apps 3x faster using any agent
programming1d |124 comments |android-developers.googleblog.com
Show HN: Home Memory – A local DB of my house, down to cables and pipes
ai1d |12 comments |github.com
Mozilla Announces "Thunderbolt" as an Open-Source, Enterprise AI Client
ai1d |9 comments |phoronix.com
Ask HN: How do you maintain flow when vibe coding?
programming1d |21 comments |
Show HN: Skillgrab – scan any project, auto-install matching AI skills
programming1d |1 comments |briascoi.github.io
Show HN: Agent-cache – Multi-tier LLM/tool/session caching for Valkey and Redis
programming1d |4 comments |
Europe has "maybe 6 weeks of jet fuel left"
tech news1d |79 comments |apnews.com
Qwen3.6-35B-A3B on my laptop drew me a better pelican than Claude Opus 4.7
ai1d |91 comments |simonwillison.net
Artifacts: Versioned storage that speaks Git
programming1d |25 comments |blog.cloudflare.com
Tailscale-rs: Official Rust library for embedding Tailscale
programming1d |5 comments |tailscale.com
Claude Opus 4.7 Model Card
other1d |82 comments |anthropic.com
Show HN: CodeBurn – Analyze Claude Code token usage by task
ai1d |23 comments |github.com
Put your SSH keys in your TPM chip
hardware1d |82 comments |raymii.org
North American English Dialects
society1d |92 comments |aschmann.net
Launch HN: Kampala (YC W26) – Reverse-Engineer Apps into APIs
programming1d |84 comments |zatanna.ai
Show HN: MacMind – A transformer neural network in HyperCard on a 1989 Macintosh
ai1d |42 comments |github.com
The paper computer
technology1d |84 comments |jsomers.net
We gave an AI a 3 year retail lease and asked it to make a profit
ai1d |247 comments |andonlabs.com
Laravel raised money and now injects ads directly into your agent
programming1d |104 comments |techstackups.com
Plan 9 from Bell Labs
software1d |0 comments |en.wikipedia.org
Cloudflare Email Service
tech news1d |198 comments |blog.cloudflare.com
There's yet another study about how bad AI is for our brains
ai1d |38 comments |engadget.com
The future of everything is lies, I guess: Where do we go from here?
society1d |700 comments |aphyr.com
Claude Opus 4.7
ai1d |31 comments |anthropic.com
Claude Opus 4.7
ai1d |1401 comments |anthropic.com
PHP 8.6 Closure Optimizations
programming1d |45 comments |wiki.php.net