🔤 Type Theory

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

A DNS Exploration of the Latest Educated Manticore Attack
circleid.com·1d
🛣️BGP Hijacking
Worth Reading 081325
rule11.tech·3d
📟Historical Protocols
Show HN: Interactive 3D map of 3k YC companies by similarity (Three.js and D3)
starwatcher.ai·3d·
Discuss: Hacker News
🌐WARC Mining
Do things that don't scale, and then don't scale
derwiki.medium.com·3h·
Discuss: Hacker News
🚀Indie Hacking
AI’s Serious Python Bias: Concerns of LLMs Preferring One Language
medium.com·2d·
Discuss: r/programming
🦀Rust Macros
How we made our streaming joins 50% faster
blog.epsiolabs.com·3d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Mawari Partners With Caldera To Launch Mawari Network For The Streaming Of AI-Powered Experiences
hackernoon.com·23h
🏠Homelab Federation
League opener halted after Semenyo reports racist abuse
bbc.com·1d
λLambda Formalization
Show HN: An open-source,security first,local-first memory tool for AI assistants
news.ycombinator.com·3d·
Discuss: Hacker News
🌐WASI
The Bookmarklet Hack OpenAI Doesn’t Want You to Know About
hackernoon.com·1d
🔌Archive APIs
Asking Eric: I think my friends’ focus on their grandchild is not healthy
mercurynews.com·11h
🏠Personal Archives
Janet Minipbt Translation
github.com·6d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Tooling ≠ Glue: Why changing AI workflows still feels like duct tape
docker.com·5d
🔌Interface Evolution
From Days to Hours—Meet HyperQ, the Quantum Virtual Machines That Could Democratize Q-Computing
dev.to·1d·
Discuss: DEV
⚛️Quantum Archives
TAB:- The Assistant Bot
dev.to·2d·
Discuss: DEV
⚡Proof Automation
A Risk Taxonomy and Reflection Tool for Large Language Model Adoption in Public Health
arxiv.org·3d
✨Effect Handlers
Integrated Learning and Optimization to Control Load Demand and Wind Generation for Minimizing Ramping Cost in Real-Time Electricity Market
arxiv.org·2d
⚡Incremental Computation
Whiteboard to cloud in minutes using Amazon Q, Amazon Bedrock Data Automation, and Model Context Protocol
aws.amazon.com·2d
🏠Homelab Orchestration
VasoMIM: Vascular Anatomy-Aware Masked Image Modeling for Vessel Segmentation
arxiv.org·1d
🤖Advanced OCR
Most Asked SQL Interview Questions and Answers for 2025
dev.to·2d·
Discuss: DEV
🗃️Database Forensics