What are you doing this weekend?
📊Static Analysis
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λLambda Formalization
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
🌀Brotli Internals
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·1d
⚡Effectful Programming
Flag this post
FreeBSD now supports OCI containers with Podman
discoverbsd.com·1d
📦Content Addressable
Flag this post
Challenging the Fastest OSS Workflow Engine
🔄Sync Engine
Flag this post
Ubuntu Will Use Rust For Dozens of Core Linux Utilities
news.slashdot.org·1d
🔌Operating system internals
Flag this post
Three Meanings of Reference
🔗Concatenative Programming
Flag this post
Roadmap for Improving the Type Checker
💧Liquid Types
Flag this post
Mitre ATT&CK v18 released
📦Container Security
Flag this post
Rust Hobby OS projects worth exploring
🦀Embedded Rust
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
🔐Homomorphic Encryption
Flag this post
Machine Scheduler in LLVM – Part II
⚙️RISC-V Microcode
Flag this post
Loading...Loading more...