Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
🔒Rust Borrowing
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🔶Lattice Theory
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·21h
📏Linear Memory
Flag this post
A Tale of LLMs and Induced Small Proxies: Scalable Agents for Knowledge Mining
🌱Minimal ML
Flag this post
GHC 9.14.1-rc1 is now available
📏Linear Haskell
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
🔍Type Inference
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
🚂Error Propagation
Flag this post
Vibecoding my way to a crit on GitHub
🌳Tree Shaking
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·2d
🎭Erlang OTP
Flag this post
Language Models are Injective and Hence Invertible - GLADIA Research
arxiv.org·4d
🪜Recursive Descent
Flag this post
Evidence on language model consciousness
lesswrong.com·1d
🎲Parser Fuzzing
Flag this post
🎲 Weeknotes 25:28
jeffbridgforth.com·1h
🏠indieweb
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·2d
🪜Recursive Descent
Flag this post
Linkage
11011110.github.io·1d
🪢Rope Data Structures
Flag this post
Loading...Loading more...