Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·3h·
Discuss: DEV
📝ABNF Parsing
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
<div xmlns="http://www.w3.org/1999/xhtml"> Writing letters with <code>groff</code> and an old printer </div>
uninformativ.de·4h
🖋Typography
Challenging LR Parsing (2020)
rust-analyzer.github.io·22h·
Discuss: Lobsters, r/programming
🦀Rust Macros
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·4d
🔤Type Theory
Whodunit: LLM Murder Mysteries
blog.apartment304.com·21h·
Discuss: Hacker News
🔮Proof Search
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·36m
🔄Language Evolution
Swánga̱lyiatwuki-WikiWoordenboek Wiktionary Editing Projects
diff.wikimedia.org·9h
📜Manuscript TEI
Add a privacy layer to your LLM app as AI companies' privacy policies evolve
medium.com·23h·
Discuss: Hacker News
🔍BitFunnel
A Review of Nim 2: The Good and Bad with Example Code
miguel-martin.com·1d·
Discuss: Hacker News
🦀Rust Macros
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
The use of Claude Code in SciML repos
discourse.julialang.org·17h·
Discuss: Lobsters
📏Code Metrics
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·2d
🔧Binary Parsers
The Worst API Ever Made
caseymuratori.com·9h
👁️System Observability
Antonio Cuni: Trying to get PyPy to run on Python 3.0
antocuni.eu·1d
🔄Language Evolution
Chicken Scheme internals: the garbage collector
more-magic.net·1d·
Discuss: Hacker News
🧠Separation Logic
The Primitive Tortureboard
aresluna.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
⌨️Mechanical Keyboards
Rust Optimization Guide: 10 Tips Every Developer Should Know 🦀
dev.to·3h·
Discuss: DEV
🔒Type Safety
Ripple is a TypeScript UI framework for web (If React and Svelte had a baby)
github.com·1d·
Discuss: Hacker News, Hacker News, r/webdev
🧩WASM Components