newest
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