KCL part 1: units
ncameron.org·1d
🌱Tiny Languages
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·20h
💬Smalltalk VMs
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🎭Program Synthesis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
Down with template (or not)!
cedardb.com·1d
📋Template Compilers
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
🎯Pattern Matching
Flag this post
Thought Engineering
🪜Recursive Descent
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🔶Lattice Theory
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔗Borrowing Extensions
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
AI Poisoning: How Malicious Data Corrupts Large Language Models Like ChatGPT and Claude
blogger.com·1d
🛡️Parser Security
Flag this post
Loading...Loading more...