Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·8h
🧠Intelligence Compression
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
What Problems to Solve – By Richard Feynman
genius.cat-v.org·7h·
Discuss: Hacker News
⚛️Information Physics
Simpson's paradox in psychological science: a practical guide (2013)
frontiersin.org·8h·
Discuss: Hacker News
🔲Cellular Automata
Oreo's Top K Treats (Bucket Sort)
dev.to·12h·
Discuss: DEV
🌊Streaming Algorithms
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Anthropic, OpenAI and Others Discover AI Models Give Answers That Contradict Their Own Reasoning
slashdot.org·1d
🔲Cellular Automata
daily quizzz
dev.to·11h·
Discuss: DEV
λLambda Encodings
The World is a Fractal – a mental model for navigating the depth of knowledge
blog.satpugnet.com·7h·
Discuss: Hacker News
📐Mathematical Art
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Visual hallucination detection in large vision-language models via evidential conflict
arxiv.org·20h
📊Learned Metrics
How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
arxiv.org·1d
🕸️Algebraic Topology
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·16h·
Discuss: Hacker News
🧩WASM Modules
Schemars v1 is now released
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·20h
🔍Type Inference
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing