5 Maths Gems #192
resourceaholic.comยท8hยท
๐Ÿ‘‘Isabelle
CEFS: Finally Solving CE's Mount(ing) Problems
xania.orgยท1d
๐Ÿ”—Archive Combinators
Check if Your Password Has Been Compromised
cubiclenate.comยท5h
๐Ÿ”“Password Cracking
Show HN: Fuzzy Matching in Excel: A Solution for Mac Users
getflookup.comยท4dยท
Discuss: Hacker News
๐Ÿ”Proximity Search
Ditch those words!
robinrendle.comยท4hยท
Discuss: Hacker News
๐ŸŽจSwedish Design Philosophy
The Sacred Conspiracy by Georges Bataille (1936)
marxists.orgยท2hยท
Discuss: Hacker News
๐Ÿ›๏ธPhilosophy
Git's hidden simplicity: what's behind every commit
allvpv.substack.comยท4hยท
Discuss: Substack
๐ŸŒณGit Internals
A Major Advance in the Search for Life on Mars
newyorker.comยท10hยท
Discuss: r/space
๐ŸฆดDatabase Paleontology
Behind the Scenes of MapYourGrid
mapyourgrid.orgยท2dยท
Discuss: Hacker News
๐ŸŒฑPersonal Wikis
Show HN: Pgdbtemplate โ€“ fast PostgreSQL test databases in Go using templates
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Test-Time Compute: The Hidden Revolution Powering Next-Generation AI Reasoning
dev.toยท1dยท
Discuss: DEV
๐ŸงฎCompute Optimization
Vibe Coding vs. Professional Coding: A Developerโ€™s Honest Take
dev.toยท19hยท
Discuss: DEV
๐Ÿ“Code Metrics
Automated Predictive Biomarker Discovery via Multi-Modal Integration and HyperScore Validation
dev.toยท17hยท
Discuss: DEV
๐Ÿง Machine Learning
Unidimensional semi-discrete partial optimal transport
arxiv.orgยท2d
๐Ÿ“Compression Bounds
Building a Free AI-Powered ATS Checker: From Problem to Production
dev.toยท23hยท
Discuss: DEV
๐Ÿ”BitFunnel
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Visual Programmability: A Guide for Code-as-Thought in Chart Understanding
arxiv.orgยท1d
โŸทBidirectional Programming
7 Best AI Reverse Image Search Softwares โ€” A Highly Comprehensive Guide
dev.toยท2dยท
Discuss: DEV
๐Ÿ—œ๏ธLZW Variants
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Advanced OCR