Max Froumentin

Digital, web, ICT4D, eGov, maths, graphics, programming.

[Max Froumentin @max_froumentin]

Moon over Greenland Dock

[Max Froumentin @max_froumentin]

@zigazou - fyi https://t.co/ydKOT6U9CV's cert expired a few days ago.

[Terrible Maps @TerribleMaps]

"Pearl Harbor was an inside job"

[Max Froumentin @max_froumentin]

Hey @github, math images generated from TeX syntax is brilliant, but could I suggest putting the expression's source code in the image's alt attribute? Better for assistive tech.

[Max Froumentin @max_froumentin]

@johnlsheridan From an old comment on John Williams:
"The Imperial March is plagiarism of A Spoonfull of Sugar Makes the Medicine Go Down from Mary Poppins. Once you know, you will never be able to stop hearing it."
https://t.co/fzseKJVQts

[Max Froumentin @max_froumentin]

New cube: Puppet Cube V1.
Looks very hard to solve

[Cliff Pickover @pickover]

Mathematics and beyond.

Stages of life. https://t.co/Bn3dabRcUu

[Hannah Fry @FryRsquared]

Here's my piece in full.

[Justin Lubin @jplubin]

I love statically-typed functional programming (STFP)! OCaml! Elm! Haskell! F#! You name it!

But… why haven't there been studies about how we actually *write code* in these languages?

Here are my efforts to change that! (an ad for my OOPSLA '21 paper with @sarahchasins 😄) 🧵

[Max Froumentin @max_froumentin]

Python, JS, Ruby and other scripting languages are great for learning to code, but writing production code without any static checking is a world of pain. Choose modern, robust and safe languages.

[yonatan @zozuar]

float i,j,g,e,s,k=sin(t);for(vec3 q,p;i++<2e2;p=q+=i>1e2?p-p+(e*.2+1e-6)*vec3(1,0,-1):vec3((FC.xy-.5*r)/r.y,1)*e*.1){p.z-=.4,p+=k*.1;p*=rotate3D(5.3,vec3(5,k*2.,1));e=p.y;for(j=8.;j-->0.;e+=min(.0,dot(abs(cos(p.xz*s*PI))-.5,r/r)/s*.5))s=exp(j-fract(t/PI*4.));}o+=e;
#つぶやきGLSL

[Max Froumentin @max_froumentin]

@alonzo_chvrches @pickover Shameless plug! https://t.co/4yboB8P79A

[Max Froumentin @max_froumentin]

New French car advert uses Aphrodite's Child's The Four Horsemen as its theme music. Somewhat incongruous but it's nice to see obscure but great songs from the 70s not forgotten. https://t.co/nec5fh18Fg

[Cliff Pickover @pickover]

Artificial intelligence, singularity, the future.

Robot wakes up and begins quest for world domination, but forgets one thing.... https://t.co/JmEhXoiDJm

[Max Froumentin @max_froumentin]

Indeed. Formal verification of dapps would make ethereum even more appealing.

[Dan Connolly @dckc]

impressive formal methods + smart contract work!
(not capability-based, so I still hope for more... :)

[Cliff Pickover @pickover]

This is a mathematics joke.

"A 2021 sequel to 'The Matrix' should really be called 'The Tensor'."

~Pedro Domingos, @pmddomingos

[Max Froumentin @max_froumentin]

Now using actual gravity simulation. Will our boids flock from different initial orbits? Find out at https://t.co/sJL4lxbZWf

[OM @om]

Happy 30th birthday World Wide Web (WWW). What a wonderful gift to the society (despite all the naysayers) @timberners_lee 🙏

[Max Froumentin @max_froumentin]

Then I crashed the browser and couldn't start it again. What an hommage 🧐

[Max Froumentin @max_froumentin]

Got to play with @timberners_lee's original browser on a NeXT. Thanks a lot @computermuseum

[Max Froumentin @max_froumentin]

Familiar names, @dckc, @CailliauRobert...