Complexity fills the space it's given
🧠Memory Management
Flag this post
original ↗
raymondcamden.com·3d
🔗Parser Combinators
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·3d
🔌Network Programming
Flag this post
Built SlopGuard - open-source defense against AI supply chain attacks (slopsquatting)
🧩Theorem Proving
Flag this post
People Seem Funny In The Head About Subtle Signals
lesswrong.com·5h
🧮Programming Language Theory
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🧩Theorem Proving
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
🏗️Software Architecture
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
DentalSplat: Dental Occlusion Novel View Synthesis from Sparse Intra-Oral Photographs
arxiv.org·4h
🎲Probabilistic Programming
Flag this post
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
arxiv.org·4h
🧮Programming Language Theory
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·12h
🎲Probabilistic Programming
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.org·4h
🎲Probabilistic Programming
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·1d
🤝Protocol Design
Flag this post
Loading...Loading more...