Lean4 Macros for Implementing Custom Quantifiers
🤖AI
Flag this post
Show HN: AI Photo Cleaner iOS app (on-device processing)
Flag this post
Lesson 3 - Scene graph and transform
infinitecanvas.cc·5h
Flag this post
I'm taking a three-week LLM fast!
Flag this post
🌻 don't take the bait
jasmi.news·6h
Flag this post
Which AI’s Might be Conscious, and Why it Matters (guest post)
dailynous.com·1d
🤖AI
Flag this post
The jailbreak argument against LLM values
lesswrong.com·8h
Flag this post
SurgiATM: A Physics-Guided Plug-and-Play Model for Deep Learning-Based Smoke Removal in Laparoscopic Surgery
arxiv.org·15h
Flag this post
Pluralistic Behavior Suite: Stress-Testing Multi-Turn Adherence to Custom Behavioral Policies
arxiv.org·15h
Flag this post
AI is all about inference now
infoworld.com·11h
🤖AI
Flag this post
We're Already Living in a Sci-Fi World
lesswrong.com·1d
🧬Evolution
Flag this post
Richie Adubato, who coached New York Liberty to three WNBA Finals, dies at 87
nytimes.com·5h
Flag this post
Chronosphere takes on Datadog with AI that explains itself, not just outages
venturebeat.com·1h
Flag this post
Fantasy hockey: Rest of season rankings and player projections for 2025-26
nytimes.com·1h
🤖AI
Flag this post
Loading...Loading more...