Esp-hal 1.0.0 release announcement
🏗️Dune
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
💬Mach Messages
Flag this post
Oops, My UUIDs Collided
🎯GADT
Flag this post
GHC 9.14.1-rc1 is now available
🏗️Dune
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·23h
💬Mach Messages
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
🧠Automated Reasoning
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
❓Existential Types
Flag this post
Olsrt – OverLab Streams Runtime
🌐Network Protocols
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
CAD-3D on the Atari ST
💾Retro Computing
Flag this post
Vectorizing for Fun and Performance
🏹Effect Systems
Flag this post
De Bruijn Numerals
🧮Lambda Calculus
Flag this post
Loading...Loading more...