Double Maths First Thing: Issue 33
aperiodical.com·1d
📐Mathematical Art
busy beaver function
ncatlab.org·5d
⚔️Lean Theorem
CL-JSON Ambiguity
funcall.blogspot.com·5d·
Discuss: www.blogger.com
🧠Lisp Dialects
Is Math Discovered or Invented?
curtispoe.org·2d
🔲Proof Irrelevance
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·1d·
Discuss: Hacker News
🔄Language Evolution
Model inference, model products, and AI applications
frontierai.substack.com·14h·
Discuss: Substack
🔌Interface Evolution
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·1d
🧠Machine Learning
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·1d
🔍Vector Forensics
Applying KISS, DRY, and LOD Principles in Go
dev.to·1d·
Discuss: DEV
⚖️Hoare Logic
Generative Interfaces for Language Models
arxiv.org·2d
⚙️Parser Generators
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·2d
🧠Intelligence Compression
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org·1d
🌊Stream Ciphers
Python, JavaScript, TypeScript? My no-BS guide to picking a language that lasts
dev.to·18h·
Discuss: DEV
🔄Language Evolution
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·1d
💻Local LLMs
Training with Explanations Alone: A New Paradigm to Prevent Shortcut Learning
arxiv.org·1d
📊Learned Metrics
Dynamics-Aligned Latent Imagination in Contextual World Models for Zero-Shot Generalization
arxiv.org·2h
📊Learned Metrics
Validating Generative Agent-Based Models for Logistics and Supply Chain Management Research
arxiv.org·2h
🔲Cellular Automata
Neural Spline Operators for Risk Quantification in Stochastic Systems
arxiv.org·2h
🧮Kolmogorov Bounds
A Systematic Review on the Generative AI Applications in Human Medical Genomics
arxiv.org·2h
🧠Machine Learning