Beware the AI Prophets and their maelstrom of hype, grifters, techno-messiahs, and pseudo-intellectuals
hedgehogreview.com·11h
🌱Minimal ML
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·4h
🧪Parser Testing
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·16h
🎲Parser Fuzzing
IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.org·4h
🌱Green Threads
ShannonBase — The Next-Gen HTAP Database for the AI Era
github.com·1d·
Discuss: DEV
📋Tablegen
Current AI Labs Evaluation Tier List, September 2025
preview.redd.it·3h·
Discuss: r/singularity
🗺️Region Inference
High-Energy Concentration for Federated Learning in Frequency Domain
arxiv.org·4h
🔍ML Language
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·19h
🌱Minimal ML
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Discrete Time System Properties- Plainly
pub.towardsai.net·2h
💫Effect Systems
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🔗Lexical Scoping
Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·4h
📋Souffle Datalog
Leveraging Large Language Models to Effectively Generate Visual Data for Canine Musculoskeletal Diagnoses
arxiv.org·4h
🌱Minimal ML
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Match Chat: Real Time Generative AI and Generative Computing for Tennis
arxiv.org·4h
🎭Racket
The pirate-based logic of Rust shared references
ais523.me.uk·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Finite Automata
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·4h
📋S-Expression