Loop MCP by SimpliflowAI
producthunt.comยท19h
๐ŸŒ™Lua
Build systems ร  la carte - 3236774.pdf
dl.acm.orgยท21h
๐ŸŒฑForth Kernels
Cactus Language โ€ข Mechanics 2
inquiryintoinquiry.comยท1d
๐Ÿ“‹Backus-Naur Form
Building a Debugger โ€ข Sy Brand & Tim Misiak
buzzsprout.comยท2dยท
Discuss: r/programming
๐Ÿ”Debugging Compilers
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.comยท21hยท
Discuss: Substack
๐Ÿ“ŠCode Metrics
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.orgยท1d
๐Ÿ”—Hash Functions
The GPU Bottleneck: Why Your Multi-GPU Training is Crawling (and How to Fix It!)
pub.towardsai.netยท2h
๐Ÿ”€SIMD Programming
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.devยท4dยท
Discuss: Hacker News
๐ŸฉบCompiler Diagnostics
Rational methods for abstract semilinear problems without order reduction
arxiv.orgยท1d
โšกPartial Evaluation
Lessons from Vibe Coding Three Apps in Three Weeks
backblaze.comยท12h
๐ŸŽญProgram Synthesis
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.orgยท1d
๐Ÿท๏ธAttribute Grammars
Efficiently Computing the Cyclic Output-to-Output Gain
arxiv.orgยท1d
โšกControl Synthesis
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.orgยท1d
๐ŸงฉSAT Solvers
Prefetching in Deep Memory Hierarchies with NVRAM as Main Memory
arxiv.orgยท1d
โšกCache-Aware Algorithms
Preserving Node-level Privacy in Graph Neural Networks
arxiv.orgยท1d
๐Ÿ”„Subinterpreters
Localized PCA-Net Neural Operators for Scalable Solution Reconstruction of Elliptic PDEs
arxiv.orgยท4h
๐ŸงฉConstraint Solvers
EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Hyper-Efficient Multi-Modal Transit Network Optimization via Graph Neural Networks and Reinforcement Learning
dev.toยท3hยท
Discuss: DEV
๐Ÿš‚Error Propagation