Complexity fills the space it's given
🧠Memory Management
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·1d
📝Lisp
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·7h
🧮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
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🤝Protocol Design
Flag this post
DentalSplat: Dental Occlusion Novel View Synthesis from Sparse Intra-Oral Photographs
arxiv.org·6h
🎲Probabilistic Programming
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🔗Parser Combinators
Flag this post
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
arxiv.org·6h
🧮Programming Language Theory
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·14h
🎲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·6h
🎲Probabilistic Programming
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·1d
🤝Protocol Design
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
🧩Theorem Proving
Flag this post
Loading...Loading more...