frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Programming in Martin-Lof's type theory: an introduction. (1990)

https://www.cse.chalmers.se/research/group/logic/book/
2•fanf2•2h ago

Show HN: Python Simulator of David Deutsch’s "Constructor Theory of Time"

https://github.com/gvelesandro/constructor-theory-simulator
1•SandroG•1m ago•0 comments

Multi-Agentic System Threat Modeling Guide v1.0

https://genai.owasp.org/resource/multi-agentic-system-threat-modeling-guide-v1-0/
1•mooreds•4m ago•0 comments

Ed Helms Dives into Disaster

https://www.newyorker.com/magazine/2025/05/12/ed-helms-dives-into-disaster
1•mooreds•5m ago•0 comments

In-Game Items Gifting

1•novag•6m ago•0 comments

Why Every Generation Thinks It Was the Last to Touch Real Life

https://www.clickworlddaily.com/2025/05/why-every-generation-thinks-its-last.html
1•versiqcontent•11m ago•1 comments

Show HN: DeepShot – an open-source NBA predictor with ML, EWMA, and live UI

https://github.com/saccofrancesco/deepshot
1•saccofrancesco•11m ago•0 comments

LLM text chat is everywhere. Who's optimizing its UX?

https://xenodium.com/llm-text-chat-is-everywhere-whos-optimizing-ux
1•xenodium•11m ago•0 comments

You Can't Build AI Systems with Jira Tickets

https://medium.com/@deheng.infra/the-hardest-part-of-rag-its-not-retrieval-7605d3d68121
1•sam890306•12m ago•1 comments

Emacs pretest 30.1.90

https://lists.gnu.org/archive/html/emacs-devel/2025-05/msg00409.html
2•gjvc•15m ago•0 comments

Show HN: B2Brilliant – From discovery to campaign in minutes, not months

https://www.b2brilliant.app/
1•h8ngryDev•17m ago•0 comments

Leveraging Spaced Repetition to Power My Weekly Newsletter

https://news.alvaroduran.com/p/leveraging-spaced-repetition-to-power
1•ohduran•21m ago•0 comments

Hit hardest in Microsoft layoffs? Developers, product managers, morale

https://www.seattletimes.com/business/hit-hardest-in-microsoft-layoffs-developers-product-managers-morale/
4•gammadist•24m ago•0 comments

Regarding South Africa and Grok

https://thezvi.substack.com/p/regarding-south-africa
3•ZeroTalent•33m ago•0 comments

Brain on GPS

https://www.theglobeandmail.com/opinion/article-we-should-turn-off-gps-its-a-no-brainer/
2•jack_peplinski•33m ago•0 comments

Why you should work 4 hours a day, according to science

https://theweek.com/articles/696644/why-should-work-4-hours-day-according-science
4•thunderbong•33m ago•3 comments

Researchers infiltrated a popular Reddit forum with AI bots

https://www.nbcnews.com/tech/tech-news/reddiit-researchers-ai-bots-rcna203597
3•valeg•35m ago•1 comments

The Butterfly Effect

https://www.rxjourney.net/the-butterfly-effect
1•bertblaast•43m ago•0 comments

Chevrolet Silverado for long-distance towing [video]

https://www.youtube.com/watch?v=m6mHX9f35zk
1•CaliforniaKarl•44m ago•0 comments

Show HN: AI Pomo – A Pomodoro timer that tracks time per project

https://ai-pomo.com
1•hiruben•46m ago•0 comments

Ask HN: What are your most useful custom LLM prompts?

1•quibono•47m ago•0 comments

Particles carrying multiple vaccine doses could reduce follow-up shots

https://news.mit.edu/2025/particles-carrying-multiple-vaccine-doses-could-reduce-need-follow-up-shots-0515
3•gmays•48m ago•0 comments

What Is This Thing Called Swing?

https://www.ds.mpg.de/swing
2•Tomte•50m ago•0 comments

Empowering multi-agent apps with the open Agent2Agent (A2A) protocol

https://www.microsoft.com/en-us/microsoft-cloud/blog/2025/05/07/empowering-multi-agent-apps-with-the-open-agent2agent-a2a-protocol/
1•owebmaster•50m ago•0 comments

A forward and reverse proxy primer for the layman

https://spapas.github.io/2021/09/21/layman-proxy-primer/
2•spapas82•53m ago•1 comments

Flight Simulator Gave Birth to 3D Video-Game Graphics

https://spectrum.ieee.org/microsoft-flight-simulator
1•Tomte•55m ago•1 comments

How the graphical user interface was invented (1989)

https://spectrum.ieee.org/graphical-user-interface
3•andsoitis•58m ago•0 comments

Tesla Cybertruck Trade-Ins

https://www.torquenews.com/11826/tesla-starts-accepting-cybertruck-trade-ins-according-tesla-cybertruck-loses-35000-over-6000
3•jrflowers•58m ago•3 comments

The Legend of Zyntraxis

1•zyntraxis•59m ago•0 comments

How to choose a STT provider for your voice agent?

https://comparevoiceai.com/blog/how-to-choose-stt-voice-ai-model
1•whoami_nr•1h ago•0 comments

Do these Buddhist gods hint at the purpose of China's super-secret satellites?

https://arstechnica.com/space/2025/05/do-these-buddhist-gods-hint-at-the-purpose-of-chinas-super-secret-satellites/
2•rbanffy•1h ago•0 comments