APRS over LoRa with RNode | unsigned.io
unsigned.io·23h
📻Homebrew Protocols
Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·21h·
Discuss: Substack
🎯Proof Tactics
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·18h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·21h·
Discuss: r/programming
🧠Lisp Dialects
The Porcelain to Come
stackdiver.com·11h·
Discuss: Hacker News
🔲Cellular Automata
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Alias and references as localized macros
gustedt.wordpress.com·3d·
Discuss: Hacker News
🦀Rust Macros
The Mondrian introduction to functional optics
marcosh.github.io·4d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·3d·
Discuss: DEV
💧Liquid Types
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
A gentle introduction to Generative AI: Historical perspective
medium.com·9h·
Discuss: Hacker News
🧠Learned Codecs
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code