🔤 Type Theory

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

This Mac App Automatically Removes Unnecessary Junk From Any URL
lifehacker.com·2d
🌐WARC Forensics
Duality
xythobuz.de·3d
📼Retro Games
Postgres in 2025: No managed service required?
docs.codefloe.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We Found Zero Low-Severity Bugs in 165 AI Code Reports. Zero
shamans.dev·2d·
Discuss: Hacker News, r/programming
🕵️Domain Enumeration
Building a Robotic Arm Without Breaking the Bank
hackaday.com·2d
⚙️Tape Transport
Care Copilot
hackster.io·2d
🏠Home Automation
Nathan Lents’s New Book Explores How Animal Behavior and Evolution Challenge Binary Sex and Gender Norms
scientificamerican.com·2d
🧬Bitstream Evolution
Impacket: A collection of Python classes for working with network protocols
github.com·3d·
Discuss: Hacker News
📻Homebrew Protocols
Maybenot: A framework for traffic analysis defenses
github.com·2d·
Discuss: Lobsters, Hacker News
🔍BitFunnel
Silk Typhoon Attacks North American Orgs in the Cloud
darkreading.com·1h
🔓Hacking
Readers Respond to the April 2025 Issue
scientificamerican.com·3d
🔲Cellular Automata
Agentic AI: The Next Frontier in Enterprise Decision‑Making
dev.to·15h·
Discuss: DEV
🌊Stream Processing
Can We Tell if ChatGPT is a Parasite? Studying Human-AI Symbiosis with Game Theory
arxiv.org·4d
🔲Cellular Automata
Do Claude Code Security Reviews Pass the Vibe Check?
darkreading.com·9h
🔓Hacking
Can Multi-modal (reasoning) LLMs detect document manipulation?
arxiv.org·4d
🤖Advanced OCR
Robust Data Fusion via Subsampling
arxiv.org·3d
🧠Machine Learning
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·4d·
Discuss: DEV
🤖Archive Automation
MATA (m\=ata): Mindful Assessment of the Telugu Abilities of Large Language Models
arxiv.org·2d
💻Local LLMs
A missing enzyme-rescue metabolite as cause of a rare skeletal dysplasia
nature.com·2d
🧬Copy Number Variants
Counterfactual Probabilistic Diffusion with Expert Models
arxiv.org·2d
📊Citation Graphs