Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
✅Type Checking
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🤖Embedded Go
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
🎪Playground Compilation
Flag this post
September 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🗺️Region Inference
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🚂Error Monads
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·23h
⚖️Inference Rules
Flag this post
Pinning is a kind of static borrow
nadrieril.github.io·1d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Package Hygiene in Alice, an experimental OCaml build system
alicecaml.org·1d·
Discuss: Hacker News
📦Package Managers
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
dev.to·3h·
Discuss: DEV
📋Row Typing
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·7h
📋Backus-Naur Form
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🎯Type Theory
Flag this post
AK-TSYS: An enhanced active learning Kriging model for time-dependent system reliability analysis
sciencedirect.com·17h
🔄Loop Optimization
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·16h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
Yale dominates Harvard, earns first-ever Ivy League bid to FCS playoffs
nytimes.com·9h
🌸Bloom Indexing
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
my journey to accepting that you wont know it all
blog.prdai.dev·10h·
Discuss: r/compsci, r/programming
🌈Gradual Languages
Flag this post