frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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