fp.
newest
Open in hackernews
We have proof automation now
https://www.imperialviolet.org/2026/07/26/zstd-lean.html
4
•
zdw
•
53m ago
Teaching Kids Forth – Anna Liberty
https://gracefulliberty.com/articles/teaching-kids-forth/
2
•
rbanffy
•
7m ago
•
0 comments
A Gang of Thieves Pulled Off a Multimillion-Dollar Data Center Heist
https://www.nytimes.com/2026/07/12/magazine/data-center-heist.html
1
•
The_Gray
•
8m ago
•
0 comments
Building a Moat: Self Learning Agents
https://twitter.com/ataiiam/status/2074501252268937703
1
•
gmays
•
8m ago
•
0 comments
Show HN: Amplified Futures – no-wave VCV Rack 2 modules
https://github.com/dboles99/amplified-futures-vcv
1
•
dboles99
•
9m ago
•
0 comments
YouTube Premium (Free) for iPhones (iOS)
https://github.com/aditauqir/fyp
1
•
skmpe
•
11m ago
•
1 comments
Duress Codes and How to Use Them (2024)
https://safeescape.org/duress-codes/
5
•
jethronethro
•
14m ago
•
0 comments
Show HN: Porting Super Hexagon to the Playdate
https://captnemo.in/superhexagon/
1
•
captn3m0
•
15m ago
•
0 comments
Science: A New Golden Age [pdf]
https://www.whitehouse.gov/wp-content/uploads/2026/07/Science-A-New-Golden-Age.pdf
1
•
Helithumper
•
15m ago
•
0 comments
Show HN: CostCompass – cost-of-living data from local scrapers, not crowdsourced
https://costcompass.net
1
•
FilipRaab
•
15m ago
•
0 comments
We're Thinking About Darkness All Wrong
https://www.harvardmagazine.com/science/harvard-night-dark-sky-light-pollution
1
•
ilamont
•
16m ago
•
0 comments
Mark Zuckerberg on Messenger (2013)
https://twitter.com/TechEmails/status/1528063312461582342
1
•
downbad_
•
18m ago
•
0 comments
Why we're building omics in Rust at St. Jude research hospital
https://claymcleod.dev/blog/2026-07-26-why-were-building-omics
3
•
azhenley
•
20m ago
•
0 comments
Unreached: Find code that exists in your repo and is never reached
https://github.com/siliroid/unreached
1
•
siliroid
•
23m ago
•
0 comments
UpWatch – uptime monitoring with a live public status page (free tier, no card)
https://upwatch.online/
1
•
snookiebaby
•
25m ago
•
0 comments
Show HN: Dub Any Podcast in Your Language Using Local Models
https://github.com/cezarc1/podcast_dub
1
•
ggamecrazy
•
26m ago
•
0 comments
Ask HN: How do you figure out what you're passionate about?
1
•
charliebwrites
•
26m ago
•
3 comments
Girl's death in China reveals human cost of unregulated science
https://www.thehindu.com/sci-tech/health/girls-death-in-china-reveals-human-cost-of-unregulated-s...
2
•
thisislife2
•
29m ago
•
0 comments
In the Age of AI, the Analog Restaurant Feels Radical
https://www.eater.com/trends/975087/restaurants-lean-into-bespoke-handmade-elements-during-ai-fly...
1
•
cdrnsf
•
32m ago
•
0 comments
What counts as cooking? In defense of the store-bought sauce
https://iza.ac/posts/2026/06/what-counts-as-cooking/
2
•
infinitewalk
•
34m ago
•
1 comments
Charles Gaines, author of "Pumping Iron," dies at 84
https://www.washingtonpost.com/obituaries/2026/07/25/literary-outdoorsman-he-helped-popularize-bo...
1
•
bookofjoe
•
34m ago
•
2 comments
Show HN: LX Coreutils – pipeable tools enhanced by small local / cheap LLM calls
https://github.com/BrunkenClaas/lx
1
•
BrunkenClaas
•
37m ago
•
1 comments
D'Ieteren, the 221-year-old company that reinvented itself 4 times
https://bigthink.com/the-long-game/the-221-year-old-company-that-reinvented-itself-4-times/
2
•
cainxinth
•
38m ago
•
0 comments
I Customize KDE Plasma
https://streanga.com/blog/how-i-customize-kde-plasma/
2
•
preg_match
•
44m ago
•
0 comments
More on an Internal OpenAI Model Hacking into HuggingFace
https://thezvi.substack.com/p/more-on-an-internal-openai-model
3
•
theptip
•
46m ago
•
0 comments
Show HN: Maginary.ai gets seedance2 and GPT-images2 support
https://twitter.com/xucian_/status/2081469757300359289
1
•
xucian
•
50m ago
•
0 comments
Show HN: MTLS with keys never leaving the TPM
https://github.com/bschaatsbergen/go-tpm-tls
2
•
alexpadula
•
50m ago
•
1 comments
Anthropic versus the entire tech industry
https://twitter.com/DavidSacks/status/2081470576653406328
4
•
delichon
•
52m ago
•
0 comments
We have proof automation now
https://www.imperialviolet.org/2026/07/26/zstd-lean.html
4
•
zdw
•
53m ago
•
0 comments
Show_HN: ~bhyvxe/hypermpd – hypermpd emerges with competitive features vs. MPD
https://git.sr.ht/~bhyvxe/hypermpd
2
•
icmpkitty
•
53m ago
•
0 comments
Multiway Turing Machines (2021 pre-ai)
https://bulletins.wolframphysics.org/2021/02/multiway-turing-machines/
8
•
marysminefnuf
•
56m ago
•
1 comments
Load More