Bloom filters are good for search that does not scale
notpeerreviewed.comยท1dยท
๐Ÿ“Term Rewriting
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.comยท4dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Pain Points of OCaml
quamserena.comยท21hยท
๐Ÿ“ฆModule Systems
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.devยท9hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
Most Gen AI Players Remain 'Far Away' from Profiting: Interview with Andy Wu
library.hbs.eduยท7hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.comยท5hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Flag this post
Do I want Coders to Code?
yeikoff.xyzยท1dยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
I am torn about using Lo
reddit.comยท12hยท
Discuss: r/golang
๐Ÿ”คLanguage Design
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
WTF is Neural Search Engines?
dev.toยท18hยท
Discuss: DEV
โฑ๏ธComputational Complexity
Flag this post
TA-LSDiff:Topology-Aware Diffusion Guided by a Level Set Energy for Pancreas Segmentation
arxiv.orgยท22h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Augmenting learning in neuro-embodied systems through neurobiological first principles
arxiv.orgยท22h
๐Ÿ”ฒCellular Automata
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.orgยท22h
๐Ÿ“šAutomata Learning
Flag this post
Why your AI evals keep breaking
atla-ai.comยท16hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Flag this post
AI's Dial-Up Era
dev.toยท12hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
dev.toยท3dยท
Discuss: DEV
๐ŸงฉParser Combinators
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ŽRefinement Types
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.orgยท1d
๐Ÿ”„Finite State Machines
Flag this post
Advancing AI Challenges for the United States Department of the Air Force
arxiv.orgยท22h
โœ“Automated Theorem Proving
Flag this post