The Shape of an Intermediate Logic Class
consequently.org·18h
🧩Constraint Logic
Python Machine Learning: Care and Quality for Developers
sonarsource.com·7h·
Discuss: Hacker News
🗺️Region Inference
How to Make AI Write Less Like AI
kill-the-newsletter.com·1h
💬Interactive REPLs
Synthesizing Standalone World-Models, Part 4: Metaphysical Justifications
alignmentforum.org·3d
Type Checking
Overkill JSON parser optimization: C/Assembly
raphaelouthier.github.io·2d·
Discuss: Hacker News
📋JSON Parsing
The Lowest Level PL
pramatias.github.io·2d·
📏Linear Haskell
Your thoughts tell who you are: Characterize the reasoning patterns of LRMs
arxiv.org·12h
🌱Minimal ML
Level Up your Rust pattern matching
blog.cuongle.dev·1d·
🎯Pattern Matching
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-22 - 2025-09-28)
reddit.com·2d·
Discuss: r/cpp
🧸Toy Compilers
Bridging the Knowledge-Prediction Gap in LLMs on Multiple-Choice Questions
arxiv.org·12h
🔍ML Language
Anchored Supervised Fine-Tuning
arxiv.org·12h
🪜Recursive Descent
Frontend Mentor's Contact form challenge built with Elm
dev.to·1d·
Discuss: DEV
🌊Reactive Languages
SBFA: Single Sneaky Bit Flip Attack to Break Large Language Models
arxiv.org·1d
🎲Parser Fuzzing
Indexical Collapse: How Predictive Systems Make Authority Without Reference
dev.to·23h·
Discuss: DEV
🗂️Term Indexing
FS-KAN: Permutation Equivariant Kolmogorov-Arnold Networks via Function Sharing
arxiv.org·12h
🔍ML Language
Your Sealed Class Cookbook: 3 Production-Ready Android Recipes
dev.to·1h·
Discuss: DEV
Algebraic Effects
LLM DNA: Tracing Model Evolution via Functional Representations
arxiv.org·12h
🔍ML Language
Hype or not? Formalizing Automatic Promotional Language Detection in Biomedical Research
arxiv.org·12h
📋Backus-Naur Form
Building the Brains: Crafting a Customer Support Agent with Strands
dev.to·6h·
Discuss: DEV
Gleam