Entropy in algorithm analysis
11011110.github.ioยท14h
๐งฎCombinator Calculus
Flag this post
Olsrt โ OverLab Streams Runtime
๐กErlang BEAM
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ชProgram Slicing
Flag this post
GHC 9.14.1-rc1 is now available
๐Linear Haskell
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Vibecoding my way to a crit on GitHub
๐ณTree Shaking
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
๐SIMD Programming
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
๐ง Semantic Parsing
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.comยท21h
๐Linear Memory
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
๐Rust Borrowing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐Borrowing Extensions
Flag this post
Engineering a Rust optimization quiz
fasterthanli.meยท1d
๐ฆMIR Optimization
Flag this post
๐ฒ On LLMs
kaukas.mataroa.blogยท2d
๐ฎLanguage Ergonomics
Flag this post
Intervaltree with Rust Back End
๐ฆMIR Optimization
Flag this post
Evidence on language model consciousness
lesswrong.comยท1d
๐ฒParser Fuzzing
Flag this post
Loading...Loading more...