Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.comยท1d
๐ŸŒ€Brotli Internals
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸŒณIncremental Parsing
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.atยท1dยท
Discuss: Hacker News
๐Ÿ”—Lisp
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท15hยท
Discuss: Hacker News
โœจEffect Handlers
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท1d
โšกProof Automation
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.orgยท6hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
Day 28 of My 90 Days Python Series โ€” Advanced Mood Booster (OOP)
dev.toยท10hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Printing Petscii Faster
retrogamecoders.comยท1hยท
Discuss: Hacker News
๐Ÿ“บVT100
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท19h
โ›ชChurch Encoding
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.devยท3dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Building on vibes: Lessons from three years with LLMs
world.hey.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Item Patterns and Struct Await
noratrieb.devยท17hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
Discuss: Lobsters, Hacker News
๐ŸงฎAlgebraic Datatypes
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comยท2dยท
Discuss: Hacker News, r/neovim
๐Ÿ”—Lisp
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท9hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG