Alcides Fonseca
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
ilyasergey.net/assets/pdf/p... looks pretty cool!
scholar.google.com
November 18, 2025 at 7:59 PM
ilyasergey.net/assets/pdf/p... looks pretty cool!
wait until you try lean. There’s no going back!
November 18, 2025 at 7:45 PM
wait until you try lean. There’s no going back!
In out seminars, we now have real-time cc over the slides. You can’t not have them.
November 11, 2025 at 11:20 AM
In out seminars, we now have real-time cc over the slides. You can’t not have them.
in which universe?
October 28, 2025 at 5:45 PM
in which universe?
Mathematics use Alphabetical Ordering for authors. Aaron Abdul will become a popular academic name in 25 years :D
October 28, 2025 at 12:06 PM
Mathematics use Alphabetical Ordering for authors. Aaron Abdul will become a popular academic name in 25 years :D
would you be that surprise to see it in a Haskell tutorial? I wouldn’t :)
October 21, 2025 at 10:01 AM
would you be that surprise to see it in a Haskell tutorial? I wouldn’t :)
type family? that is no introduction!
October 21, 2025 at 9:41 AM
type family? that is no introduction!
It's the second best (partially) musical YouTube video on tail recursion after www.youtube.com/watch?v=-PX0...!
!!Con 2019- Tail Call Optimization: The Musical!! by Anjana Vakil & Natalia Margolis
YouTube video by Confreaks
www.youtube.com
October 20, 2025 at 6:04 PM
It's the second best (partially) musical YouTube video on tail recursion after www.youtube.com/watch?v=-PX0...!