Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·15h
🎯Gradual Typing
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·4h
🌳Context free grammars
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Janet Feature Demos
github.com·1h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
GoLang 101: Getting Started with Go
dev.to·2h·
Discuss: DEV
🧠Lisp Dialects
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Introduction to JavaScript
thenewstack.io·1d
📝Concrete Syntax
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·3h
🔧RISC-V Assembler
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Song recommendations with pipes and filters
blog.ploeh.dk·1d
λLambda Formalization
The C3 Programming Language
c3-lang.org·8h·
Discuss: Hacker News
💧Liquid Types
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·17h·
Discuss: Hacker News, r/programming
🔒Type Safety
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs