I Saw the Future of Robotics in a Virtual Duck That Chases My Cat https://www.wired.com/story/i-trained-a-microduck-to-be-my-cats-butler/
@mariyadelano > I’ve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don’t realize you can automate processes with simple programmin...
One Pepper, Every Door I built Pepper’s voice features with one customer in mind: my dad. Reading a screen isn’t always easy for him, and I wanted him to be able to just talk to Pe...
The Poincare conjecture in HOL Light, formalized by Claude Opus 5.5 following Perelman. ~ John Harrison. https://github.com/hol-light-family/Poincare #HOL_Light #AI4Math #AI #Math