Curves to curve by.
mathwithbaddrawings.comยท1d
๐Ÿ“Document Calculus
Flag this post
Technology Short Take 189
blog.scottlowe.orgยท2h
๐Ÿ Homelab Archaeology
Flag this post
ACM CCS 2025 Spotlight: How Bad Was The Falcon Bug of 2019?
esat.kuleuven.beยท3d
๐Ÿ”Cryptographic Archaeology
Flag this post
Reinventing Assertions
beust.comยท4hยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Show HN: Hot or Slop โ€“ Visual Turing test on how well humans detect AI images
hotorslop.comยท12hยท
Discuss: Hacker News
๐Ÿ“ŠLearned Metrics
Flag this post
Anthropic's Pilot Sabotage Risk Report
alignment.anthropic.comยท8hยท
Discuss: Hacker News
๐Ÿ”Systems Hardening
Flag this post
Toward provably private insights into AI use
research.googleยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธDifferential Privacy
Flag this post
Exploring & Improving the Thread Safety of NumPy's Test Suite
labs.quansight.orgยท2dยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Automated Assessment of Feedback Loops in Multi-agent Reinforcement Learning Systems
dev.toยท2dยท
Discuss: DEV
โœ“Automated Theorem Proving
Flag this post
How Machine Learning Is Solving the $2 Trillion Contract Management Problem
dev.toยท3hยท
Discuss: DEV
๐Ÿ“„Document Digitization
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.orgยท11h
โœจEffect Handlers
Flag this post
Automated Socioeconomic Determinant Mapping for Precision Health Interventions
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
Flag this post
Unlocking Neural Network Secrets: The Geometric Awakening by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Flag this post
Derivative-Free Sequential Quadratic Programming for Equality-Constrained Stochastic Optimization
arxiv.orgยท3d
๐ŸงฎKolmogorov Bounds
Flag this post
Scalable Anomaly Detection in Oxygen Vacancy Defect Mapping via Enhanced Bayesian Filtering
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ฟOptical Forensics
Flag this post
Efficient License Plate Recognition via Pseudo-Labeled Supervision with Grounding DINO and YOLOv8
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Flag this post
Automated Calibration Optimization via Hybrid Bayesian Reinforcement Learning for Vector Network Analyzers
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠHomelab Monitoring
Flag this post
Robust Fitted-Q-Evaluation and Iteration under Sequentially Exogenous Unobserved Confounders
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post