Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Detecting Distillation Data from Reasoning Models
arxiv.org·1h
⚙️ABNF Mining
TypeScript Flaws (2024)
intercaetera.com·3h·
Discuss: Hacker News
🎯Gradual Typing
Cactus Language • Semantics 1
inquiryintoinquiry.com·13h
🔢Denotational Semantics
A very short, very blunt, book note
logicmatters.net·11h
⚔️Lean Theorem
On This Day in Math - October 6
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·22h
📏Code Metrics
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·1h
✓Automated Theorem Proving
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·1h
👑Coq Tactics
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·13h
🎯Gradual Typing
Causal Abstractions, Categorically Unified
arxiv.org·1h
✨Effect Handlers
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·13h·
Discuss: DEV
🌳Trie Structures
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·19h·
Discuss: Hacker News
🧮SMT Solvers
Generalization of LiNGAM that allows confounding
arxiv.org·1h
🔗Monadic Parsing
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·1d·
Discuss: Hacker News
🛡️WASM Security
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·10h·
Discuss: Hacker News
🌳Context free grammars
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1h
🔗Parser Combinators
Increasing LLM response trustworthiness using voting ensembles
arxiv.org·1h
🔍Information Retrieval