newest
Open in hackernews
Why are LLMs not better at finding proofs?
https://www.youtube.com/watch?v=5D3x_Ygv3No
1
•
agnosticmantis
•
1d ago
The sublime minimalism of Stanley brouwn
https://rishabhegde.substack.com/p/on-the-sublime-minimalism-of-stanley
1
•
vertoc
•
2m ago
•
0 comments
Show HN: Interactive code snippets for server tech
https://tech-playground.com/docs/embedding/
1
•
mkamner
•
4m ago
•
0 comments
Euro Banknote Bridges
https://www.atlasobscura.com/places/euro-banknote-bridges
1
•
mooreds
•
5m ago
•
0 comments
What do you think about synthetic users for user testing?
1
•
bornslipppy
•
5m ago
•
0 comments
200-year-old condom with explicit print displayed in Amsterdam
https://www.bbc.co.uk/news/articles/c1de271qg4yo
1
•
mmarian
•
6m ago
•
0 comments
Ukraine's Attack Exposed America's Achilles' Heel
https://www.nytimes.com/2025/06/04/opinion/ukraine-attack-russia-us.html
2
•
mooreds
•
6m ago
•
0 comments
Ask HN: Dealing with Vibe Coding Depression?
2
•
softirq
•
9m ago
•
1 comments
The Constipation of Culture: Why Nothing New Gets Thru and Nothing Old Goes Away
https://mikecormack.substack.com/p/the-constipation-of-culture-why-nothing
1
•
miles
•
9m ago
•
0 comments
All About Frogs
https://allaboutfrogs.org/froglnd.shtml
1
•
veqq
•
10m ago
•
0 comments
Show HN: Smart Palette – Reimagining AI Art
https://www.smartpalette.io/
1
•
nick_stam
•
12m ago
•
0 comments
Redesigned Swift.org is now live
https://swift.org/
2
•
lawgimenez
•
14m ago
•
0 comments
China launches first grid-forming sodium-ion battery storage plant
https://www.pv-magazine.com/2025/06/03/china-launches-worlds-first-grid-forming-sodium-ion-battery-storage-plant/
4
•
toomuchtodo
•
14m ago
•
1 comments
Microsoft's LinkedIn chief is now running Office as part of an AI reorg
https://www.theverge.com/microsoft/679753/microsoft-linkedin-chief-office-ai-reorg
1
•
phren0logy
•
15m ago
•
2 comments
The Permission Pitfall: Securing MCP Servers Without Limiting Value
https://www.joinformal.com/blog/the-permission-pitfall-securing-mcp-servers-without-limiting-value/
1
•
pyoo
•
15m ago
•
1 comments
Better Java Builds with the Mill Build Tool [video]
https://www.youtube.com/watch?v=3NllMpXMBT8
1
•
lihaoyi
•
16m ago
•
0 comments
AI web scrapers: a data point
https://blog.zarfhome.com/2025/06/ai-web-scrapers
1
•
tobr
•
19m ago
•
0 comments
Geometry Distributions
https://1zb.github.io/GeomDist/
1
•
georgehill
•
20m ago
•
0 comments
Largest hydrogen plant in North America slated for California
https://pv-magazine-usa.com/2025/06/03/largest-hydrogen-plant-in-north-america-slated-for-california/
2
•
philipkglass
•
20m ago
•
0 comments
smallweb: a personal cloud contained in a single directory
https://github.com/pomdtr/smallweb
1
•
indigodaddy
•
22m ago
•
0 comments
US immigration officers ordered to arrest more people even without warrants
https://www.theguardian.com/us-news/2025/jun/04/immigration-officials-increased-detentions-collateral-arrests
3
•
microsoftedging
•
25m ago
•
1 comments
Are wind power generators viable at home?
https://www.zdnet.com/home-and-office/energy/are-wind-power-generators-actually-viable-at-home-my-buying-advice-after-months-of-testing/
1
•
LAsteNERD
•
25m ago
•
0 comments
Switzerland Drifts Toward a Surveillance State Due to New Controversial Laws
https://news.itsfoss.com/swiss-privacy-bill-controversy/
4
•
miles
•
30m ago
•
0 comments
Guide: Integrating Okta SAML SSO with Next.js (Passport and API Routes)
https://ssojet.com/blog/integrating-okta-saml-sso-with-your-next-js-application/
1
•
andy89
•
31m ago
•
1 comments
Lawsuit: Doge, HHS used "hopelessly error-ridden" data to fire 10k workers
https://arstechnica.com/tech-policy/2025/06/lawsuit-doge-hhs-used-hopelessly-error-ridden-data-to-fire-10000-workers/
2
•
duxup
•
31m ago
•
1 comments
Using AI to Debug Your Programs with Undo
https://undo.io/resources/using-ai-debug-programs-with-undo/
3
•
mark_undoio
•
35m ago
•
0 comments
Curtis Yarvin's Plot Against America
https://www.newyorker.com/magazine/2025/06/09/curtis-yarvin-profile
82
•
bitsavers
•
36m ago
•
48 comments
Recording Links: The Nitty Gritty Details Behind Today's Launch
https://jam.dev/blog/just-launched-recording-links-magic-links-for-bug-reports/
1
•
anulman
•
37m ago
•
0 comments
Agent Village
https://theaidigest.org/village
1
•
85392_school
•
39m ago
•
0 comments
Logs in Sentry: Now in Open Beta
https://blog.sentry.io/logs-in-sentry-open-beta/
2
•
tosh
•
39m ago
•
0 comments
Trump's war on Harvard is destroying an American strength [video]
https://www.cnn.com/2025/06/01/politics/video/gps0601-trump-harvard-war-universities
3
•
breadwinner
•
40m ago
•
0 comments