frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean

https://kirancodes.me/posts/log-how-to-prove-it-maths.html
2•gopiandcode•11h ago

"Everyone is cheating through college" with GenAI. Who should bear the costs?

https://garymarcus.substack.com/p/everyone-is-cheating-their-way-through
1•isaacaggrey•53s ago•0 comments

AI use damages professional reputation, study suggests

https://arstechnica.com/ai/2025/05/ai-use-damages-professional-reputation-study-suggests/
2•gpi•56s ago•0 comments

Deep dive into the challenges of building Kafka on top of S3

https://vutr.substack.com/p/deep-dive-into-the-challenges-of
1•carefulfungi•7m ago•0 comments

Show HN: The Average color of Earth based on 20 years of satellite data

https://landshade.com/ISO/GLOBAL/
1•jcattle•7m ago•0 comments

JavaScript setTimeout can run code from a string

https://developer.mozilla.org/en-US/docs/Web/API/Window/setTimeout
1•ekiauhce•7m ago•0 comments

HN is purely tech? But tech is now political. How to discuss?

4•FrustratedMonky•9m ago•0 comments

Our best AI agent to date, Teknium1 is a success

https://twitter.com/karan4d/status/1920661296820765070
1•tosh•10m ago•0 comments

VMware perpetual license holders receive cease-and-desist letters from Broadcom

https://arstechnica.com/gadgets/2025/05/broadcom-sends-cease-and-desist-letters-to-subscription-less-vmware-users/
2•croes•11m ago•0 comments

Show HN: I automated most of my typing!

https://github.com/snipt/snipt
1•bohemianjock•12m ago•0 comments

What to do about the decline of the humanities

https://www.commonreader.co.uk/p/what-to-do-about-the-decline-of-the
1•jger15•12m ago•0 comments

"The American River Ganges" – Thomas Nast: Prince of Caricaturists

https://library.osu.edu/site/thomasnast/the-american-river-ganges/
1•indogooner•14m ago•0 comments

Apple: "millions to billions" lost without App Store commissions

https://arstechnica.com/tech-policy/2025/05/apple-motion-says-external-payments-fundamentally-change-its-app-store/
3•LorenDB•23m ago•0 comments

Shanghai Lets Riders Design Their Own Routes

https://www.sixthtone.com/news/1017072
1•sohkamyung•24m ago•0 comments

Nine Emerging Developer Patterns for the AI Era

https://a16z.com/nine-emerging-developer-patterns-for-the-ai-era/
1•arizen•24m ago•0 comments

A conversation with Jonny Ive [video]

https://www.youtube.com/watch?v=wLb9g_8r-mE
1•bko•24m ago•0 comments

Beyond Agentic AI

https://medium.com/@sgt101/beyond-agentic-ai-three-ways-forward-662b5c9cf99d
1•sgt101•25m ago•0 comments

NSF faces shake-up as officials abolish its 37 divisions

https://www.science.org/content/article/exclusive-nsf-faces-radical-shake-officials-abolish-its-37-divisions
2•magicalist•27m ago•0 comments

Python 3.14.0b1

https://www.python.org/downloads/release/python-3140b1/
1•gjvc•28m ago•1 comments

Ask HN: How could vibe coding show the code at a high level to non-programmers?

4•amichail•30m ago•1 comments

'Hollowing out': NZ grapples with an uncertain future as record numbers leave

https://www.theguardian.com/world/2025/may/09/leaving-new-zealand-record-departure-numbers
3•prmph•30m ago•0 comments

Microsoft wants us to believe AI will crack practical fusion, driving future AI

https://www.theregister.com/2025/05/09/microsoft_ai_fusion/
3•rntn•30m ago•0 comments

I trained a Language Model to schedule events with GRPO

https://huggingface.co/blog/anakin87/qwen-scheduler-grpo
1•anakin87•33m ago•1 comments

MotionGlot: A Multi-Embodied Motion Generation Model

https://arxiv.org/abs/2410.16623
1•programd•39m ago•0 comments

Netflix is removing Black Mirror: Bandersnatch

https://www.theverge.com/news/663933/netflix-black-mirror-bandersnatch-kimmy-schmidt-removal
2•Wowfunhappy•39m ago•0 comments

Apple is planning smart glasses with and without AR

https://www.theverge.com/news/663600/apple-smart-glasses-chips-ar-chip
5•matthewsinclair•43m ago•1 comments

Video Game Hall of Fame Inducts Defender, Tamagotchi, GoldenEye and Quake

https://www.museumofplay.org/exhibits/world-video-game-hall-of-fame/inducted-games/
3•geox•45m ago•1 comments

JSAR: A brand-new browser engine for Metaverse

https://github.com/M-CreativeLab/jsar-runtime
1•yorkie•55m ago•0 comments

How to Become a Learning Machine: 24 Learning Tips to Make You a Better Learner

https://medium.com/@RealDiegoVera/how-to-become-a-learning-machine-in-2025-24-learning-tips-from-2024-468de5c8beb5
3•DiegoVera•55m ago•0 comments

Sipeed NanoCluster Compact and Affordable Cluster for Everyone

https://sipeed.com/nanocluster
1•rbanffy•57m ago•0 comments

Algorithmic approach to shaping decision-making through attraction to patterns

https://www.nature.com/articles/s41467-025-59131-4
1•bookofjoe•58m ago•0 comments