Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·18h
🎯Gradual Typing
Compressed data structures for Heegaard splittings
arxiv.org·8h
🕳️Persistent Homology
Janet Feature Demos
github.com·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Future-Proof Programming Languages
log.schemescape.com·2d·
Discuss: Hacker News
💻programming languages
Helix Editor Release 25.07 Highlights
helix-editor.com·16h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Introduction to JavaScript
thenewstack.io·1d
🔗Concatenative Programming
Alignment
languagelog.ldc.upenn.edu·16h
🔄Language Evolution
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·21h·
Discuss: Hacker News, r/programming
🔒Type Safety
The C3 Programming Language
c3-lang.org·11h·
Discuss: Hacker News
💧Liquid Types
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.to·23h·
Discuss: DEV
📝ABNF Parsing
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·8h
💻Local LLMs
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·4h·
Discuss: Hacker News
🌀Brotli Internals
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing