🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ“ Interval Arithmetic

Numerical Analysis, Verified Computing, Error Bounds, Precision

I Stopped Wasting Time in Excel When I Learned These 3 Functions
makeuseof.comΒ·2d
πŸ“‡Indexing Strategies
Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.orgΒ·2d
πŸŒ€Differential Geometry
Orders of magnitude (time)
en.m.wikipedia.orgΒ·3h
⏰Time Crystals
Reloading classes in python and shared borders
andrewpwheeler.comΒ·2hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
TabResFlow: A Normalizing Spline Flow Model for Probabilistic Univariate Tabular Regression
arxiv.orgΒ·9h
πŸ“ŠCount-Min Sketch
Linear scan with lifetime holes
bernsteinbear.comΒ·2dΒ·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/programming
πŸš€Compiler Optimizations
Antihydra
bbchallenge.orgΒ·1dΒ·
Discuss: Hacker News
🎞️Tape Combinatorics
Quality Precision
lesswrong.comΒ·19hΒ·
Discuss: Hacker News
βœ…FLAC Verification
busy beaver function
ncatlab.orgΒ·3d
βš”οΈLean Theorem
Notes on Autograd
aschrein.github.ioΒ·18hΒ·
Discuss: Hacker News
⚑Incremental Computation
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.orgΒ·9h
πŸ—‚οΈVector Databases
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.netΒ·2dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”—Functional Compilers
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.orgΒ·9h
✨Algebraic Effects
CRYSTALS - The Gently Introduction
dev.toΒ·4dΒ·
Discuss: DEV
βš—οΈAlgebraic Coding
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.comΒ·1d
🌊Stream Processing
Nullable vs. Nullable in C#
einarwh.noΒ·18hΒ·
Discuss: Lobsters, Hacker News, r/programming
βœ…Format Verification
Relacy Race Detector is a verifier for relaxed memory models
1024cores.netΒ·23hΒ·
Discuss: Hacker News
⚑Hardware Transactional Memory
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.ioΒ·1dΒ·
Discuss: Hacker News
πŸ“Linear Algebra
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.orgΒ·9h
πŸ•ΈοΈNetwork Topology
Luhn algorithm – Credit card number verification
en.wikipedia.orgΒ·2dΒ·
Discuss: Hacker News
πŸ”„CRC Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap