Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.comยท23h
๐Ÿ“Type Theory
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.comยท4d
๐ŸงฎAlgebraic Effects
Flag this post
A Spectral-Geometric Proof of the Riemann Hypothesis
zenodo.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ขHomomorphic Encryption
Flag this post
DemoTuner: Efficient DBMS Knobs Tuning via LLM-Assisted Demonstration Reinforcement Learning
arxiv.orgยท10h
๐Ÿ’ฌPrompt Engineering
Flag this post
Gain 60% performance on RDNA 4 using this fix
github.comยท1dยท
Discuss: r/LocalLLaMA
โšกHardware Acceleration
Flag this post
Waveform Design for Over-the-Air Computing
arxiv.orgยท1d
๐Ÿ—๏ธSystem Design
Flag this post
Maximizing Efficiency of Dataset Compression for Machine Learning Potentials With Information Theory
arxiv.orgยท10h
๐Ÿ“ŠInformation Theory
Flag this post
Reverse Engineering the M1C1 LiDAR: cracking the protocol without documentation
dev.toยท1dยท
Discuss: DEV
๐Ÿ›Fuzzing
Flag this post
How I use an LLM to write and execute TypeScript "just-in-time" in my app
pscanf.comยท2dยท
๐Ÿฆ™Ollama
Flag this post
original โ†—
johndcook.comยท2dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธGraphBLAS
Flag this post
MySQL COUNT Scalar Subquery Optimization: The Complete Guide
dev.toยท12hยท
Discuss: DEV
๐Ÿ”Query Optimization
Flag this post
Efficient Hyperdimensional Computing with Modular Composite Representations
arxiv.orgยท10h
๐ŸงฎVector Databases
Flag this post
Gradient Flow Equations for Deep Linear Neural Networks: A Survey from a Network Perspective
arxiv.orgยท10h
๐Ÿ”ฌDeep Learning
Flag this post
Instant Parameter Selection for Modular Systems (b, p, t, r)
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ“TLA+
Flag this post
Tool-Calling Agents on Laptop Intel Arc GPUs: Dockerizing Qwen3-8B with Ipex-LLM
yourlabs.orgยท20hยท
Discuss: Hacker News
๐Ÿฆ™Ollama
Flag this post
CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction
arxiv.orgยท1d
๐Ÿ“ŠDynamic Programming
Flag this post
Walsh-Hadamard Neural Operators for Solving PDEs with Discontinuous Coefficients
arxiv.orgยท3d
๐ŸŒ€Naiad
Flag this post