Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
🌊Gradual Effects
Flag this post
Counteracting Matthew Effect in Self-Improvement of LVLMs through Head-Tail Re-balancing
arxiv.org·1d
🪜Recursive Descent
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·8h
⚖️Inference Rules
Flag this post
Hidden network preserved in Slide-tags data allows reference-free spatial reconstruction
nature.com·1d
🗺️Region Inference
Flag this post
The Structure of Data
🪢Rope Data Structures
Flag this post
Using GLM-4.6 to reverse engineer Catan Universe browser game (WebGL and unity)
🎲Parser Fuzzing
Flag this post
Magisterium
💫Effect Systems
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.org·1d
🔄Subinterpreters
Flag this post
Transition to Collective Motion in Nonreciprocal Active Matter: Coarse Graining Agent-Based Models into Fluctuating Hydrodynamics
journals.aps.org·1d
📡Async Channels
Flag this post
Exploring PKM concepts
nhlism.bearblog.dev·9h
🌙Lua
Flag this post
Loading...Loading more...