fp.
news
Open in hackernews
Synthesizing Loop-Free Programs with Rust and Z3 (2020)
https://fitzgen.com/2020/01/13/synthesizing-loop-free-programs.html
7
•
karelpeeters
•
3d ago
iOS 27, iPadOS 27, and macOS 27
https://www.apple.com/newsroom/2026/09/major-updates-for-apples-software-platforms-are-now-availa...
554
•
throw0101d
•
13h ago
•
614 comments
Linux from Scratch
https://www.linuxfromscratch.org/
105
•
sippingabonedry
•
3h ago
•
36 comments
OpenArm: An open-source 7DOF humanoid arm
https://github.com/enactic/OpenArm
50
•
Lwrless
•
1d ago
•
11 comments
4,400-Year-Old Tomb of Egyptian Judge Found at Saqqara with Colors on Walls
https://arkeonews.net/4400-year-old-tomb-of-an-egyptian-judge-found-at-saqqara-with-colors-still-...
112
•
arunbahl
•
2d ago
•
26 comments
Pion, an agent designed to run any company autonomously
https://andonlabs.com/blog/why-we-built-pion
378
•
lukaspetersson
•
14h ago
•
433 comments
When code is a maze, smart developers make maps (2025)
https://medium.com/@simonsmartiom/when-code-is-a-maze-smart-developers-make-maps-fbc452a48c1b
19
•
boxesnlines
•
22h ago
•
21 comments
Lingo.dev (YC F24) is hiring a senior content engineer (Remote, worldwide)
https://lingo.dev/en/careers/ff88132a-cb79-4d35-a6a0-a6230de7a013
1
•
maxpr
•
33m ago
Charts built for Chat
https://dbtcharts.com/blog/charts-built-for-chat/
204
•
thingsilearned
•
10h ago
•
63 comments
XCancel service is suspended until further notice
https://xcancel.com/#
587
•
gaganyaan
•
21h ago
•
874 comments
Dropping eBPF CPU Cost by About 90% with Memoization (Not AI Gen)
https://nathannaveen.dev/posts/dropping-ebpf-cpu-cost-by-90/
94
•
nathannaveen
•
17h ago
•
25 comments
OpenAI bots knew about the RubyGems caching vulnerability
https://tenderlovemaking.com/2026/09/11/what-a-time-to-be-alive/
433
•
gregnavis
•
18h ago
•
345 comments
Distributed Systems Classics (2017)
https://nvartolomei.com/dist-sys-classics/
282
•
grep_it
•
15h ago
•
60 comments
A beginning for mathematics
https://www.daniellitt.com/blog/2026/9/13/a-beginning-for-mathematics/
203
•
robinhouston
•
16h ago
•
114 comments
Synthesizing Loop-Free Programs with Rust and Z3 (2020)
https://fitzgen.com/2020/01/13/synthesizing-loop-free-programs.html
7
•
karelpeeters
•
3d ago
•
0 comments
Show HN: Redis City – Explore how Redis works in an interactive 3D model
https://poltora.dev/redis
52
•
poltora
•
2d ago
•
7 comments
Compressing a flag to 11 bits
https://read.vantezzen.io/miniflags
122
•
bennett_dev
•
2d ago
•
52 comments
Show HN: Macros with a Behringer FCB1010 MIDI Pedalboard in macOS
https://github.com/JamesRyanATX/fcbnerd
56
•
fretlessjazz
•
8h ago
•
12 comments
Principles for Fast Tokio Applications
https://dial9-rs.github.io/blog/principles-for-fast-tokio-applications/
197
•
carllerche
•
16h ago
•
50 comments
Ask HN: What are you working on? (September 2026)
325
•
david927
•
1d ago
•
996 comments
Ubuntu 26.10 completes transition to Rust-based coreutils
https://www.omgubuntu.co.uk/2026/09/ubuntu-2610-rust-coreutils-complete
151
•
theanonymousone
•
17h ago
•
153 comments
People who can't picture anything are rewriting the science of imagination
https://dailyneuron.com/aphantasia-mental-imagery-brain-network/
150
•
giuliomagnifico
•
18h ago
•
217 comments
Steam Frame starts at $1059
https://store.steampowered.com/hardware/steamframe
637
•
bsimpson
•
14h ago
•
476 comments
Cloudflare AKE cuts origin HelloRetryRequests from 52% to 3.7%
https://blog.cloudflare.com/automatic-key-exchange-for-origins/
106
•
iamsyr
•
14h ago
•
29 comments
Backprop Alternative: Augmented Lagrangian Predictive Coding
https://pub.sakana.ai/pc-alm/
83
•
guld
•
13h ago
•
22 comments
Optimizing a Spin-Lock
https://david.alvarezrosa.com/posts/optimizing-a-spin-lock/
61
•
signa11
•
2d ago
•
29 comments
How my e-reader lost its stripes
https://www.serpentine.com/posts/2026/x3-stripes/
192
•
simonmic
•
15h ago
•
35 comments
Ex-FTC boss Khan: break out the handcuffs for AI CEOs, citing 1934 precedent
https://www.theregister.com/ai-and-ml/2026/09/14/ex-ftc-boss-khan-urges-uncle-sam-to-break-out-th...
151
•
throwworhtthrow
•
6h ago
•
78 comments
Dario, Please
https://pop.rdi.sh/dario-please/
468
•
0x5FC3
•
16h ago
•
226 comments
Why don't machine learning research agents overfit?
https://www.amazon.science/blog/why-dont-machine-learning-research-agents-overfit
124
•
Betelbuddy
•
15h ago
•
68 comments
The biggest dinosaurs couldn't sit on their eggs
https://www.cbc.ca/news/science/titanosaur-eggs-9.7336841
36
•
BiraIgnacio
•
1d ago
•
14 comments
Load More