ENTITY
Sahil
Sahil
PulseAugur coverage of Sahil — every cluster mentioning Sahil across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
AI assists mathematical research with formal verification
A researcher is exploring the use of AI, specifically Claude Opus 4.8 and GPT 5.5 Extra High, for mathematical research, focusing on formal verification with Lean. This methodology aims to model human scientific progres…
-
Developer builds custom software stack for personalized workflow
Geir Isene has developed a personalized software stack, replacing most off-the-shelf applications with custom-built tools designed for his specific workflow. This includes a new desktop environment with a TUI library, a…