🔤 Type Theory

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

too many model context protocol servers and LLM allocations on the dance floor
simonwillison.net·4d
⚔️Lean Tactics
Tsyganov, Alexei. - Human Factors in Traffic Safety for Highway and Traffic Engineers [Elektronisk resurs]
libris.kb.se·3d
⚡Circuit Design
Optimizing multiprecision LLL in FLINT
fredrikj.net·6d
🧮Algebraic Datatypes
Harper Evolves
elijahpotter.dev·6d·
Discuss: Hacker News, Hacker News, r/programming
📝Concrete Syntax
“New” TLDs are weird
anderegg.ca·20h
📡DNS Archaeology
Mysterious ‘Wow!’ signal from deep space was much stronger than first thought, scientists say
the-independent.com·1d
📡Frequency Archaeology
Timetotest.tech – Meet the First AI QA CO-Pilot
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Proof Automation
Faith and Cyber: Protecting Today, Trusting Tomorrow
dev.to·1d·
Discuss: DEV
🛡Cybersecurity
Debugging the Human Layer
blog.joac.com.ar·4d·
Discuss: Hacker News
⚙️Proof Engineering
Climate models need more frequent releases of input data — here’s how to do it
nature.com·1d
📈Time Series
I work in healthcare…AI is garbage.
reddit.com·22h·
Discuss: r/artificial
🧠Machine Learning
WTF is Hierarchical Temporal Memory.?
dev.to·3d·
Discuss: DEV
⏰Time Crystals
Multiple Memory Systems for Enhancing the Long-term Memory of Agent
arxiv.org·5d
📼Tape Combinators
EMNLP: Educator-role Moral and Normative Large Language Models Profiling
arxiv.org·5d
💻Programming languages
How I Cut AWS RAG System Response Time from 30 Seconds to 100ms
dev.to·3d·
Discuss: DEV
🧬PostgreSQL Forensics
Portable Virtualized Router/Firewall Platform – Secure Networking Anywhere
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
The Case For Markdown
irreal.org·3d
📝Concrete Syntax
🚀 I Created OctaneDB – The Lightning-Fast Python Vector Database!
dev.to·4d·
Discuss: DEV
🗂️Vector Databases
Enhance Geospatial Analysis and GIS Workflows with Amazon Bedrock Capabilities
aws.amazon.com·4d
🌊Streaming Systems
HebID: Detecting Social Identities in Hebrew-language Political Text
arxiv.org·5d
📋Document Grammar