Tritium | Thoughts on the Word Spec in Rust
tritium.legal·9h·
Discuss: Hacker News, r/programming, r/rust
⚙️TOML Parsers
Hiding in Plain Sight: Steganography, C2, and SVG Files
infosecwriteups.com·1d
📝Rope Editors
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·10h·
Discuss: Hacker News
🪄Macros
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·21h·
Discuss: r/cpp
🪆Embedded DSLs
Declarative Partial Updates Proposal
github.com·2h·
Discuss: Hacker News
🌐Browser REPLs
valuetier.org (and some thoughts on LLMs)
ericphanson.com·1d·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1d·
Discuss: Hacker News
🌱Minimal ML
Microformats – building blocks for data-rich web pages
microformats.org·2d·
Discuss: Hacker News
🌐Web Standards
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·3h
🛡️Security Type Systems
Beyond the Prompt: A Developer's Playbook for Ethically Scaling B2B Content with GenAI
getmichaelai.com·1d·
Discuss: DEV
🎮Language Ergonomics
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
Key Mapping Lessons Learned from one year with the Ergodox and Iris
medium.com·5h·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
🎮Language Ergonomics
hybstr — A header only hybrid compile-time & runtime string library that is compatible with c++17
github.com·5h·
Discuss: r/cpp
🪆Embedded DSLs
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·17h
🚀Tokenizer Performance
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·15h
🌳Tree Shaking
Design Principle: Composable Services
sleepingpotato.com·8h·
Discuss: Hacker News
🔀Control Structures
Your Next Tool: Web Components
dev.to·6h·
Discuss: DEV
📋Template Compilers
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·17h
✅Type Checking
Database Normalization
dev.to·1d·
Discuss: DEV
🎓Educational Databases
Neural Correlates of Language Models Are Specific to Human Language
arxiv.org·17h
💫Effect Systems