fp.
newest
Open in hackernews
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes
https://github.com/TiruArt/Pedigree-Polytopes-Lean4
3
•
carlsverre
•
39m ago
Comments
carlsverre
•
34m ago
Mostly posting for entertainment. The issues on the project are fun:
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
notunhackable
•
33m ago
nope, looks like a little bit of AI slop to me
Apples to Apples: MLX vs. Llama.cpp for Gemma 4 12B on an M1 16GB
https://ziraph.com/blog/apples-to-apples-mlx-vs-llama-cpp-gemma-4
1
•
ABS
•
2m ago
•
0 comments
A Job Market Leaving Young Graduates Behind Could Scar Them for Years
https://www.nytimes.com/2026/06/05/business/college-graduates-job-market.html
1
•
mooreds
•
2m ago
•
0 comments
Show HN: VSCode Extension for .env
https://marketplace.visualstudio.com/items?itemName=Chrilleweb.dotenv-diff
1
•
chrillemn
•
2m ago
•
0 comments
Anthony Head, Buffy the Vampire Slayer and Ted Lasso actor, dies aged 72
https://www.theguardian.com/tv-and-radio/2026/jun/05/anthony-head-death-buffy-the-vampire-slayer
1
•
ohjeez
•
3m ago
•
0 comments
Anthropic urges AI development 'pause' and conversation about risks
https://www.theguardian.com/technology/2026/jun/05/anthropic-urges-temporary-pause-on-ai-developm...
1
•
uxhacker
•
3m ago
•
0 comments
Show HN: Amanuensis – a local-first AI persona that won't fabricate facts
https://github.com/msalsas/amanuensis
1
•
msalsas
•
4m ago
•
0 comments
Launch HN: General Instinct (YC P26) – Frontier models on edge devices
2
•
guanming0717
•
5m ago
•
0 comments
The company I work for is losing all of its humanity, I don't know where to go
https://superlemon.bearblog.dev/the-company-i-work-for-is-losing-all-of-its-humanity-but-i-dont-k...
1
•
speckx
•
6m ago
•
0 comments
Don't Dethrone Consciousness
https://www.theintrinsicperspective.com/p/dont-dethrone-consciousness
1
•
jbotz
•
8m ago
•
0 comments
Bullets don't shoot people. So why do cars 'kill' cyclists?
https://roadragers.netlify.app/
1
•
raybb
•
8m ago
•
0 comments
Ask HN: How do you stay up to date without information overload?
1
•
bohdanstefaniuk
•
9m ago
•
0 comments
LLM Serving and the Bus That Never Stops
https://joker666.github.io/blog/2026-06-02-llm-serving-in-flight-batching
1
•
joker666
•
11m ago
•
0 comments
Designing with Mustard
https://annaecook.com/writing/2026/designing-with-mustard
1
•
speckx
•
14m ago
•
0 comments
'Buy Canadian' in defence software is hollow without teeth
https://vantechjournal.com/p/buy-canadian-in-defence-software-is-hollow-without-teeth
1
•
ClearwayLaw
•
16m ago
•
1 comments
Android development is now Compose First
https://skip.dev/blog/compose-first/
1
•
marcprux
•
16m ago
•
0 comments
For Renovation Contractors and DIYers
https://renosheets.com/
1
•
LGMTL
•
18m ago
•
1 comments
Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency
https://blog.google/innovation-and-ai/technology/developers-tools/quantization-aware-training-gem...
2
•
theanonymousone
•
20m ago
•
0 comments
Show HN: Solectio – design, compare and share rooftop solar configurations
https://solectio.ottimai.com/
1
•
leomos
•
21m ago
•
0 comments
Let's celebrate work that is 100% human-made
https://www.human-made.work/
1
•
supryan
•
21m ago
•
0 comments
The Self-Tracking Trap: When More Health Data Creates More Anxiety
https://www.businessinsider.com/wellness-tracking-apps-sleep-score-stress-hurting-health-2026-6
1
•
sahar_builds
•
22m ago
•
0 comments
Mapped all 10 types against weaknesses in Pokémon TCG Pocket (interactive grid)
https://pocketcards.net/matchups
1
•
bat0x01
•
22m ago
•
0 comments
Y Combinator's CEO says he ships 37,000 lines of AI code per day
https://www.fastcompany.com/91520702/y-combinator-garry-tan-agentic-ai-social-media
3
•
claudiacsf
•
23m ago
•
1 comments
Ask HN: Are orbital data centers possible / a good idea?
3
•
aronowb14
•
25m ago
•
4 comments
Jolt: Clojure Interpreter on Janet
https://github.com/yogthos/jolt/
13
•
veqq
•
29m ago
•
0 comments
Show HN: A Simplistic UI for Rich Hickey's Design in Practice
https://github.com/bmillare/design_in_practice_ui
2
•
bmillare
•
29m ago
•
1 comments
Show HN: DSA Trainer, LeetCode practice with a hint ladder instead of spoilers
https://dsatrainer.com/
1
•
dsatrainer
•
29m ago
•
0 comments
U.S. Military Turned GPS into a Global "Numbers Station"
https://www.404media.co/the-u-s-military-quietly-turned-gps-into-a-global-numbers-station-evidenc...
16
•
awkwardpotato
•
32m ago
•
1 comments
Vibe Justice System – AI Courts convened in pursuit of correctness
https://github.com/wlilley93/vibe-justice-system
2
•
wlilley93
•
32m ago
•
0 comments
Alien hunters update guidance on sharing news of possible intelligent life
https://www.theguardian.com/science/2026/jun/05/alien-hunters-seti-guidance-signals-intelligent-life
3
•
root-parent
•
33m ago
•
0 comments
10k Lines Later: When a Tool Became a Compiler [video]
https://www.youtube.com/watch?v=wVQLEAHrwrI
4
•
robspairpears
•
33m ago
•
0 comments
Load More
carlsverre•34m ago