HotOther
New NTFS File-System Driver Submitted for Linux 7.1
software1h |0 comments |phoronix.com
Coq theorem prover is now called Rocq
programming2h |17 comments |rocq-prover.org
Are the costs of AI agents also rising exponentially? (2025)
ai2h |24 comments |tobyord.com
I built a 3D printing business and ran it for 8 months
business3h |81 comments |wespiser.com
How to Host a Blog on a Subdirectory Instead of a Subdomain (2025)
programming3h |14 comments |davidma.org
A simplified model of Fil-C
programming4h |67 comments |corsix.org
Introducing: ShaderPad
programming4h |9 comments |rileyjshaw.com
Tesla tells HW3 owner to 'be patient' after 7 years of waiting for FSD
tech news5h |131 comments |electrek.co
NeoGeo AES+: SNK announces reissue of retro console without emulation
hardware5h |44 comments |heise.de
How the Roll Function Works (In APL\360 and Its Descendants)
programming5h |0 comments |jsoftware.com
All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)
science6h |147 comments |esa.int
EU age verification app hacked, 2 minute How to posted
tech news6h |27 comments |xcancel.com
Detecting DOSBox from Within the Box
programming7h |15 comments |datagirl.xyz
NIST gives up enriching most CVEs
tech news7h |41 comments |risky.biz
Average is all you need
technology8h |92 comments |rawquery.dev
Solitaire simulator for finding the best strategy: Current record is 8.590%
programming8h |21 comments |github.com
Show HN: Smol machines – subsecond coldstart, portable virtual machines
programming9h |91 comments |github.com
Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock
software9h |63 comments |github.com
NASA Force
science9h |220 comments |nasaforce.gov
The Gregorio project – GPL tools for typesetting Gregorian chant
open source9h |9 comments |gregorio-project.github.io
New unsealed records reveal Amazon's price-fixing tactics, California AG claims
business10h |67 comments |theguardian.com
Measuring Claude 4.7's tokenizer costs
tech news10h |390 comments |claudecodecamp.com
Ban the sale of precise geolocation
society10h |168 comments |lawfaremedia.org
Healthchecks.io now uses self-hosted object storage
tech news11h |64 comments |blog.healthchecks.io
Show HN: SPICE simulation → oscilloscope → verification with Claude Code
hardware11h |29 comments |lucasgerads.com
Claude Design
software11h |589 comments |anthropic.com
Probabilistic engineering and the 24-7 employee
software11h |2 comments |timdavis.com
We reproduced Anthropic's Mythos findings with public models
ai12h |46 comments |blog.vidocsecurity.com
Taking a Look at Compression Algorithms – Moncef Abboud
programming12h |5 comments |cefboud.com
Isaac Asimov: The Last Question (1956)
science12h |268 comments |hex.ooo
Scan your website to see how ready it is for AI agents
ai12h |166 comments |isitagentready.com
How Big Tech wrote secrecy into EU law to hide data centres' environmental toll
tech news14h |59 comments |investigate-europe.eu
Ancient DNA reveals pervasive directional selection across West Eurasia [pdf]
science15h |64 comments |reich.hms.harvard.edu
Bonsai 1.7B in the browser: a 290MB 1-bit LLM on WebGPU
programming15h |0 comments |huggingface.co
Building a web page that edits itself
programming16h |8 comments |patrickweaver.net
Ada, its design, and the language that built the languages
programming17h |181 comments |iqiipi.com
Bluesky has been dealing with a DDoS attack for nearly a full day
tech news17h |80 comments |theverge.com
A Git helper tool that breaks large merges into parallelizable tasks
programming18h |17 comments |github.com
Modern Common Lisp with FSet
programming18h |0 comments |fset.common-lisp.dev
FIM – Linux framebuffer image viewer
software18h |76 comments |nongnu.org
Reflections on 30 years of HPC programming
programming18h |106 comments |chapel-lang.org
Waterfall (2018)
programming18h |0 comments |beza1e1.tuxen.de
German Dog Commands
society19h |74 comments |fluentu.com
Show HN: Stage – Putting humans back in control of code review
programming20h |95 comments |stagereview.app
US Bill Mandates On-Device Age Verification
tech news20h |286 comments |reclaimthenet.org
A Python Interpreter Written in Python
programming21h |46 comments |aosabook.org
Opus 4.7 is horrible at writing
programming21h |11 comments |
Discourse Is Not Going Closed Source
open source22h |82 comments |blog.discourse.org
Python Package Compiler:Package Matlab Programs for Deployment as Python Package
programming22h |4 comments |mathworks.com
Kent Beck: Parkinson's
programming22h |4 comments |tidyfirst.substack.com
FSF trying to contact Google about spammer sending 10k+ mails from Gmail account
tech news22h |222 comments |daedal.io
GPT‑Rosalind for life sciences research
ai22h |27 comments |openai.com
Codex for almost everything
software22h |528 comments |openai.com
AI cybersecurity is not proof of work
ai22h |88 comments |antirez.com
Codex Hacked a Samsung TV
ai22h |119 comments |blog.calif.io
Moving a large-scale metrics pipeline from StatsD to OpenTelemetry / Prometheus
programming22h |20 comments |medium.com
Rust should have stable tail calls
programming22h |0 comments |trifectatech.org
Cordic – Coordinate rotation digital computer
programming22h |0 comments |en.wikipedia.org
Guy builds AI driven hardware hacker arm from duct tape, old cam and CNC machine
hardware22h |46 comments |github.com
European civil servants are being forced off WhatsApp
society22h |70 comments |politico.eu
Claude.md Scorer: paste your file, get rubric score and rewrites
programming23h |0 comments |claude-md-scorer.surge.sh
Sir-Bench – benchmark for security incident response agents
programming1d |2 comments |arxiv.org
CadQuery is an open-source Python library for building 3D CAD models
programming1d |59 comments |cadquery.github.io
Everything we like is a psyop?
music1d |237 comments |techcrunch.com
SFML 3.1 Is Released
programming1d |3 comments |github.com
Hospital at centre of child HIV outbreak caught reusing syringes in Pakistan
society1d |92 comments |bbc.com
Playdate’s handheld changed how Duke University teaches game design
tech news1d |113 comments |news.play.date
I Hate AI
ai1d |5 comments |
A better R programming experience thanks to Tree-sitter
programming1d |31 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 |94 comments |clojure.org
The "Passive Income" trap ate a generation of entrepreneurs
business1d |252 comments |joanwestenberg.com
The beginning of scarcity in AI
ai1d |212 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 |125 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 |93 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 |24 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 |200 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 |1404 comments |anthropic.com