Solving LinkedIn Queens Using Haskell
imiron.ioยท2dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Rethinking Scientific Rankings with Breakthrough and Disruption Metrics: A Complex Network-Based Approach
arxiv.orgยท3d
๐Ÿ“ŠCitation Graphs
The most efficient algorithm for detecting claws in general graphs, with a runtime of O(m ฮ”) โ€” where m is the number of edges and ฮ” is the maximum degree โ€” is n...
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Global and Local Contrastive Learning for Joint Representations from Cardiac MRI and ECG
arxiv.orgยท40m
๐ŸŒ€Riemannian Computing
Granular-Ball-Induced Multiple Kernel K-Means
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
building the CLI tool that I wish shadcn/ui had
dev.toยท7hยท
Discuss: DEV
๐Ÿ“ŸCLI Design
Learning from Anatomy: Supervised Anatomical Pretraining (SAP) for Improved Metastatic Bone Disease Segmentation in Whole-Body MRI
arxiv.orgยท2d
๐Ÿง Machine Learning
Writing Toy Software Is a Joy
quiz.businessexplain.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
A Visualization Framework for Exploring Multi-Agent-Based Simulations Case Study of an Electric Vehicle Home Charging Ecosystem
arxiv.orgยท1d
๐Ÿ‘๏ธSystem Observability
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.orgยท40m
๐Ÿ“ŠRate-Distortion Theory
Plant cells decide their fate by listening to neighbors and sensing their size
phys.orgยท15h
๐Ÿ•ธ๏ธAlgebraic Topology
A family of graph GOSPA metrics for graphs with different sizes
arxiv.orgยท3d
๐Ÿ”—Graph Isomorphism
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.orgยท3d
๐Ÿ—œ๏ธLZW Variants
Convergent and divergent connectivity patterns of the arcuate fasciculus in macaques and humans
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
On the convergence of computational methods for the online bin stretching problem
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Stabilizing randomized GMRES through flexible GMRES
arxiv.orgยท3d
๐ŸงฎSMT Solvers
Behavioral Anomaly Detection in Distributed Systems via Federated Contrastive Learning
arxiv.orgยท2d
๐Ÿ‘๏ธObservatory Systems
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.orgยท1d
๐Ÿ“Error Bounds
HarmonyOS5-NewsAPP-NewsDetailPage
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กRSS Extensions