Sébastien Boisgérault
@boisgera.bsky.social
🦉 Mathematics for Humans 🖥️ Software Engineering 🚀 Technology
🎓 Higher Education 🏦 Mines Paris – PSL
🎓 Higher Education 🏦 Mines Paris – PSL
Reposted by Sébastien Boisgérault
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
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
December 10, 2024 at 9:24 PM
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
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
rewrite.md
GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
February 4, 2025 at 5:44 PM
Reposted by Sébastien Boisgérault
*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.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
December 2, 2024 at 10:08 PM
*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.berkeley.edu/workshops/si...
Reposted by Sébastien Boisgérault
Advent of Code in Zig
https://kristoff.it/blog/advent-of-code-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
November 25, 2024 at 4:07 PM
Advent of Code in Zig
https://kristoff.it/blog/advent-of-code-zig/
https://kristoff.it/blog/advent-of-code-zig/
🗣️ "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...
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.
www.quantamagazine.org
November 21, 2024 at 12:12 PM
🗣️ "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...
www.quantamagazine.org/mathematical...
Reposted by Sébastien Boisgérault
🎉 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...
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
November 19, 2024 at 7:45 PM
🎉 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...
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...