Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·15h
⚡Tokio
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
💻Local LLMs
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
🔄Async Traits
Flag this post
Ajla Tutorial
⚠️Unsafe Rust
Flag this post
My Wishlist for PHP in 2026
🔍Query Compilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·34m
🔍Query Compilers
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔌Embedded Rust
Flag this post
GHC: From Bug to Merge
☁️Serverless Rust
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·34m
🤝Federated Learning
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·2d
💻Local LLMs
Flag this post
Loading...Loading more...