Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·9h
λLambda Formalization
Flag this post
Issue 496
haskellweekly.news·10h
🔗Functional Compilers
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·1d
🦠Malware Analysis
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·26m
🌐WASI
Flag this post
Rust 1.91.0 released
lwn.net·1h
🦀Embedded Rust
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·2h
🌀Brotli Dictionary
Flag this post
GHC: From Bug to Merge
🔤Type Theory
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.com·4h
📄PostScript
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·5h
🔗Combinatory Logic
Flag this post
HTML Minifier: A 12-Year Journey Building and Maintaining an Open Source Tool
deanhume.com·7h
🔄Language Evolution
Flag this post
My First Rust Project
binwang.me·2d
🦀Rust Macros
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
A Short Introduction to Categorical Logic
youtube.com·18h
🔀Category Theory
Flag this post
You Don't Need Types in Ruby
💧Liquid Types
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
TypeScript Overtakes Python and JavaScript To Claim Top Spot on GitHub
developers.slashdot.org·4h
🔄Language Evolution
Flag this post
Loading...Loading more...