Opportunistically Parallel Lambda Calculus
dl.acm.org·39m·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
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
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
λLambda Encodings
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·6h·
Discuss: DEV
🧪Binary Fuzzing
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
neilmitchell.blogspot.com·1d·
Discuss: Hacker News
🔤Type Theory
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
text.marvinborner.de·8h·
Discuss: Hacker News
λLambda Encodings
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·17h·
Proof Automation
Flag this post
A Short Introduction to Categorical Logic
youtube.com·18h
🔀Category Theory
Flag this post
You Don't Need Types in Ruby
zhisme.com·13h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·17h·
🦀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