Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·2d·
Discuss: Hacker News
💧Liquid Types
Functional Abstract Interpretation
simon.peytonjones.org·19h·
Discuss: Hacker News
🔗Functional Compilers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·4h
🌳Context free grammars
Inheritance over composition, sometimes
death.andgravity.com·12h
🦀Rust Macros
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Helix Editor Release 25.07 Highlights
helix-editor.com·23m·
Discuss: Hacker News
🌳Incremental Parsing
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Do We Really Need Lisp Machines?
irreal.org·1d
🤖Lisp Machines
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·19h·
Discuss: Hacker News
🔍Type Inference
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Hazel: A live functional programming environment with typed holes
github.com·17m·
Discuss: Lobsters
🦀Rust Macros
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·21h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·2d·
Discuss: Hacker News
🔗Functional Compilers
Students, here are 5 key things to know when learning how to train large language models
techradar.com·2h
💻Local LLMs
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·5h
🦀Rust Verification
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4h·
Discuss: Hacker News, r/programming
🔒Type Safety
YAML Guide For Beginners: Learn YAML In 10 Minutes
dev.to·3h·
Discuss: DEV
🔒Linear Types
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·3h·
Discuss: Hacker News
❄️Nixpkgs