Mini Crossword, September 17th, 2025
huntnewsnu.com·12m
🌱Tiny Languages
Claude Can (Sometimes) Prove It
galois.com·13h·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·1d
✨Gleam
Mastering SVM in R: Classification, Kernels & Model Tuning
p2w2.com·7h·
Discuss: DEV
🔢Algebraic Datatypes
InfoGain-RAG: Boosting Retrieval-Augmented Generation via Document Information Gain-based Reranking and Filtering
arxiv.org·8h
🔍ML Language
Engineering "The" Loop
dev.to·11h·
Discuss: DEV
🔀Control Structures
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
All the ways I use AI
fredrikmeyer.net·4h·
Discuss: Hacker News
💬Interactive REPLs
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·1h·
Discuss: Hacker News
🚂Cranelift Backend
AI Needs Babysitters, and These Stocks Are Cashing In
fool.com·1h
🪜Recursive Descent
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·21h
🎲Parser Fuzzing
How AI Can Predict the Success of Your Business Using Data from Google Maps
dev.to·1h·
Discuss: DEV
🔍Search Algorithms
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Hack to the Future — here's how you can write BASIC code on a modern-day PC
tomshardware.com·50m
🌱Tiny Languages
Compiling with Continuations
swatson555.github.io·8h·
Discuss: Hacker News
🔬programming language theory
I Tested AI 'Humanizers' to See How Well They Actually Disguise AI Writing
lifehacker.com·1d
📚Factor
DRmare Streaming Audio Recorder 1.5.0
giveawayoftheday.com·4h
🌊Streaming Lexers
LLMAP: LLM-Assisted Multi-Objective Route Planning with User Preferences
arxiv.org·8h
📈Earley Parsing
The Ternary Manifesto
homepage.cs.uiowa.edu·2h
🔬Nanopasses