🔤 Type Theory

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

Code Execution Through Deception: Gemini AI CLI Hijack | Tracebit
tracebit.com·10h
⚡Proof Automation
Soil Based Half-Adder Processor
igorkomolov.com·9h·
Discuss: Hacker News
🔩Systems Programming
Visualizing TCP
research.swtch.com·1d·
Discuss: Hacker News
📡Network Archaeology
Crackable Worlds
domofutu.substack.com·2d·
Discuss: Substack
🌍Cultural Algorithms
Playing with Gemini CLI: Riddles, Magic and Some Security Vibes
veganmosfet.github.io·23h·
Discuss: Hacker News
⚡Proof Automation
The Visual Studio Skeptic
brethorsting.com·5h·
Discuss: Hacker News
🔄Language Evolution
Hexatetrahedral Rails
blog.julik.nl·2d·
Discuss: Hacker News
🔌Interface Evolution
Retrofitting error detection
johndcook.com·1d·
Discuss: Hacker News
✅Checksum Validation
Machine Learning Fundamentals: gradient descent
dev.to·3d·
Discuss: DEV
🎵Audio ML
Medical Consultation Voice Agent
dev.to·3h·
Discuss: DEV
🎙️Whisper
Component-Based Machine Learning for Indoor Flow and Temperature Fields Prediction Latent Feature Aggregation and Flow Interaction
arxiv.org·6h
🧠Machine Learning
Building IntelliSense AI Writing Assistant: How Kiro Transformed My Development Journey
dev.to·14h·
Discuss: DEV
🔄Language Evolution
An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows
arxiv.org·3d
📏Code Metrics
How complicated is the code of the borrow checker?
reddit.com·4d·
Discuss: r/rust
🦀Rust Borrowing
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·5d
✅Format Verification
Tessera: A declarative, immediate-mode UI framework for Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·5d
🧠Intelligence Compression
AlphaGo Moment for Model Architecture Discovery
arxiv.org·3d·
Discuss: Hacker News
🎯Performance Proofs
Discovering the dynamics of \emph{Sargassum} rafts' centers of mass
arxiv.org·6h
🔲Cellular Automata
Boolean SHA256 with TFHE-rs (2023)
zama.ai·2d·
Discuss: Hacker News
🔢Bitwise Algorithms