Got a talk on #opensource, infrastructure, #edge computing, or #AI? Submit it for the Open Developers Summit in Barcelona (CfP closes Nov 20) or Dallas (CfP closes Jan 20). Free to attend, open to all! š¤š§ #Linux https://news.opensuse.org/2026/07/22/open-dev-summits/
Related
@mariyadelano > Iāve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don...
@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 ...
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....
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