fp.
news
Open in hackernews
HOL Light Tutorial
https://hol-light.github.io/tutorial/HTML/tutorial.html
6
•
stmonty
•
3d ago
Comments
brettermeier
•
45m ago
Black font on dark gray background is a great choice for webdesign.
Linux 7.3 Released
https://lwn.net/Articles/1101143/
221
•
cjd8
•
3h ago
•
100 comments
Hybrid Reasoning Agents: LLM agents that think in latent space, act through text
https://arxiv.org/abs/2610.18861
404
•
allinonai
•
14h ago
•
196 comments
How to Train Your Robot
https://www.construction-physics.com/p/how-to-train-your-robot
44
•
crescit_eundo
•
3d ago
•
14 comments
William Gibson and the trademarking of cyberspace
https://colo.to/cyberspace.html
191
•
Eric_Gullichsen
•
11h ago
•
73 comments
Rabbits were a medieval royal luxury in England until the Black Death
https://phys.org/news/2026-10-rabbits-medieval-royal-luxury-england.html
91
•
samizdis
•
1d ago
•
84 comments
There's never been a better time to go into math (by: 3blue1brown) [video]
https://www.youtube.com/watch?v=LKrwhjOI8Nc
385
•
mdp2021
•
1d ago
•
462 comments
Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling
https://crystl.dev/guides/tmux-for-ai-agents/
38
•
ankitg12
•
4h ago
•
21 comments
If you don't run your own LLM proxy, how do you know whats going on?
https://jrdsgl.com/if-you-dont-run-your-own-llm-proxy-how-the-fuck-do-you-even-know-whats-going-on/
179
•
amrrs
•
13h ago
•
123 comments
Someone behind the software
https://karrisaarinen.com/posts/someone-behind-the-software/
453
•
tosh
•
18h ago
•
167 comments
Laptop Based on 6502 CPU
https://www.maddox.pro/?p=448
136
•
nanochess
•
3d ago
•
60 comments
Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky
https://www.sciencealert.com/dogs-seem-to-agree-with-humans-that-bouba-is-round-and-kiki-is-spiky
250
•
gmays
•
1d ago
•
148 comments
RepRapMicron
https://github.com/VikOlliver/RepRapMicron/wiki
397
•
RobotToaster
•
21h ago
•
64 comments
The DNS Museum
https://dns.museum
82
•
zdw
•
2d ago
•
10 comments
Superlite: A Faster Alternatie to Superpowers
https://contextfirst.blog/superlite-hand-an-agent-a-spec/
98
•
iheatuchriswogu
•
8h ago
•
39 comments
HOL Light Tutorial
https://hol-light.github.io/tutorial/HTML/tutorial.html
6
•
stmonty
•
3d ago
•
1 comments
Show HN: Ranet3 – High performance policy routed IPsec mesh SD-WAN
https://ranet3.com/
28
•
StepBroBD
•
20h ago
•
6 comments
Free Pascal compiler now supports dynamic packages
https://www.getlazarus.org/dynamic/
166
•
sysrpl
•
16h ago
•
38 comments
How Quickly Can the DoD Rebuild and Recast the Munitions Industrial Base?
https://www.csis.org/analysis/how-quickly-can-dod-rebuild-and-recast-munitions-industrial-base
68
•
gmays
•
11h ago
•
78 comments
Show HN: WhatsApp MCP running free on Cloudflare
https://github.com/finereli/whatsapp-mcp
113
•
zoozla
•
13h ago
•
59 comments
Lant – The Forgotten Resource
https://sites.udel.edu/materialmatters/2018/04/11/lant-the-forgotten-resource/
11
•
kreyenborgi
•
3d ago
•
2 comments
I built a programming language that LLMs can't use
https://blog.picheta.me/post/killswitch-lang/
200
•
dom96
•
1d ago
•
159 comments
PalmOS Lemmings
https://github.com/ardiri/palmos-lemmings
131
•
memalign
•
16h ago
•
32 comments
A new way to think about borrow checking (in reverse)
https://verdagon.dev/blog/reverse-borrow-checking
90
•
verdagon
•
22h ago
•
8 comments
How Postgres DELETE can actually scale
https://www.dbos.dev/blog/scaling-deletions-in-postgres
20
•
KraftyOne
•
3d ago
•
5 comments
Java sealed classes and exhaustive pattern matching
https://neilmadden.blog/2026/04/24/java-sealed-classes-and-exhaustive-pattern-matching/
174
•
hnisjafx40
•
20h ago
•
135 comments
One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux
https://quentinkaiser.be/security/2026/10/16/one-parser-two-bugs/
85
•
zoobab
•
2d ago
•
20 comments
Flatpak – An Insecurity Nightmare
https://oro.gay/posts/flatpak-an-insecurity-nightmare/
51
•
jannesan
•
5h ago
•
42 comments
DeepSeek V4.1 Flash 1017 (Max)
https://artificialanalysis.ai/models/deepseek-v4-1-flash-1017
152
•
theanonymousone
•
6h ago
•
54 comments
Open MicroManipulator – A sub-micrometer 3D motion control plattform
https://github.com/0x23/MicroManipulatorStepper
203
•
_Microft
•
23h ago
•
16 comments
macOS 15.8.2 Breaks OpenGL
https://developer.apple.com/forums/verify-human/verify.html?next=/forums/thread/850550
269
•
Audiophilip
•
19h ago
•
299 comments
Load More
brettermeier•45m ago