I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·1d
📝Editor Buffers
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·42m
📜Proof Languages
Stop fine-tuning LLMs for docs, use RAG
intlayer.org·6h·
Discuss: Hacker News, r/reactjs
🎮Language Ergonomics
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·22h
✨Gleam
System Instruction Fixed Point
funcall.blogspot.com·9h·
Discuss: www.blogger.com
💬Interactive REPLs
[1] Algorithm Showdown: Python vs. JavaScript - Group Anagrams
dev.to·2d·
Discuss: DEV
🔗Hash Functions
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
LLM Rerankers for RAG: A Practical Guide
fin.ai·2d·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
GB/s Level Editable DOM JSON Engine: The Architectural Philosophy Behind LJSON
github.com·23h·
Discuss: DEV
📋JSON Parsing
When 2500+ Pages Need Summaries: Automating Content Previews with Local AI
cognition.happycog.com·14h
⚡Live Coding
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·13h
🎲Parser Fuzzing
NYT Connections hints today: Clues, answers for September 17, 2025
mashable.com·2h
🌿Trie Structures
Claude Can (Sometimes) Prove It
galois.com·5h·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·11h·
Discuss: Hacker News
🦉Swift Interpreters
PHP: A fractal of bad design (2012)
eev.ee·14h·
Discuss: Hacker News
🔄Bootstrapping
InfoGain-RAG: Boosting Retrieval-Augmented Generation via Document Information Gain-based Reranking and Filtering
arxiv.org·42m
🔍ML Language
Engineering "The" Loop
dev.to·3h·
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
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·1d
🎭Erlang OTP