Show HN: Realization Jsmn on a Pure Zig
github.comยท13hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Item Patterns and Struct Await
noratrieb.devยท17hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
CLI tool that translates plain English into Linux commands
reddit.comยท8hยท
Discuss: r/linux
๐Ÿ“Shell Parsing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท4hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Metasploit Wrap Up 10/09/2025
rapid7.comยท1d
๐Ÿ›ก๏ธeBPF Security
Does Go have types?
youtube.comยท10hยท
Discuss: r/golang
๐Ÿ”’Linear Types
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท13h
๐Ÿ’ŽInformation Crystallography
An /intro to Python 3.14โ€™s New Features
blog.pythonlibrary.orgยท1d
๐ŸŒณIncremental Parsing
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.comยท12hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท23h
๐ŸŒŠStreaming Systems
Embedding Lua in Nim
lambdacreate.comยท4d
๐Ÿฆ€Rust Macros
Lobsters Interview with Zdsmith
lobste.rsยท17hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Protobuf: Rust Generated Code Guide
protobuf.devยท3d
๐Ÿฆ€Rust Macros
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Running new applications on old glibc
lightofdawn.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Static Linking
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Replacing the Type Checker for the Swift Compiler
forums.swift.orgยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.orgยท19h
๐Ÿ“‹Document Grammar
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comยท2dยท
Discuss: Hacker News, r/neovim
๐Ÿ”—Lisp