🔤 Type Theory

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

Bumper crop of proposals for discussion at the APNIC 60 Open Policy Meeting
blog.apnic.net·14h
🔌Interface Evolution
Earth Models Can Predict the Planet’s Future, But Not Their Own
undark.org·1d
🧊Arctic Storage
New Dataset Makes Health Chatbots Like MedGemma More Mindful of African Contexts
cc.gatech.edu·1d·
Discuss: Hacker News
🚨Incident Response
NVIDIA Jetson Thor Unlocks Real-Time Reasoning for General Robotics and Physical AI
blogs.nvidia.com·22h·
Discuss: Hacker News
🌊Stream Processing
Turning your Apple Calendar into a time tracker
blog.julik.nl·4d·
Discuss: Hacker News
🌳Incremental Parsing
Once Upon a Pipe in the West: A Working Adapter from HDMI to Gardena – Jhauser
jhauser.de·1d·
Discuss: Lobsters, Hacker News
🧪Cassette Hacks
Musk companies sue Apple, OpenAI alleging anticompetitive scheme
cnbc.com·22h·
Discuss: Hacker News
🍎XNU Internals
A poem by Madison Godfrey: ‘I first encountered poetic language though post-hardcore and punk music’
theguardian.com·1d
📼Cassette Culture
Ansell Limited (ANSLF) Q4 2025 Earnings Call Transcript
seekingalpha.com·1d
📋PREMIS Events
Chemists develop four-charge storage molecule to advance artificial photosynthesis
phys.org·1d
🌈Spectroscopy
People Beg Developers "Don't Grant AI Sentience, Please."
totalapexgaming.com·2d·
Discuss: Hacker News
⚖️Game Preservation Ethics
Agentic AI: unlocking new potential, demanding new rules
techradar.com·23h·
Discuss: Hacker News
🤖AI Curation
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·6d
🔲Cellular Automata
Nine social housing recipients revealed to own investment properties
abc.net.au·13h
💻Local first
GLM-4.5V: The World's Leading Open-Source Vision Reasoning Model Now on SiliconFlow
dev.to·1d·
Discuss: DEV
⚡LZ4 Streaming
What Kubernetes distribution are people running in their homelab?
reddit.com·20h·
Discuss: r/homelab
📦Container Security
Amplifying the Good and the Bad: 10 More AI Coding Lessons
thenewstack.io·20h
🌍Cultural Algorithms
Inference Time Debiasing Concepts in Diffusion Models
arxiv.org·4d
🧠Machine Learning
Stabilization of Perturbed Loss Function: Differential Privacy without Gradient Noise
arxiv.org·4d
🧠Machine Learning
LLM4Sweat: A Trustworthy Large Language Model for Hyperhidrosis Support
arxiv.org·4d
🎙️Whisper