🔤 Type Theory

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

Show HN: 'Message Me Now' QR Codes
qr.clv.ws·12h·
Discuss: Hacker News
📱QR Archaeology
Exploring the tragedy of the Counter-Strike 2 server browser
bphilip.uk·6h·
Discuss: Hacker News
📊PCAP Analysis
Inspection of railway catenary systems using machine learning
nature.com·2d·
Discuss: Hacker News
🧠Machine Learning
Subinterpreters and Asyncio
blog.changs.co.uk·5d·
Discuss: Hacker News
🦀Rust Macros
Out-of-home care for children in Finland has doubled
phys.org·10h
🗃️Nordic Databases
Why does my regular expression work in X but not in Y?
unix.stackexchange.com·5d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
What Would Plato, Socrates, and Seneca Say About AI Today?
mindthenerd.com·1d·
Discuss: Hacker News
🔲Cellular Automata
ChromaLex
hackster.io·2d
📱QR Archaeology
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·3d·
Discuss: Hacker News
📏Code Metrics
Shillelagh: Query APIs Using SQL
github.com·5d·
Discuss: Hacker News
🧩SQLite Extensions
Help me device between AM5/B650 and W680 platform for my server
reddit.com·6h·
Discuss: r/homelab
🖥Home Lab Setup
AI Bubble: Reality Check
dev.to·10h·
Discuss: DEV
🌍Cultural Algorithms
A Case Against Abstraction
dev.to·6d·
Discuss: DEV
✨Effect Handlers
🚀 New Series on Data Engineering Tools & Platforms
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Configurable Open Source Audio Spectrum Visualizer
github.com·1d·
Discuss: Hacker News, Hacker News
🌈Spectral Audio
AsroChat – the first usage-based AI chatbot platform
dev.to·23h·
Discuss: DEV
🎙️Whisper
GPUs AI/ML
reddit.com·1d·
Discuss: r/kubernetes
🖥️Modern Terminals
China-linked Silk Typhoon APT targets North America
securityaffairs.com·2d
🔓Hacking
How to Build a Self-Correcting AI Agent for Product Search in E-Commerce
dev.to·4d·
Discuss: DEV
🤖AI Curation
Show HN: GrowChief – open-source social media automation tool
github.com·13h·
Discuss: Hacker News
📡RSS Automation