Friday open line
arktimes.comยท7h
โœจCode Formatting
Category Theory Illustrated โ€“ Natural Transformations
abuseofnotation.github.ioยท2dยท
๐Ÿ”—Category Theory
scientifica: mono bitmap font tiny-style
maya.landยท21h
๐ŸŒฑTiny Languages
Doodling icons in a grid
sachachua.comยท2d
๐Ÿท๏ธSymbol Mangling
Cubs make Cade Horton unavailable for NLDS, name Matthew Boyd as Game 1 starter
nytimes.comยท3h
๐ŸงฎCombinator Calculus
Huawei's new open source technique shrinks LLMs to make them run on less powerful, less expensive hardware
venturebeat.comยท7h
๐Ÿ”„Binary Translation
Scalable Molecular Dynamics Simulations via Adaptive Disordered System Partitioning (ADSP)
dev.toยท13hยท
Discuss: DEV
๐Ÿ”€SIMD Programming
ICL Optimized Fragility
arxiv.orgยท2d
๐Ÿฆ€MIR Optimization
How to get and use free PVS-Studio license. Part 3: working with report and warnings
dev.toยท21hยท
Discuss: DEV
๐Ÿ”งError Recovery
Thinking Machines' first official product is here: meet Tinker, an API for distributed LLM fine-tuning
venturebeat.comยท2d
โœจGleam
QUASAR: Quantum Assembly Code Generation Using Tool-Augmented LLMs via Agentic RL
arxiv.orgยท2d
๐ŸŽญProgram Synthesis
Bayesian Neural Networks for Functional ANOVA model
arxiv.orgยท2d
โœจEffect Inference
PDE Solvers Should Be Local: Fast, Stable Rollouts with Learned Local Stencils
arxiv.orgยท3d
๐ŸŽญRacket Modules
Seeing Before Reasoning: A Unified Framework for Generalizable and Explainable Fake Image Detection
arxiv.orgยท3d
๐ŸงชParser Testing
Prosperity before Collapse: How Far Can Off-Policy RL Reach with Stale Data on LLMs?
arxiv.orgยท2d
๐ŸŽญErlang OTP
Knowledge-Level Consistency Reinforcement Learning: Dual-Fact Alignment for Long-Form Factuality
arxiv.orgยท4d
๐ŸชœRecursive Descent
LLVM Weekly - #317, January 27th 2020
llvmweekly.orgยท2d
๐Ÿ—๏ธLLVM
LLVM Weekly - #393, July 12th 2021
llvmweekly.orgยท2d
๐Ÿ”งLLVM IR
LLVM Weekly - #371, February 8th 2021
llvmweekly.orgยท2d
๐Ÿ—๏ธLLVM