🔤 Type Theory

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

Writing With Emacs: Two Out Of Three Ain’t Bad
irreal.org·2d
💻Programming languages
The Tower of Hanoi And two (three?) clever solutions
pballew.blogspot.com·2d·
Discuss: www.blogger.com
🔲Cellular Automata
Finding entities with given uuids in the current project
mbork.pl·3d
🗄️Database Internals
OpenAI: Introducing study mode
simonwillison.net·1h
📟Terminal Physics
Code listings with nice line wrapping and line numbers from plain CSS | Home
jaseg.de·1d
🖋Typography
Vision for W3C: a manifesto for our operations and decision making
w3.org·10h·
Discuss: Hacker News
📚MARC Evolution
Kernel
web.cs.wpi.edu·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
We Built an IoT Backend with Spring Boot — And Somehow Made It Talk MQTT
infosecwriteups.com·13h
🌊Apache Kafka
C++ Superset 2.0.0
dev.to·10h·
Discuss: DEV
🔒Type Safety
Python assert with message
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
FaRMamba: Frequency-based learning and Reconstruction aided Mamba for Medical Segmentation
arxiv.org·17h
🧠Machine Learning
Axiomatizing Rumsfeld Ignorance
arxiv.org·4d
🔲Proof Irrelevance
Physics-informed transfer learning for SHM via feature selection
arxiv.org·17h
🧠Machine Learning
Why I Chose the Apache 2 License for Our Go-Based Data Engine? Decision and Reasons
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
Python Fundamentals: collections module
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Show HN: Finch – a fingerprint-aware TLS reverse proxy
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Machine Learning Fundamentals: k-means example
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
SCANet: Split Coordinate Attention Network for Building Footprint Extraction
arxiv.org·17h
🏺Computational Archaeology
Translating Cython to Mojo, a first attempt
fnands.com·1d·
Discuss: Hacker News
🔓Reverse engineering
CLVR Ordering of Transactions on AMMs
arxiv.org·17h
🤝Consensus Algorithms