The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·2d·
Discuss: Hacker News
🔤Character Encoding
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
CodeSOD: A JSON Serializer
thedailywtf.com·1d
📦Deflate
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·19h
🧮Kolmogorov Complexity
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·2h·
Discuss: Hacker News
📜Binary Philology
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·19h
📜Digital Philology
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·2d·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·19h
🔄Burrows-Wheeler
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·53m·
Discuss: Hacker News
⬌Bidirectional Typing
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Go + gRPC microservices (URL shortener). Looking for collaborators to improve this or start a new build.
reddit.com·22h·
Discuss: r/golang
⚡gRPC
Building A Real-Time Communication System Using Go and WebSocket
dev.to·4h·
Discuss: DEV
🌐WebSocket Framing
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·4d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
⚡Modern Compression
A new breed of analyzers
daniel.haxx.se·11h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing