Who’s in charge here anyway
anniemueller.com·12h
🧩Constraint Logic
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·20h·
Discuss: Substack
🎯Symbolic Execution
Flag this post
AI Will Flatten Workforce Inequality–If We're Honest About What That Means
danielkliewer.com·29m·
Discuss: Hacker News
🛡️Capability Security
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·2d
🔄Loop Optimization
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·12h·
🔗Language Toolchains
Flag this post
TBM 386: Understanding Enabling Constraints Using Shape Up (Basecamp)
cutlefish.substack.com·18h·
Discuss: Substack
🧱First Principles
Flag this post
Fast, Scalable LDA in C++ with Stochastic Variational Inference
github.com·22h·
Discuss: r/cpp
🌱Minimal ML
Flag this post
Variational Data-Consistent Assimilation
arxiv.org·8h
Effect Inference
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·22h·
Discuss: DEV
📝Lexer Generators
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·8h
🪜Recursive Descent
Flag this post
Understanding the Design of Optimizers with me
dev.to·1d·
Discuss: DEV
🔮CPU Branch Prediction
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·1d
🎭Erlang OTP
Flag this post
Semi-Supervised Preference Optimization with Limited Feedback
arxiv.org·8h
Partial Evaluation
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·8h
🧮Linear Algebra
Flag this post
Your ORM is Lying to You About SQL (CTEs Explained)
buttondown.com·1d·
Discuss: DEV
📈Query Optimization
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·1d·
Discuss: DEV
🏛️Elm Architecture
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·19h·
Discuss: Hacker News
📋Souffle Datalog
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·8h
🪜Recursive Descent
Flag this post