Fir is getting useful
osa1.net·1d
🌳Context free grammars
Does anyone still use Morse code?
morse-coder.com·2h·
Discuss: Hacker News
🔤Character Encoding
From JSON to Protobuf
kmcd.dev·3d
📋Protocol Buffers
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.io·12h·
Discuss: Hacker News
🕸️Knowledge Graphs
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·2d
🔤Type Theory
Incremental query updating in adhesive categories
topos.institute·5d
🔗Combinatory Logic
Sorting Isn't Simple–You're Just Seeing ASCII Order, Not Real Collation
readyset.io·2d·
Discuss: Hacker News
🔤Unicode Normalization
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·22h·
Discuss: Hacker News
🔩Systems Programming
🚀 Day 7 of My Python Learning Journey – Tuples in Python
dev.to·1d·
Discuss: DEV
🗂Data structures
ngn/k tutorial
razetime.github.io·3d
🔗Concatenative Programming
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·18h·
Discuss: DEV
🎯Performance Proofs
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·1d·
Discuss: Hacker News
🌐Protocol Synthesis
How to Vibe Code Effectively
ibrahimahmed.ca·1d·
Discuss: Hacker News
✅Formal Methods
Can Coding Be Both Lossless and Private?
hackernoon.com·2d
🔐Privacy Codecs
Baby's first type checker
austinhenley.com·5d·
Discuss: Lobsters, Hacker News
🔤Type Theory
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·21h·
Discuss: Hacker News
📊Quantization
The Next Generation of Compound on GroqCloud
groq.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Memory is slow, Disk is fast – Part 2
bitflux.ai·20h·
Discuss: Hacker News, r/programming
🖥️Modern CPU
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
⏰Temporal Logic
Building a High-Performance Concurrent Live Leaderboard in Go
dev.to·1h·
Discuss: DEV, r/golang
🧠Memory Allocators