Making a genetic algorithm to navigate a 2D spacecraft
a-biad.github.ioยท4dยท
Discuss: r/programming
๐Ÿ”ฒCellular Automata
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
Cellular Automata as Generators of Interleaving Sequences
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Efficient stream-based Max-Min diversification with minimal failure rate
arxiv.orgยท1d
๐ŸŒŠStreaming Algorithms
No pre-filtering in pgvector means reduced ANN recall
dev.toยท1dยท
Discuss: DEV
๐Ÿ—‚๏ธVector Databases
Geometry-aware Distance Measure for Diverse Hierarchical Structures in Hyperbolic Spaces
arxiv.orgยท1d
๐ŸŒ€Hyperbolic Geometry
An Efficient Method for Extracting the Shortest Path from the Dubins Set for Short Distances Between Initial and Final Positions
arxiv.orgยท1d
๐Ÿ“ŠComputational Geometry
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Understanding Backpropagation and Gradient Descent in Neural Networks
dev.toยท2dยท
Discuss: DEV
๐Ÿง Neural Codecs
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.orgยท23h
๐Ÿ’ปLocal LLMs
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.orgยท23h
๐ŸŒ€Riemannian Computing
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.orgยท23h
๐Ÿง Machine Learning
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.orgยท1d
๐Ÿ“ŠComputational Geometry
Cross-sensor self-supervised training and alignment for remote sensing
arxiv.orgยท23h
๐Ÿ“ŠLearned Metrics
๐Ÿ” Find All K-Distant Indices in an Array โ€“ LeetCode 2200 (C++ | Python | JavaScript)
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠAPL Heritage
Unscrambling disease progression at scale: fast inference of event permutations with optimal transport
arxiv.orgยท23h
๐Ÿง Machine Learning
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Counting with Categories (Part 2)
golem.ph.utexas.eduยท2d
๐Ÿ”€Category Theory
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgยท1d
๐ŸงชCBOR Fuzzing
Algorithms for pointwise and piecewise polynomial approximations to the trigonometric functions
arxiv.orgยท1d
๐Ÿ“Error Bounds