Aloïs Cochard
@aloiscochard.bsky.social
United we stand, divided we fall.
Reposted by Aloïs Cochard
Join Andreas Herrmann for a live talk at #BazelCon on the challenges that we faced while creating rules_haskell to build Haskell with Bazel, and how Buck2’s novel features allowed us to create more efficient Haskell build rules for Buck2.
Learn more: events.linuxfoundation.org/bazelcon/
Learn more: events.linuxfoundation.org/bazelcon/
October 16, 2025 at 1:30 PM
Join Andreas Herrmann for a live talk at #BazelCon on the challenges that we faced while creating rules_haskell to build Haskell with Bazel, and how Buck2’s novel features allowed us to create more efficient Haskell build rules for Buck2.
Learn more: events.linuxfoundation.org/bazelcon/
Learn more: events.linuxfoundation.org/bazelcon/
Reposted by Aloïs Cochard
Beautiful momma cuddling her baby…🥰
August 22, 2025 at 12:05 PM
Beautiful momma cuddling her baby…🥰
Reposted by Aloïs Cochard
The view from the International Space Station as an aurora meets the sunrise in space.
August 2, 2025 at 10:44 PM
The view from the International Space Station as an aurora meets the sunrise in space.
Reposted by Aloïs Cochard
I move 1 along the x-axis, then rotate by an angle theta, I move 1/phi, rotate by theta, I move 1/phi², rotate by theta etc etc.
Made with #python #numpy #matplotlib
Made with #python #numpy #matplotlib
July 13, 2025 at 9:22 AM
I move 1 along the x-axis, then rotate by an angle theta, I move 1/phi, rotate by theta, I move 1/phi², rotate by theta etc etc.
Made with #python #numpy #matplotlib
Made with #python #numpy #matplotlib
Reposted by Aloïs Cochard
Reposted by Aloïs Cochard
600 million white points make up this image of mine on a canvas of 60000 pixels x 60000 pixels. Each point is a root of the parametric polynomial:
4𝑥⁶ + (−10𝑡₁³ + 10𝑡₁² − 10𝑡₁ + 10𝑖)𝑥² + (10𝑡₂³ − 10𝑡₂² − 10𝑡₂ + 10𝑖)𝑥
𝑡₁, 𝑡₂ ∈ ℂ, |𝑡₁| = |𝑡₂| = 1
4𝑥⁶ + (−10𝑡₁³ + 10𝑡₁² − 10𝑡₁ + 10𝑖)𝑥² + (10𝑡₂³ − 10𝑡₂² − 10𝑡₂ + 10𝑖)𝑥
𝑡₁, 𝑡₂ ∈ ℂ, |𝑡₁| = |𝑡₂| = 1
March 22, 2025 at 6:12 PM
600 million white points make up this image of mine on a canvas of 60000 pixels x 60000 pixels. Each point is a root of the parametric polynomial:
4𝑥⁶ + (−10𝑡₁³ + 10𝑡₁² − 10𝑡₁ + 10𝑖)𝑥² + (10𝑡₂³ − 10𝑡₂² − 10𝑡₂ + 10𝑖)𝑥
𝑡₁, 𝑡₂ ∈ ℂ, |𝑡₁| = |𝑡₂| = 1
4𝑥⁶ + (−10𝑡₁³ + 10𝑡₁² − 10𝑡₁ + 10𝑖)𝑥² + (10𝑡₂³ − 10𝑡₂² − 10𝑡₂ + 10𝑖)𝑥
𝑡₁, 𝑡₂ ∈ ℂ, |𝑡₁| = |𝑡₂| = 1
Reposted by Aloïs Cochard
This month's #GodotEngine 4.4 was a massive, feature-packed release!
Like most big releases, it had a few quirks which we're addressing in priority for a 4.4.1 maintenance update.
Please test this new release candidate before we tag the 4.4.1-stable release!
godotengine.org/article/rele...
Like most big releases, it had a few quirks which we're addressing in priority for a 4.4.1 maintenance update.
Please test this new release candidate before we tag the 4.4.1-stable release!
godotengine.org/article/rele...
Release candidate: Godot 4.4.1 RC 2 – Godot Engine
Closing in on the first maintenance release for Godot 4.4, fixing a number of regressions and other significant bugs found in this month's feature release.
godotengine.org
March 21, 2025 at 6:07 PM
This month's #GodotEngine 4.4 was a massive, feature-packed release!
Like most big releases, it had a few quirks which we're addressing in priority for a 4.4.1 maintenance update.
Please test this new release candidate before we tag the 4.4.1-stable release!
godotengine.org/article/rele...
Like most big releases, it had a few quirks which we're addressing in priority for a 4.4.1 maintenance update.
Please test this new release candidate before we tag the 4.4.1-stable release!
godotengine.org/article/rele...
Reposted by Aloïs Cochard
it really feels like parser combinators are always nice and easy to use until they're faced with literally any real-world scenario.
in this case: apparently megaparsec doesn't support interleaving custom lexers that can fail. you know, like literally every lexer that supports string literals
in this case: apparently megaparsec doesn't support interleaving custom lexers that can fail. you know, like literally every lexer that supports string literals
March 20, 2025 at 10:11 PM
it really feels like parser combinators are always nice and easy to use until they're faced with literally any real-world scenario.
in this case: apparently megaparsec doesn't support interleaving custom lexers that can fail. you know, like literally every lexer that supports string literals
in this case: apparently megaparsec doesn't support interleaving custom lexers that can fail. you know, like literally every lexer that supports string literals
Reposted by Aloïs Cochard
Differential λ-calculus defines linear functions as being functions f such that f (t + u) = (f t)+ (f u). So that linearity in the logical sense is like linearity in the algebraic sense. Which is kind of cute.
Here + is non-determinism. 1/6
Here + is non-determinism. 1/6
February 12, 2025 at 6:58 AM
Differential λ-calculus defines linear functions as being functions f such that f (t + u) = (f t)+ (f u). So that linearity in the logical sense is like linearity in the algebraic sense. Which is kind of cute.
Here + is non-determinism. 1/6
Here + is non-determinism. 1/6
Reposted by Aloïs Cochard
Beauty in mathematical groups: the identity element of the abelian sandpile group for a 2048x2048 square lattice.
Computation turbocharged by MLX Apple GPU metal kernels 🏃♂️⚡️
Made with #python #mlx #matplotlib
#ComplexSystems #selforganizedcriticality #GenerativeArt #MLX
Computation turbocharged by MLX Apple GPU metal kernels 🏃♂️⚡️
Made with #python #mlx #matplotlib
#ComplexSystems #selforganizedcriticality #GenerativeArt #MLX
February 11, 2025 at 7:10 PM
Beauty in mathematical groups: the identity element of the abelian sandpile group for a 2048x2048 square lattice.
Computation turbocharged by MLX Apple GPU metal kernels 🏃♂️⚡️
Made with #python #mlx #matplotlib
#ComplexSystems #selforganizedcriticality #GenerativeArt #MLX
Computation turbocharged by MLX Apple GPU metal kernels 🏃♂️⚡️
Made with #python #mlx #matplotlib
#ComplexSystems #selforganizedcriticality #GenerativeArt #MLX
Reposted by Aloïs Cochard
Visualizing a relaxed configuration of the Abelian Sandpile model (2d Bak–Tang–Wiesenfeld model). Simulation accelerated with custom GPU kernels in Apple's MLX.
Made with #python #mlx #matplotlib.
#selforganizedcriticality
Made with #python #mlx #matplotlib.
#selforganizedcriticality
February 8, 2025 at 9:48 AM
Visualizing a relaxed configuration of the Abelian Sandpile model (2d Bak–Tang–Wiesenfeld model). Simulation accelerated with custom GPU kernels in Apple's MLX.
Made with #python #mlx #matplotlib.
#selforganizedcriticality
Made with #python #mlx #matplotlib.
#selforganizedcriticality
Reposted by Aloïs Cochard
What's wrong with this picture?
February 5, 2025 at 10:19 AM
What's wrong with this picture?
Reposted by Aloïs Cochard
February 5, 2025 at 12:16 AM
Reposted by Aloïs Cochard
Order 5 Cubic Hyperbolic Fractal
#mathart #hyperbolic #codeart
The glitch was caused by an angle calculation were I didn't failsave against acos values out of range.
Happy Birthday to me. 😇
#mathart #hyperbolic #codeart
The glitch was caused by an angle calculation were I didn't failsave against acos values out of range.
Happy Birthday to me. 😇
February 5, 2025 at 7:48 AM
Order 5 Cubic Hyperbolic Fractal
#mathart #hyperbolic #codeart
The glitch was caused by an angle calculation were I didn't failsave against acos values out of range.
Happy Birthday to me. 😇
#mathart #hyperbolic #codeart
The glitch was caused by an angle calculation were I didn't failsave against acos values out of range.
Happy Birthday to me. 😇
@flvr1n.bsky.social welcome friend :)
February 5, 2025 at 1:59 PM
@flvr1n.bsky.social welcome friend :)
Reposted by Aloïs Cochard
The remote work debate was funny because it forced the question "Is a job something valuable you do or is it a place you go to be watched like daycare" and the answer for a lot of them was yeah it's the daycare thing now come on inside recess is over
January 27, 2025 at 3:25 PM
The remote work debate was funny because it forced the question "Is a job something valuable you do or is it a place you go to be watched like daycare" and the answer for a lot of them was yeah it's the daycare thing now come on inside recess is over
Reposted by Aloïs Cochard
On this MLK Day of all days, may his memory inspire us to continue the fight for justice and equality.
January 20, 2025 at 1:49 PM
On this MLK Day of all days, may his memory inspire us to continue the fight for justice and equality.
Reposted by Aloïs Cochard
Reposted by Aloïs Cochard
“The essence of tyranny is the denial of complexity.”
― Jacob Burckhardt
.
.
.
.
.
Made with #python #mlx #matplotlib
#particlelenia #alife
― Jacob Burckhardt
.
.
.
.
.
Made with #python #mlx #matplotlib
#particlelenia #alife
January 11, 2025 at 4:02 PM
“The essence of tyranny is the denial of complexity.”
― Jacob Burckhardt
.
.
.
.
.
Made with #python #mlx #matplotlib
#particlelenia #alife
― Jacob Burckhardt
.
.
.
.
.
Made with #python #mlx #matplotlib
#particlelenia #alife
Reposted by Aloïs Cochard
A classic proof without words showing that
1+3+5+...+(2n-1)=n²
taking advantage of the fact that 2025 is a square and therefore it's the sum of all odd numbers from 1 to 89!
#MathArt #Mathematics #HappyNewYear
Made with #python #matplotlib
1+3+5+...+(2n-1)=n²
taking advantage of the fact that 2025 is a square and therefore it's the sum of all odd numbers from 1 to 89!
#MathArt #Mathematics #HappyNewYear
Made with #python #matplotlib
December 31, 2024 at 11:05 AM
A classic proof without words showing that
1+3+5+...+(2n-1)=n²
taking advantage of the fact that 2025 is a square and therefore it's the sum of all odd numbers from 1 to 89!
#MathArt #Mathematics #HappyNewYear
Made with #python #matplotlib
1+3+5+...+(2n-1)=n²
taking advantage of the fact that 2025 is a square and therefore it's the sum of all odd numbers from 1 to 89!
#MathArt #Mathematics #HappyNewYear
Made with #python #matplotlib
Reposted by Aloïs Cochard
This was the strangest AWS re:Invent I can remember, for one very specific reason. (No, it wasn't the nausea-inducing LED floor tiles outside the keynote hall)
Some thoughts from the ground in Las Vegas: newsletter.goodtechthings.com/p/what-hath-...
Some thoughts from the ground in Las Vegas: newsletter.goodtechthings.com/p/what-hath-...
What hath AWS wrought?
thoughts on a very, very strange re:Invent
newsletter.goodtechthings.com
December 10, 2024 at 7:05 PM
This was the strangest AWS re:Invent I can remember, for one very specific reason. (No, it wasn't the nausea-inducing LED floor tiles outside the keynote hall)
Some thoughts from the ground in Las Vegas: newsletter.goodtechthings.com/p/what-hath-...
Some thoughts from the ground in Las Vegas: newsletter.goodtechthings.com/p/what-hath-...
Reposted by Aloïs Cochard
Lately I've been thinking about relativistic ray tracing. Regular ray tracing assumes infinite lightspeed, so it doesn't matter if the light comes from the source to your eye or from your eye to the source. But in relativistic physics, you have to trace the ray backward in both space and time...
December 9, 2024 at 4:54 PM
Lately I've been thinking about relativistic ray tracing. Regular ray tracing assumes infinite lightspeed, so it doesn't matter if the light comes from the source to your eye or from your eye to the source. But in relativistic physics, you have to trace the ray backward in both space and time...
Dispersion No 1 - For Ricky Rorsch
December 9, 2024 at 10:33 AM
Dispersion No 1 - For Ricky Rorsch