NAIAD OUT NOW! 🪷 Finally! After 5 years of development and dedication, I'm excited to share my first game with you. Immerse yourself in a poetic, dreamlike, and serene experience. 😊 ✨ Steam (PC/Mac) ✨ PS5 / PS4 ✨ Xbox Series / One ✨ Nintendo Switch
Sébastien Boisgérault
@boisgera.bsky.social
🦉 Mathematics for Humans 🖥️ Software Engineering 🚀 Technology 🎓 Higher Education 🏦 Mines Paris – PSL
www.lemonde.fr/societe/arti...
Mathématiques : la France toujours dernière d’Europe et championne des inégalités
Avec un score de 484 points pour les élèves de CM1, la France se situe sous la moyenne des pays et provinces de l’OCDE en mathématiques et dernière, avec la Wallonie, des pays européens, selon les rés...
lemonde.fr
*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025. simons.berkeley.edu/workshops/si...
Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science
This is an exciting time for mathematics, as new technologies for mathematical reasoning provide novel opportunities for mathematical research, communication, and discovery. Mathlib, a library of form...
simons.berkeley.edu
Advent of Code in Zig https://kristoff.it/blog/advent-of-code-zig/
Avent of Code in Zig | Loris Cro's Blog
https://kristoff.it/blog/advent-of-code-zig/
kristoff.it
🗣️ "According to Bessis, however, the way math is taught in school emphasizes the logic-based part of this process, when the more important element is intuition." www.quantamagazine.org/mathematical...
Mathematical Thinking Isn’t What You Think It Is | Quanta Magazine
The mathematician David Bessis claims that everyone is capable of, and can benefit greatly from, mathematical thinking.
quantamagazine.org
www.producthunt.com/posts/marimo
marimo - The next-generation Python notebook | Product Hunt
marimo is an open-source notebook for Python and SQL, designed from the ground up for working with data — run reproducible experiments, version with git, share as interactive web apps, and execute as ...
producthunt.com
🎉 Announcing our seed fundraise! We've raised a $5M seed round led by Anthony Goldbloom and Shyam Mani at AIX Ventures to continue building marimo and other Python data tools, with participation from Jeff Dean, @clemdelangue.bsky.social, Wes McKinney, and others. marimo.io/blog/seed-an...
Announcing Marimo Inc.
We've raised a $5M seed, led by AIX Ventures.
marimo.io