fp.
news
Open in hackernews
Broken Proofs and Broken Provers
https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html
13
•
RebelPotato
•
4h ago
I miss thinking hard
https://www.jernesto.com/articles/thinking_hard
812
•
jernestomg
•
9h ago
•
472 comments
Data centers in space makes no sense
https://civai.org/blog/space-data-centers
773
•
ajyoon
•
17h ago
•
871 comments
Brazilian Micro-SaaS Map
https://saas-map.ssr.trapiche.cloud/
34
•
acfilho
•
3d ago
•
1 comments
Lessons learned shipping 500 units of my first hardware product
https://www.simonberens.com/p/lessons-learned-shipping-500-units
666
•
sberens
•
2d ago
•
305 comments
Show HN: Ghidra MCP Server – 110 tools for AI-assisted reverse engineering
https://github.com/bethington/ghidra-mcp
128
•
xerzes
•
6h ago
•
37 comments
Show HN: Craftplan – I built my wife a production management tool for her bakery
https://github.com/puemos/craftplan
409
•
deofoo
•
2d ago
•
110 comments
New York’s budget bill would require “blocking technology” on all 3D printers
https://blog.adafruit.com/2026/02/03/new-york-wants-to-ctrlaltdelete-your-3d-printer/
506
•
ptorrone
•
21h ago
•
561 comments
The Mathematics of Tuning Systems
https://math.ucr.edu/home/baez/tuning_talk/
44
•
u1hcw9nx
•
4d ago
•
9 comments
Deno Sandbox
https://deno.com/blog/introducing-deno-sandbox
472
•
johnspurlock
•
20h ago
•
150 comments
Agent Skills
https://agentskills.io/home
484
•
mooreds
•
23h ago
•
236 comments
High-Altitude Adventure with a DIY Pico Balloon
https://spectrum.ieee.org/explore-stratosphere-diy-pico-balloon
49
•
jnord
•
3d ago
•
16 comments
The fax numbers of the beast, and other mathematical sports
https://cabinetmagazine.org/issues/57/wertheim.php
3
•
marysminefnuf
•
1d ago
•
0 comments
Xcode 26.3 – Developers can leverage coding agents directly in Xcode
https://www.apple.com/newsroom/2026/02/xcode-26-point-3-unlocks-the-power-of-agentic-coding/
331
•
davidbarker
•
19h ago
•
286 comments
Goblins: Distributed, Transactional Programming with Racket and Guile
https://spritely.institute/goblins/
68
•
alhazrod
•
4d ago
•
3 comments
AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines
https://github.com/alibaba/AliSQL
239
•
baotiao
•
18h ago
•
35 comments
X offices raided in France as UK opens fresh investigation into Grok
https://www.bbc.com/news/articles/ce3ex92557jo
439
•
vikaveri
•
1d ago
•
873 comments
221 Cannon is Not For Sale
https://fredbenenson.com/blog/2026/02/03/221-cannon-is-not-for-sale/
273
•
mecredis
•
20h ago
•
198 comments
Reimplementing Tor from Scratch for a Single-Hop Proxy
https://foxmoss.com/blog/kurrat/
54
•
Agreed3750
•
3d ago
•
10 comments
Broken Proofs and Broken Provers
https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html
13
•
RebelPotato
•
4h ago
•
0 comments
I prefer to pass secrets between programs through standard input
https://utcc.utoronto.ca/~cks/space/blog/programming/PassingSecretsViaStdin
13
•
ingve
•
35m ago
•
0 comments
Prek: A better, faster, drop-in pre-commit replacement, engineered in Rust
https://github.com/j178/prek
261
•
fortuitous-frog
•
21h ago
•
110 comments
Exploring Different Keyboard Sensing Technologies
https://www.lttlabs.com/articles/2026/01/27/exploring-different-keyboard-sensing-technologies
39
•
viraptor
•
1w ago
•
22 comments
Resurrecting Crimsonland – Decompiling and preserving a cult 2003 classic game
https://banteg.xyz/posts/crimsonland/
140
•
banteg
•
3d ago
•
37 comments
How watercolor brushes are made (2015)
https://www.handprint.com/HP/WCL/brush1.html
41
•
YeGoblynQueenne
•
6d ago
•
4 comments
Bunny Database
https://bunny.net/blog/meet-bunny-database-the-sql-service-that-just-works/
307
•
dabinat
•
1d ago
•
126 comments
France dumps Zoom and Teams as Europe seeks digital autonomy from the US
https://apnews.com/article/europe-digital-sovereignty-big-tech-9f5388b68a0648514cebc8d92f682060
1049
•
AareyBaba
•
20h ago
•
534 comments
Qwen3-Coder-Next
https://qwen.ai/blog?id=qwen3-coder-next
684
•
danielhanchen
•
21h ago
•
396 comments
1,400-year-old tomb featuring giant owl sculpture discovered in Mexico
https://www.cnn.com/2026/01/29/science/zapotec-tomb-mexico-scli-intl
116
•
breve
•
5d ago
•
30 comments
FlashAttention-T: Towards Tensorized Attention
https://dl.acm.org/doi/10.1145/3774934.3786425
102
•
matt_d
•
16h ago
•
56 comments
Y Combinator will let founders receive funds in stablecoins
https://fortune.com/2026/02/03/famed-startup-incubator-y-combinator-to-let-founders-receive-funds...
134
•
shscs911
•
19h ago
•
243 comments
Load More