Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·3h
🧠Intelligence Compression
derived set
ncatlab.org·4h
🧮Algebraic Archives
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
💻Programming languages
Eristic Architecture for AI
rexriepe.com·53m·
Discuss: Hacker News
🔲Cellular Automata
How to (Almost) solve cybersecurity once and for all
adaptive.live·22h·
Discuss: Hacker News
🔐Systems Hardening
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
From Scarcity to Abundance: How Go Changed Concurrency Forever
medium.com·1d·
Discuss: r/golang
🔄Lens Laws
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·15h
🔍Concolic Testing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Program Synthesis is Interesting and Open
stephendiehl.com·3d·
Discuss: Hacker News
💻Programming languages
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·15h
🔍Type Inference
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·15h
🔗Topological Sorting
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules