Article URL: https://cfsg.axiommath.ai/
Comments URL: https://news.ycombinator.com/item?id=50261647
Points: 35
# Comments: 15
AI & ML
Classification of Finite Simple Groups Formalized in Lean
Hacker News0 views
Source：https://cfsg.axiommath.ai/
PreviousA 28-Year-Old DOGE Operative Gutted USAID. HR Had No Record of Him Working ThereNextApple introduces the new 14‑inch MacBook Pro with M6
Related posts
10 Open-Source Robotics Repositories for 3D Perception, VLA Policies, and Sensor Calibration
0dev.to
My self-modifying system tried to wire a gate-passing module into its own protection enforcer. It was refused three times.
0dev.to
Last night an AI agent performed brain surgery on a mouse
0Hacker News
The Card-Update Page Gets One Visit. Design for That Visit.
0dev.to UX
SaaS Partner Scout: A Script for Identifying GitHub SaaS Project Contributors
0dev.to GitHub
WARN Act and Retaliation — Can Your Employer Punish You for Asking About a Layoff Notice?
0dev.to Data