Pragma Unroll
sandordargo.comยท2hยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
I Taught an AI to Dream
blog.minibase.aiยท19hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.comยท2dยท
Discuss: Substack
๐Ÿ“Linear Algebra
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.netยท1dยท
Discuss: Hacker News, r/cpp
๐ŸƒEscape Analysis
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.orgยท1d
โšกProcess Calculi
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
dev.toยท4hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.orgยท1d
๐ŸงฎSMT Solvers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.toยท2dยท
Discuss: DEV
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Analyzing Sustainability Messaging in Large-Scale Corporate Social Media
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post
Many-vs-Many Missile Guidance via Virtual Targets
arxiv.orgยท6h
๐Ÿค–Robotics
Flag this post
InertialAR: Autoregressive 3D Molecule Generation with Inertial Frames
arxiv.orgยท2d
โš™๏ธCompiler Design
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.orgยท2d
๐Ÿ”CBMC
Flag this post
Learning a Distance for the Clustering of Patients with Amyotrophic Lateral Sclerosis
arxiv.orgยท6h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.orgยท1d
๐Ÿ”€OCaml Multicore
Flag this post
Validating Deep Models for Alzheimer's 18F-FDG PET Diagnosis Across Populations: A Study with Latin American Data
arxiv.orgยท1d
๐ŸŽจGADTs
Flag this post
Intentionality
lesswrong.comยท7h
๐Ÿ“ตDigital Minimalism
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏComplexity Classes
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท1dยท
Discuss: DEV
๐Ÿ”€Brzozowski Derivatives
Flag this post
Show HN: Extrai โ€“ An open-source tool to fight LLM randomness in data extraction
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post