Fungus: The Befunge CPU(2015)
๐ณB+ Trees
Flag this post
Never Forget a Thing: Building AI Agents with Hybrid Memory Using Strands Agents
๐Subinterpreters
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท1d
๐Stack Allocation
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท23h
๐ฑMinimal ML
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท12h
๐ก๏ธSecurity Type Systems
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท17h
๐ฌSmalltalk VMs
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท1d
๐งฉSAT Solvers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท5h
โ๏ธInference Rules
Flag this post
What hardware should I get?
๐ฅ๏ธMinimal VMs
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐Borrowing Extensions
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
โ๏ธAssembly
Flag this post
Loading...Loading more...