🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Young People Feel Nostalgia for an Analog Past They Never Knew
honest-broker.com·1d
💾vintage computing
The bad news: AI is going pretty much as I expected
garymarcus.substack.com·2d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Saving the Irish Maths Olympiad
thefitzwilliam.com·2d·
Discuss: Hacker News
👑Isabelle
Show HN: Turn Your LinkedIn into a Professional Website in 60 Seconds
craftwebbb.com·2d·
Discuss: Hacker News
🔗Hypermedia APIs
Take More Screenshots (2022)
alexwlchan.net·2d·
Discuss: Hacker News
🏺Media Archaeology
Boost Analytics Query with EDB Postgres Distributed Analytics Engine
enterprisedb.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
The Lost Soul of Software: Meaning Beyond Code and Artificial Intelligence | by Ergin Akin | Aug, 2025 | Medium
medium.com·6d
💻Programming languages
Evolution of GPU Programming: From Smart Pixels to the Backbone of an AI-driven World
medium.com·4d·
Discuss: r/programming
🌈Color Archaeology
Bad actors exploit X's Grok to run 'racy' malvertising campaign
scworld.com·2d·
Discuss: Hacker News
🔓Hacking
The gen on function perilogues (2010)
jdebp.uk·5d·
Discuss: Hacker News
🚀Compiler Optimizations
Walnut Creek man, 77, arrested for allegedly attempting to hug and kiss neighbor
mercurynews.com·2d
💻Local first
Generative AI: a game-changer for mainframe modernization in Europe
techradar.com·4d
🏢IBM Mainframes
MentraOS – open-source Smart glasses OS
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
X Marks the Spot: Navigating Possible Futures with Wardley Maps • Simon Wardley • GOTO 2024
youtube.com·4d
🌍Cultural Algorithms
Tottenham Hotspur vs West Ham United LIVE: Women's Super League team news, line-ups and more
the-independent.com·22h
⏱️SMPTE Timecode
I built an open-source, end-to-end Speech-to-Speech translation pipeline with voice preservation (RVC) and lip-syncing (Wav2Lip).
reddit.com·1d·
Discuss: r/artificial
🎙️Whisper
AI's Robotic Revolution: Designing Bots That Design Themselves by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🤖AI Curation
How to create Google Gemini AI component in Total.js Flow
dev.to·5d·
Discuss: DEV
⚡gRPC
Advanced Regolith Binder Optimization for Lunar Concrete Production via AI-Driven Microstructural Analysis
dev.to·5d·
Discuss: DEV
🏺Computational Archaeology
LLMs vs. LRMs: AI Explained in Simple Terms
dev.to·3d·
Discuss: DEV
💻Local LLMs