Proving Authenticated Key Exchange via Memory-Efficient Reductions
eprint.iacr.org·3d
📡Binary Protocols
Flag this post
Fortytwo's decentralized AI has the answer to life, the universe, and everything
theregister.com·4h
🌱Forth Kernels
Flag this post
Open Source Journey
📚Self-Documenting Code
Flag this post
Joy & Curiosity #60
registerspill.thorstenball.com·5h
🌊Gradual Effects
Flag this post
My Wishlist for PHP in 2026
📚Forth Compilers
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🎭Program Synthesis
Flag this post
Lost in the journey
🎮Language Ergonomics
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.com·16h
💬Smalltalk VMs
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
Our newest model: Chandra (OCR)
💬Smalltalk VMs
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔗Borrowing Extensions
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
🔒Rust Borrowing
Flag this post
Down with template (or not)!
cedardb.com·2d
📋Template Compilers
Flag this post
🧠🚀 Excited to introduce Supervised Reinforcement Learning—a framework that leverages expert trajectories to teach small LMs how to reason through hard problems ...
threadreaderapp.com·2d
🪜Recursive Descent
Flag this post
Challenging the Fastest OSS Workflow Engine
📡Erlang BEAM
Flag this post
Issue 496
haskellweekly.news·3d
👑Dependent Haskell
Flag this post
Model welfare and open source
lesswrong.com·10h
✨Effect Inference
Flag this post
Loading...Loading more...