thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·16h
📐Mathematical Computing
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
🧮Combinator Calculus
Flag this post
New comment by simonw in "Claude Code can debug low-level cryptography"
🧪Compiler Testing
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🔍ML Language
Flag this post
I'm the author of LocalAI (the local OpenAI-compatible API). We just released v3.7.0 with full Agentic Support (tool use!), Qwen 3 VL, and the latest llama.cpp
🌙Lua
Flag this post
Feeling the Vibes with Verifi
🚂Cranelift IR
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
⚡Control Synthesis
Flag this post
kadena-io/pact-5
github.com·3h
🔧Error Recovery
Flag this post
Toward a Compressed Core of Human Knowledge: The High-Dimensional Vector Network for AI
🤖Abstract Machines
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·22m
📮Message Queues
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
🎭Program Synthesis
Flag this post
M^3Detection: Multi-Frame Multi-Level Feature Fusion for Multi-Modal 3D Object Detection with Camera and 4D Imaging Radar
arxiv.org·22m
🔍Lens Libraries
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·3d
🌱Minimal ML
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·22m
💬Interactive REPLs
Flag this post
Loading...Loading more...