Logo History
💾Retro Computing
Flag this post
Pragma Unroll
🔀OCaml Multicore
Flag this post
are-dependent-types-actually-erased
❓Existential Types
Flag this post
It's much easier to hold computers accountable than to hold humans accountable
🩹Self-Healing Systems
Flag this post
The Department Of Defense Wants Less Proof Its Software Works
techdirt.com·1d
🔬Reverse Engineering
Flag this post
How To Build WebAssembly Components With the MoonBit Language
thenewstack.io·1d
📦OPAM
Flag this post
Myopia Mythology
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·5d
🔲Cellular Automata
Flag this post
AI & Tech Quarterly Roundup: Navigating Trends, Building Careers, Staying Credible (2025-11-08)
🤖Program Synthesis
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·4d
📚Automata Learning
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·4d
🔍CBMC
Flag this post
Evaluating Machine Translation Datasets for Low-Web Data Languages: A Gendered Lens
arxiv.org·2d
🧩Parser Combinators
Flag this post
Conversational Collective Intelligence (CCI) using Hyperchat AI in an Authentic Forecasting Task
arxiv.org·2d
🎮Verification Games
Flag this post
How I Automated My Workflow Using ChatGPT Agents — By Fixing One Critical Failure Mode
✓Automated Theorem Proving
Flag this post
Dynamic Consensus Algorithm Optimization via Adaptive Multi-Agent Reinforcement Learning in Distributed Cognitive Architectures
🩹Self-Healing Systems
Flag this post
GPTF-8: A tokenizer-based character encoding
lesswrong.com·2d
🔤Kleene Algebra
Flag this post
Normalized tensor train decomposition
arxiv.org·2d
📐Linear Algebra
Flag this post
Loading...Loading more...