An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.comยท3d
๐Ÿ”คCharacter Encoding
Cactus Language โ€ข Syntax 10
inquiryintoinquiry.comยท5h
๐Ÿ“Concrete Syntax
Creating Domain Types for Safer Code
dev.toยท2hยท
Discuss: DEV
๐Ÿ”’Linear Types
Structured Output with LangChain and Llamafile
blog.brakmic.comยท4hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
graven-image: Portability library for CL image in REPL
github.comยท3dยท
Discuss: Lobsters
๐Ÿฆ€Rust Macros
Counting with Categories (Part 1)
golem.ph.utexas.eduยท6h
ฮปLambda Formalization
Logseq template for working out
perrotta.devยท20h
๐ŸŒช๏ธBrotli
The importance of rhythm for memorization
languagelog.ldc.upenn.eduยท8h
๐ŸŒณTrie Structures
PANA
rhollick.wordpress.comยท2d
๐Ÿ“œPalimpsest Analysis
Cracovians: The Twisted Twins of Matrices
marcinciura.wordpress.comยท2dยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.comยท23hยท
Discuss: r/MachineLearning
๐Ÿง Learned Compression
Best Ways to Translate Documents Online Using AI โ€“ Secure OCR, Layout Retention, and Top Tools Compared
dev.toยท11hยท
Discuss: DEV
๐Ÿค–AI Translation
Show HN: A React E-ink Paper Display
github.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
Weekly Challenge
dev.toยท16hยท
Discuss: DEV
๐Ÿ“ฆDeflate
Small TV terminal with ATmega8 microcontroller
serasidis.grยท1h
๐Ÿ“ŸTerminal Typography
Adding linear-time lookbehinds to RE2
systemf.epfl.chยท22hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
Coping with Complexity
slott56.github.ioยท1d
๐Ÿ”—Concatenative Programming
Superimposed codes
blog.sesse.netยท9h
๐Ÿ’พBinary codes
Experiment proposal: In-place initialization
github.comยท5h
๐Ÿฆ€Rust Macros
The dark side of Python (for CS students before learning Python)
gist.github.comยท7hยท
Discuss: Hacker News
๐Ÿ’ปprogramming languages