aloiscochard.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

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

submitted 19 days ago • 1 comment

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

submitted 20 days ago • 0 comments

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

submitted 23 days ago • 0 comments

i worked one day and i feel like my friend’s youngest, who came back from her 1st day of kindergarten and said “school was ok, but i don’t think i’ll go back”

submitted 26 days ago • 1 comment

What's wrong with this picture?

submitted 26 days ago • 2 comments

True or False ? 😁 #ai #humor #chatgpt

submitted 27 days ago • 1 comment

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. 😇

submitted 26 days ago • 2 comments

@flvr1n.bsky.social welcome friend :)

submitted 26 days ago • 1 comment

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

submitted 35 days ago • 437 comments

On this MLK Day of all days, may his memory inspire us to continue the fight for justice and equality.

submitted 42 days ago • 0 comments

🩷

submitted 47 days ago • 152 comments

“The essence of tyranny is the denial of complexity.” ― Jacob Burckhardt . . . . . Made with #python #mlx #matplotlib #particlelenia #alife

submitted 51 days ago • 2 comments

We produce 93x the volume in oil yearly, to what would be required to store 1000 years of nuclear waste if the entire planet ran on nuclear energy. The storage problem for nuclear waste is anything but intractable, even with current infrastructure. large.stanford.edu/courses/2021...

submitted 56 days ago • 2 comments

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

submitted 62 days ago • 2 comments

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-...

submitted 83 days ago • 3 comments

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...

submitted 84 days ago • 1 comment

Dispersion No 1 - For Ricky Rorsch

submitted 84 days ago • 0 comments

submitted 90 days ago • 7 comments

A chaotic attractor, where order meets chaos. #MathArt #Mathematics #SciArt Made with #python #matplotlib #numpy.

submitted 86 days ago • 3 comments

Do you have some good resources to share to get started on learning about bisimulation and they encoding?

submitted 89 days ago • 1 comment

Newton fractal created using the Newton method applied to a Blaschke product. Made with #Python, #Matplotlib, #NumPy and #Sympy.

submitted 89 days ago • 0 comments

I have been playing around with Dafny for some time now and this looks very nice. dafny-annotator: a tool that adds logical annotations to a Dafny method until the verifier can prove it correct. arxiv.org/abs/2411.15143

submitted 94 days ago • 1 comment

This may be a place to run from fascism. For now. But it is not the place to organise the fight back against fascism. We need that place.

submitted 97 days ago • 0 comments

An awesome set of submissions already at 2025 FunctionalConf - confengine.com/conferences/... .. the topic / language diversity is mind blowing ..

submitted 105 days ago • 0 comments

A rose made of galaxies..

submitted 107 days ago • 353 comments

ChatGPT prompt: "Based upon what you know about me, create an image of what you think my life looks like."

submitted 107 days ago • 0 comments