Fast calculation of the distance to cubic Bezier curves on the GPU
blog.pkh.meยท1d
๐Ÿ“Interval Arithmetic
Flag this post
Conversational Architecture with LLM Intelligence โ€” SemanticCue v1
dev.toยท16hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
From Universal Approximation Theorem to Tropical Geometry of Multi-Layer Perceptrons
arxiv.orgยท39m
๐ŸงฎKolmogorov Bounds
Flag this post
The future of Python web services looks GIL-free
blog.baro.devยท18hยท
๐ŸŒŠStream Processing
Flag this post
Why formalize mathematics โ€“ more than catching errors
rkirov.github.ioยท1dยท
๐Ÿ”ฌLean
Flag this post
Solving the NYTimes Pips puzzle with a constraint solver
righto.comยท1dยท
Discuss: Hacker News
๐ŸงฎZ3 Solver
Flag this post
KITE: A Benchmark for Evaluating Korean Instruction-Following Abilities in Large Language Models
arxiv.orgยท39m
๐Ÿ’ปProgramming languages
Flag this post
Rocks, minds, and Turing machines โ€“ what does it mean to compute?
thefriendlyghost.nlยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge
sakana.aiยท3dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Flag this post
Structure-R1: Dynamically Leveraging Structural Knowledge in LLM Reasoning through Reinforcement Learning
arxiv.orgยท39m
๐ŸงฎProlog Parsing
Flag this post
Skia: Exposing Shadow Branches
dl.acm.orgยท3dยท
Discuss: Hacker News
โšกCPU Microarchitecture
Flag this post
The Best Way to Learn Might Be Starting at the End
interjectedfuture.comยท1dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Flag this post
[D] Found error at published Neurips paper
reddit.comยท1dยท
๐ŸŽฏPerformance Proofs
Flag this post
Structural Generalization for Microservice Routing Using Graph Neural Networks
arxiv.orgยท39m
๐Ÿ•ธ๏ธNetwork Topology
Flag this post
A Generalized Sylvester-Fermat-Torricelli problem with application in disaster relief operations by UAVs
arxiv.orgยท39m
๐Ÿ”ฒCellular Automata
Flag this post
Emergence of Linear Truth Encodings in Language Models
arxiv.orgยท39m
๐ŸงฎKolmogorov Complexity
Flag this post
Towards Error Centric Intelligence I, Beyond Observational Learning
arxiv.orgยท39m
๐Ÿง Intelligence Compression
Flag this post
Rust is not about memory safety
o-santi.github.ioยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
The Coverage Principle: How Pre-training Enables Post-Training
arxiv.orgยท39m
๐ŸงฎKolmogorov Complexity
Flag this post