Francisco Ferreira

🌈🦄 pronouns he/his I am also at Mastodon with the handle @[email protected]

[Francisco Ferreira @franciscof]

I don’t tweet much, but I created ad mastodon account and I am quite happy with the activity there. My handle is @[email protected] I probably still won’t toot much though. Come and see how nice things are there!

[Francisco Ferreira @franciscof]

@OctopusEnergy EMERGENCY You have cut my power for the wrong reason for the second time in less than a week, please fix my service.
I can't believe you would do it again!!!!!!

[Francisco Ferreira @franciscof]

@PTOOP You can’t have a hole where a hole won’t belong!

[Francisco Ferreira @franciscof]

@jfdm @StrathCyber @StrathCIS @mspstrath @GlasgowCS @Glasgow_PL Congratulations!!!

[Daniel Litt @littmath]

In honor of pi day, let’s collaboratively try to compute pi. Pick an integer between 1 and 10,000,000 at random. Is it squarefree (not divisible by a square)? You can generate a number and check here: https://t.co/8AWDAuI1TX

For what this has to do with pi, see below.

[Francisco Ferreira @franciscof]

@Simon_JF That’s amazing! Are you using a rp2040?

[Francisco Ferreira @franciscof]

@cyberglot @jonmsterling Oh, I’m glad about this. Both aspects sound interesting. And I need to check Andromeda again, and I’m excited to see the dependent types with effects too!

[Francisco Ferreira @franciscof]

@cyberglot Sounds really interesting. Reminds me about PVS that has undecidable type checking so the type checker generates proof obligations. Could those be dealt with as effects? Sounds really cool!

[Francisco Ferreira @franciscof]

@eeriekeri Ahh, this requires a more intimate relationship with the AirPods than I’m ready to commit to. Our relationship works better if I pretend they just work.

[Francisco Ferreira @franciscof]

@eeriekeri That is neat. How do you know when that’s happening? They have very little interface

[Francisco Ferreira @franciscof]

@etrolleybus Such a happy pic!

[Jay Cummings @LongFormMath]

interviewer: can you explain this gap in your CV

me: yeah I was trying to make a complicated figure in TikZ and lost track of time and—

interviewer: say no more

[Filip Niklas @FilipNiklas]

Kudos to whoever made this.

[Francisco Ferreira @franciscof]

@fangyi_zhou_ Oberon is a similar but smaller language. Specially the latest version I think.

[Francisco Ferreira @franciscof]

@PerezJorgeA_ It was fantastic, thanks for posting!

[Tommy Siegel @TommySiegel]

it’s that easy!

[Francisco Ferreira @franciscof]

@Simon_JF @GlasgowCS Congratulations!!!

[Francisco Ferreira @franciscof]

@cyberglot Ehm, velado?