Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2h
λLambda Formalization
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
🔲Lattice Cryptography
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·1d
💻Programming languages
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·5h
🔧Hardware Verification
Flag this post
Issue 496
haskellweekly.news·3h
🔗Functional Compilers
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·1d
🦠Malware Analysis
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·15h
🔒WASM Capabilities
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
A Short Introduction to Categorical Logic
youtube.com·11h
🔀Category Theory
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
“Systems thinking helps me put the big picture front and center”
towardsdatascience.com·48m
🌊Stream Processing
Flag this post
Loading...Loading more...