Principles of Epistemology (2025, essay)
🏔️Domain Theory
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·15h
❄️Nixified Development
Flag this post
Is 'human' a risky AGI target
📚Automata Learning
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·1d
🧮Z3 Solver
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
🧠Automated Reasoning
Flag this post
Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models
arxiv.org·1d
📐Linear Algebra
Flag this post
Framework for Machine Evaluation of Reasoning Completeness in Large Language Models For Classification Tasks
arxiv.org·4d
✓Automated Theorem Proving
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·1d
🔄Finite State Machines
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔬Static Analysis
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·1d
🧩Parser Combinators
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.org·1d
🐫OCaml
Flag this post
Loading...Loading more...