🔤 Type Theory

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

How to clone a harddrive (with Clonezilla)
tttthis.com·1d
💿WORM Storage
The Importance of Counter-Clockwise Dance Rituals
honest-broker.com·2d·
Discuss: Hacker News
⏰Time Crystals
RK3588 AI Module7
crowdsupply.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
I Can’t Stop Playing Duolingo Chess
wired.com·1d
🔲Cellular Automata
Indirect Prompt Injections Exploit Context, Format, and Salience
fogel.dev·6d·
Discuss: Lobsters, Hacker News
🧪Protocol Fuzzing
It's not a vibe, it's a trip
whatisprogress.com·3d·
Discuss: Hacker News
🎨Nordic UX
My ex stalked me, so I joined a 'dating safety' app. Then my address was leaked
bbc.com·1d
📡RSS
May 1, 2014, LinuxTag
ffmpeg.org·1d
⏱️SMPTE Timecode
The Fallacies of Management – The Network Is Reliable
xangelo.medium.com·4d·
Discuss: Hacker News
🤝Distributed Consensus
Bild AI (YC W25) Is Hiring Applied AI Founding Engineer
workatastartup.com·1d·
Discuss: Hacker News
🤖AI Translation
Why people embrace conspiracy theories: It's about community, not gullibility
phys.org·1d
🤝Consensus Networks
Overview of Complex System Design
arxiv.org·6d
🕹Emulation Theory
How To Integrate a Local LLM Into VS Code
thenewstack.io·3d
🎙️Whisper
Where Hurricanes Hit Hardest: A County-Level Analysis with Python
towardsdatascience.com·3d
🔶Voronoi Diagrams
Show HN: Filelock – AES-GCM file&folder encryption with hardware acceleration
github.com·2d·
Discuss: Hacker News
🔐Archive Encryption
Input Time Scaling
arxiv.org·4d
⏱️Interval Parsing
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·4d·
Discuss: Hacker News
⚡Proof Automation
OpenAI has lost the plot on boring LLM use cases
softwaredoug.com·3d·
Discuss: Hacker News
💻Local LLMs
Angular Goes AI-Native: Building Smarter Dev Workflows
dev.to·3d·
Discuss: DEV
🔄Language Evolution
Beyond the Hype: Critical Takeaways From BlackHat and Defcon
thenewstack.io·2d
🎯Threat Hunting