Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Programming
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.orgยท42m
๐Ÿ”—Constraint Handling
Compiling with Continuations
swatson555.github.ioยท46mยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
System Instruction Fixed Point
funcall.blogspot.comยท9hยท
Discuss: www.blogger.com
โšกProof Automation
<h2>Resurrected - Two Latin Texts</h2>
naomiceder.techยท1d
๐Ÿ”คFont Archaeology
Cross-platform applications with Rust 1: Durable and flexible
heise.deยท12h
๐Ÿ”ฉSystems Programming
Mastering Advanced Python Development Skills 2025
dev.toยท12hยท
Discuss: DEV
๐Ÿ“Code Metrics
Semantic Dictionary Encoding
falvotech.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
PHP: A fractal of bad design (2012)
eev.eeยท14hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Charles Sanders Peirce, George Spencer Brown, and Me โ€ข 20
inquiryintoinquiry.comยท11h
๐Ÿ”€Category Theory
enjoy-digital/litex
github.comยท2h
๐Ÿ–ฅ๏ธModern Terminals
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1d
โœจAlgebraic Effects
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.toยท3dยท
Discuss: DEV
๐Ÿค–Paleographic AI
PSA: `views::single` doesnโ€™t really view
quuxplusone.github.ioยท1d
๐ŸงฎAlgebraic Datatypes
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.comยท1dยท
Discuss: Hacker News
๐Ÿ“„PDF Archaeology
UTF-8 Is Beautiful
hackaday.comยท1d
๐Ÿ”ฃUnicode
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท1dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.comยท1d
๐ŸŽฏDependent Parsing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท1d
๐Ÿ”—Topological Sorting