Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Building Up And Sanding Down
endler.dev·3d
🔧API Design
Flag this post
Esp-hal 1.0.0 release announcement
⚙️TOML Parsers
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
🏰Capability Machines
Flag this post
Rust 1.91 adds Tier 1 support for ARM64 Windows platform, raw pointer warnings, and more
alternativeto.net·2d
⚙️TOML Parsers
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔧API Design
Flag this post
Implemented arc-lightning with Rust
🔒Rust Borrowing
Flag this post
Convince me to use C instead of Rust
🏗️Minimal Compilers
Flag this post
**Microfrontend Architecture: Essential JavaScript Techniques for Building Scalable Distributed Applications**
🥾Bootstrapping Strategies
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
🔀SIMD Programming
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·1d
📏Linear Memory
Flag this post
A new chapter at the Recurse Center
henryfellerhoff.com·21h
🔄Bootstrapping
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
Loading...Loading more...