Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔬PLT
An Update on Pytype
github.com·1d·
Discuss: Hacker News
🔬PLT
Contrasting Data and Objects (2018)
tedinski.com·23h·
Discuss: Hacker News
⚙️Language Implementation
Typechecker Zoo
sdiehl.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔤Text Algorithms
The Baby Paradox in Haskell
blog.jle.im·11h·
Discuss: Hacker News
🔬PLT
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·11h·
Discuss: Hacker News
🚀JIT Compilation
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
💻Programming
how to decide on the sequence of computable numbers
academia.edu·1d·
Discuss: Hacker News, r/programming
🔬PLT
the core of rust
jyn.dev·1d·
Discuss: Lobsters, Hacker News, r/rust
💻Programming
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·1d·
Discuss: Hacker News
💻Programming
Show HN: I built a tool to help you quickly understand MBTI personality types
easymbti.org·15h·
Discuss: Hacker News
🔬PLT
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🔬PLT
Reproducing prospect theory with 'differentiable decision theories'
science.org·7h·
Discuss: Hacker News
🔬PLT
Unification
eli.thegreenplace.net·3d·
Discuss: Hacker News
🔤Text Algorithms
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·15h·
Discuss: Hacker News, r/programming
⚡Systems Performance
Stream Integration
feldera.com·3d·
Discuss: Hacker News
⚙️Language Implementation
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
🔬PLT
The Java type system is broken
wouter.coekaerts.be·3d·
Discuss: Hacker News
⚙️Language Implementation
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·1d·
Discuss: Hacker News
💻Programming
Using Derive_more for Errors in Rust
quamserena.com·7h·
Discuss: Hacker News
💻Programming