frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Formally proving a calculation with Claude and Lean

https://www.johndcook.com/blog/2026/06/10/claude-and-lean/
3•ibobev•1h ago

Nextcloud Hub 26 Spring: Built together, designed for the future

https://nextcloud.com/blog/nextcloud-hub26-spring/
1•doener•1m ago•0 comments

Unknown Is Not False: An AI Agent Pre-Execution Checklist

https://discuss.huggingface.co/t/if-unsure-ask-never-guess-ai-agent-pre-execution-checklist/176632
1•offaxis•1m ago•0 comments

World Time, Date and Weather Resource

https://timeandcalendars.com:443/
1•FTU-Jose•1m ago•0 comments

Anguished Parents, Crying Doctors: Life Amid Utah's Measles Outbreak

https://www.wired.com/story/anguished-parents-crying-doctors-life-amid-utahs-measles-outbreak/
1•mooreds•2m ago•0 comments

Angels Landing trail in Zion National Park closed until further notice

https://www.sfgate.com/national-parks/article/angels-landing-zion-park-closed-22300369.php
1•mooreds•2m ago•0 comments

Control Planes Are Control Systems

https://byatt.io/posts/control-plane-as-control-system/
1•wmjbyatt•2m ago•0 comments

China prepares $295B plan to fund nationwide AI data center buildout

https://www.reuters.com/world/china/china-prepares-295-billion-plan-fund-nationwide-ai-buildout-b...
2•alephnerd•5m ago•0 comments

There Is(Ǝ) – Such That (∋)

https://www.fractalkitty.com/there-is-3-such-that/
1•evakhoury•6m ago•0 comments

PiLSMer: A data-free key-value store

https://norwood.github.io/PiLSMer/
1•gwen-shapira•6m ago•0 comments

The enterprise identity crisis: Who's Alice?

https://www.firezone.dev/blog/the-enterprise-identity-crisis-part-one
1•jamilbk•7m ago•0 comments

South Korea fines e-commerce giant Coupang $400M over data breach

https://www.bbc.com/news/articles/cvgj4rgz2n2o
2•ChrisArchitect•7m ago•1 comments

Show HN: Domain Rating – a leaderboard of startup website Domain Ratings

https://www.domain-rating.com
1•nocodeg•8m ago•0 comments

A gene regulates vertebrate growth, maturity, and lifespan

https://www.nature.com/articles/s41467-026-72381-0
1•wslh•8m ago•0 comments

The outsized impact of cultural idiosyncrasies

https://luke.hsiao.dev/blog/cultural-idiosyncrasies/
1•lwhsiao•8m ago•0 comments

AI and the Productivity Paradox

https://www.ft.com/content/b4b60d00-2e8c-4db0-b3ed-9988dc0eeb5c
2•1vuio0pswjnm7•9m ago•0 comments

Liebreich: The Great Clean Energy Acceleration 2.0 – BloombergNEF

https://about.bnef.com/insights/clean-energy/liebreich-the-great-clean-energy-acceleration-2-0/
1•xbmcuser•9m ago•0 comments

The $1M AWS Server [video]

https://www.youtube.com/shorts/tQ48PxXPd88
1•sunbirdLabs•9m ago•0 comments

Show HN: Brooks-Lint – AI code reviews grounded in 12 classic engineering books

https://github.com/hyhmrright/brooks-lint
1•hyhmrright•10m ago•0 comments

The 90-year-old idea behind JEPA models: Canonical Correlation Analysis

https://shonczinner.github.io/posts/embedding-prediction/
3•Anon84•11m ago•0 comments

Ask HN: Is anyone else seeing a Slack auth bug?

1•HoyaSaxa•11m ago•0 comments

Elon Musk Is About to Make Saving for Retirement Even Harder

https://prospect.org/2026/06/10/elon-musk-spacex-ipo-retirement-savings-index-funds-stock-market/
3•dxs•11m ago•0 comments

Explain AI: AI App Directory and Governance Platform

https://www.explain-ai.com
1•Gast•12m ago•0 comments

Euro-Office: First version of the open-source web office is here

https://www.heise.de/en/news/Euro-Office-First-version-of-the-open-source-web-office-is-here-1132...
2•doener•12m ago•1 comments

The Model Is No Longer the Bottleneck

https://www.k-dense.ai/blog/the-model-is-no-longer-the-bottleneck
2•gmays•12m ago•0 comments

The Impossible Shift

https://soon.works/the-impossible-shift
1•ma5ly•13m ago•0 comments

Show HN: A GPT-realtime-2 tool that navigates your site by voice

https://www.mascotlyai.com
1•travelingtice•13m ago•0 comments

MapComplete – Contibute to OpenStreetMaps

https://mapcomplete.org/
3•GTP•15m ago•0 comments

Helm AI Kernel, a fail-closed execution firewall for AI agents

https://github.com/Mindburn-Labs/helm-ai-kernel
2•mindburnlabs•15m ago•0 comments

Man sues Florida cops over arrest spurred by "93% match" in facial recognition

https://arstechnica.com/tech-policy/2026/06/man-jailed-due-to-faulty-face-recognition-says-florid...
8•Brajeshwar•16m ago•1 comments

Explosive Weapons Monitor 2025

https://explosiveweaponsmonitor.org/reports/9/explosive-weapons-monitor-2025/
1•lode•16m ago•0 comments