Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·15h
Tokio
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🔍Query Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·34m
🔍Query Compilers
Flag this post
De Bruijn Numerals
text.marvinborner.de·14h·
Discuss: Hacker News
💻Local LLMs
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·6h·
Discuss: Hacker News
🔍Query Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·10h
🔍Query Compilers
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·1d
🌐Axum
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3h·
🔄Async Traits
Flag this post
Ajla Tutorial
ajla-lang.cz·4h·
Discuss: Hacker News
⚠️Unsafe Rust
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1d·
Discuss: Substack
💬Language Servers
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·10h·
Discuss: Hacker News
🔌Embedded Rust
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·2h·
Discuss: DEV
🏗️AI Infrastructure
Flag this post
My Wishlist for PHP in 2026
stitcher.io·19h·
Discuss: Hacker News
🔍Query Compilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·34m
🔍Query Compilers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2h·
🔍Static Analysis
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·23h·
🔌Embedded Rust
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·1d·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·2d
💻Local LLMs
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·1d·
Discuss: Hacker News
🏗️AI Infrastructure
Flag this post