fp.
newest
Open in hackernews
Formal Methods Only Solve Half My Problems
https://brooker.co.za/blog/2022/06/02/formal.html
4
•
signa11
•
8h ago
Janderland/fenv: FoundationDB development environment
https://github.com/janderland/fenv
1
•
surprisetalk
•
28s ago
•
0 comments
Show HN: Turn raw screen recording into precise guide with annotated screenshots
1
•
docuagent
•
1m ago
•
0 comments
Inside Elon Musk's Optimus Robot Project
https://www.wsj.com/tech/elon-musk-optimus-robots-7196d53e
1
•
fortran77
•
2m ago
•
1 comments
Researchers spot Saturn-sized planet in the "Einstein desert"
https://arstechnica.com/science/2026/01/researchers-spot-saturn-sized-planet-in-the-einstein-desert/
1
•
Brajeshwar
•
7m ago
•
0 comments
Bacteria reveal second 'shutdown mode' for surviving antibiotic treatment
https://phys.org/news/2026-01-bacteria-reveal-shutdown-mode-surviving.html
1
•
Brajeshwar
•
7m ago
•
0 comments
First breathing 'lung-on-chip' developed using genetically identical cells
https://medicalxpress.com/news/2025-12-lung-chip-genetically-identical-cells.html
1
•
Brajeshwar
•
7m ago
•
0 comments
Show HN: Moonfall
https://moonfall.layogtima.com/
1
•
Layogtima
•
10m ago
•
0 comments
Why Haven't Trump's Tariffs Had a Bigger Impact?
https://www.nytimes.com/2026/01/03/business/economy/trump-tariffs-prices-impact.html
1
•
duxup
•
10m ago
•
1 comments
Lumina: A professional, lightweight Chrome extension for web highlighting
https://github.com/gezilinll/Lumina
1
•
gezilinll
•
12m ago
•
0 comments
Show HN: Qbitwebui – Modern web UI for managing multiple qBittorrent instances
https://github.com/Maciejonos/qbitwebui
1
•
maciejonos
•
13m ago
•
0 comments
Reflections on 2025
https://samuelalbanie.substack.com/p/reflections-on-2025
1
•
bdr
•
14m ago
•
0 comments
Show HN: MouseKeys – Control your mouse with your keyboard (macOS)
https://kidandcat.github.io/mousekeys/
1
•
kidandcat
•
16m ago
•
0 comments
Thompson tells how he developed the Go language at Google [video]
https://www.youtube.com/watch?v=NTrAISNdf70
3
•
howToTestFE
•
16m ago
•
0 comments
Guarding Against Physical Attacks: The Xbox One Story (2019)
https://www.platformsecuritysummit.com/2019/speaker/chen/
1
•
michaelt
•
17m ago
•
0 comments
Built a tool so marketing can A/B test social previews
https://renderog.com
1
•
benrobo
•
17m ago
•
1 comments
Technical Debt Through the Lens of a Regional Japanese Banker
1
•
578_Observer
•
18m ago
•
1 comments
Show HN: A daily 2-minute civic question revealing consensus and divides
https://societyspeaks.io/
1
•
zuluwill
•
20m ago
•
0 comments
Show HN: Todotree – visualize TODOs as a dependency tree
https://github.com/daimh/todotree
1
•
daimh
•
20m ago
•
0 comments
Show HN: CCC – Control Claude Code Sessions Remotely via Telegram
https://github.com/kidandcat/ccc
1
•
kidandcat
•
21m ago
•
0 comments
S Korea Is the Only Country That Maintains a Healthy Population of This Animal
https://uofhorang.com/south-korea-is-the-only-country-that-maintains-a-healthy-population-of-this...
1
•
thunderbong
•
22m ago
•
0 comments
Stoolap v0.2.0 outperformed SQLite in most of complex queries
https://github.com/stoolap/stoolap/releases/tag/v0.2.0
1
•
murat3ok
•
22m ago
•
0 comments
Real-Time Rendering with JPEG-Compressed Textures
https://github.com/elias1518693/jpeg_textures
1
•
PaulHoule
•
24m ago
•
0 comments
Why do FREE openrouter models cost 2c a go?
1
•
lygten
•
25m ago
•
0 comments
"The 'pillars' of OOP have little to do with the original vision of Alan Kay"
https://www.thecodedmessage.com/posts/oop-1-encapsulation/
1
•
zahrevsky
•
26m ago
•
0 comments
One's a Democrat and the other's a Republican – and they're twins
https://www.cnn.com/2026/01/03/us/twin-brothers-democrat-republican-indiana
1
•
Tomte
•
30m ago
•
1 comments
Steve Jobs, Atari Employee Number 40 (2011)
https://www.gamedeveloper.com/business/steve-jobs-atari-employee-number-40
3
•
rafaepta
•
35m ago
•
0 comments
Rust Is Beyond Object-Oriented, Part 3: Inheritance
https://www.thecodedmessage.com/posts/oop-3-inheritance/
1
•
zahrevsky
•
35m ago
•
1 comments
Nothing Too Here
https://number-garden-alive.netlify.app/?104155766279365
1
•
cpuXguy
•
39m ago
•
1 comments
Ask HN: How can a full-stack generalist generate cashflow in the next few weeks?
2
•
shuiguoqu
•
41m ago
•
0 comments
Show HN: An offline, free and ad-free Bible app with study tools
https://apps.apple.com/il/app/thy-word/id6755894999
2
•
johnjames87
•
42m ago
•
0 comments
Load More