frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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