🔤 Type Theory

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

Week 30 Status
blogs.gnome.org·4h
⚡Proof Automation
XOR Crack Kit
kobolt.website·4d
🔐Cryptographic Archaeology
Amazon launches Kiro to streamline AI prototyping
the-decoder.com·1d
👁️Observatory Systems
PascalABC.NET
pascalabc.net·1d·
Discuss: Hacker News
💧Liquid Types
Handling request scoped dependencies in Golang without abusing the context
winsnes.io·3d·
Discuss: Hacker News
⚡gRPC
Unit Test Mocks in Go
martincapodici.com·4d·
Discuss: Hacker News
🕹Emulation
For a human, AI is just a part of being. For a model, a human is all of being
habr.com·2d·
Discuss: Hacker News
🔲Cellular Automata
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Interesting Number Paradox
en.wikipedia.org·2d·
Discuss: Hacker News
🔲Proof Irrelevance
What is Simple Linear Regression?
dev.to·22h·
Discuss: DEV
🎯Arithmetic Coding Theory
Gotta Search 'Em All, MCP!!
dev.to·20h·
Discuss: DEV
🌀Brotli Internals
Counterfactual Explanations in Medical Imaging: Exploring SPN-Guided Latent Space Manipulation
arxiv.org·21h
🧠Machine Learning
Building a Real-Time Trading Bot Using AI and Python
hackernoon.com·7h
🌀Brotli Internals
Differentiated Thyroid Cancer Recurrence Classification Using Machine Learning Models and Bayesian Neural Networks with Varying Priors: A SHAP-Based Interpretat...
arxiv.org·21h
🧠Machine Learning
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔌Interface Evolution
Probing Multimodal Fusion in the Brain: The Dominance of Audiovisual Streams in Naturalistic Encoding
arxiv.org·21h
🧠Neural Codecs
Show HN: Dart implementation of the libp2p networking stack
github.com·38m·
Discuss: Hacker News
🌐NetworkProtocols
AI Enabled 6G for Semantic Metaverse: Prospects, Challenges and Solutions for Future Wireless VR
arxiv.org·21h
📻Homebrew Protocols
All the Details and Changes That Came With Rust 1.82.0
hackernoon.com·2d
🦀Rust Borrowing
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing