🔤 Type Theory

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

The Lost Oregon City Gold thoughts
virtualmoose.org·19h
🎮Game Decompilation
Double Maths First Thing: Issue 34
aperiodical.com·6d
⚙️Proof Engineering
Scientists Believe They've Found a Groundbreaking New Energy Source–And It's Virtually Unlimited
popularmechanics.com·19h
🧊Arctic Storage
Nominees: The fastest legal way to lose your company
johnnydoe.is·1d·
Discuss: Hacker News
🎫Kerberos Attacks
Video on Installing Nextcloud AIO using Docker
youtu.be·17h·
Discuss: r/homelab
🏠Homelab
APEGS Competency Assessment: Key Success Secrets
forums.anandtech.com·1d
🎯Threat Hunting
Researchers uncover similarities between human and AI learning
brown.edu·5d·
Discuss: Hacker News
🔲Cellular Automata
Too Big to Stay Small: Why Manufacturing Hasn't Taken Off in India (Yet)
dealflowiq.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·5d·
Discuss: Hacker News
🔲Cellular Automata
Color Shifting in CSS
joshwcomeau.com·19h·
Discuss: Hacker News, r/webdev
🌈Color Science
Rules for Early Stage Startups with Hiten Shah (2024)
scotchisholm.com·1d·
Discuss: Hacker News
🎯Threat Hunting
SAP users patch now - worrying S/4HANA vulnerability being exploited in the wild
techradar.com·19h
🔓Hacking
Show HN: Integration Security Top 10: An OWASP-style framework
github.com·2d·
Discuss: Hacker News
🛡️WASM Sandboxing
Best 7 WeTransfer Alternatives for Secure File Sharing 2025
dev.to·21h·
Discuss: DEV
🔐Archive Encryption
AI Agents Security: The on-behalf-of concept
ayende.com·3d
🔒WASM Capabilities
Enhanced Solid-State Electrolyte Performance via Stochastic Grain Boundary Engineering
dev.to·1d·
Discuss: DEV
🔧Cassette Engineering
Automated Astrobiological Signal Source Localization using Multi-Modal Bayesian Inference
dev.to·3d·
Discuss: DEV
💿Optical Forensics
EvolveSignal: A Large Language Model Powered Coding Agent for Discovering Traffic Signal Control Algorithms
arxiv.org·5d
🛠Language Design
Enhanced ZFN-Mediated Gene Editing via Adaptive Gradient Descent Optimization
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
A Bio-Acoustic Signal Decryption & Delivery System for Targeted Insect Predator Attraction
dev.to·3d·
Discuss: DEV
👂Audio Evidence