🔤 Type Theory

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

Two Types of Scientific Fraud: for a Fee and for Power
4gravitons.com·3d
💧Manuscript Watermarks
Sysadmin work and design shouldn’t be so difficult
rubenerd.com·2d
🏠Homelab Archaeology
Study finds caffeine can weaken effectiveness of certain antibiotics
uni-tuebingen.de·2h·
Discuss: Hacker News
☕Coffee Chemistry
Show HN: I made a browser extension to save/load storage profiles between tabs
addons.mozilla.org·2d·
Discuss: Hacker News
🏠Personal Archiving
You Have to Feel It
mitchellh.com·2d·
Discuss: Hacker News
🔍Archive Semantics
Scammers Will Try to Trick You Into Filling Out Google Forms. Don’t Fall for It
wired.com·2d
🔤EBCDIC Privacy
Armored vehicle accident in Haiti kills 2 and injures 8 Kenyan police officers
the-independent.com·30m
🚨Incident Response
Open Source Interactive Wallpapers for Windows
hackaday.com·2d
🚀Indie Hacking
How quantum computing would effect Bitcoin
johndcook.com·2d·
Discuss: Hacker News
🔐Quantum Security
I always thought I was a first-generation American. At 58, I learned I've been a German citizen my whole life.
businessinsider.com·4h
🏠Personal Archives
Features worth paying attention to in the latest Kubernetes 1.34 release
metalbear.co·3d·
Discuss: r/devops
📦Container Security
Enhanced Cobalt Blue Pigment Synthesis via Controlled Crystallization Kinetics
dev.to·2h·
Discuss: DEV
☕Precision Brewing
The 4 AI Search Visibility Factors That Control Your Rankings
dev.to·3h·
Discuss: DEV
📊Feed Optimization
OmniMRI: A Unified Vision--Language Foundation Model for Generalist MRI Interpretation
arxiv.org·6d
🤖Advanced OCR
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·5d·
Discuss: Hacker News
⚡Proof Automation
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·5d
💻Local LLMs
HAEPO: History-Aggregated Exploratory Policy Optimization
arxiv.org·5d
🧠Machine Learning
LLMs Can't Handle Peer Pressure: Crumbling under Multi-Agent Social Interactions
arxiv.org·5d
🔲Cellular Automata
Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games
arxiv.org·5d
🔲Cellular Automata
Optical generative models
nature.com·5d·
Discuss: Hacker News
🌈Holographic Archives