Paulo Cereda
@paulocereda.bsky.social
Brazilian bloke, TeX evangelist, duck enthusiast, devoted Catholic, Nintendo fan, Pringles-powered theoretical computer science researcher.
I used a price scanner to check a product, and it costs a @kevlin.bsky.social 😀
November 17, 2025 at 10:26 AM
I used a price scanner to check a product, and it costs a @kevlin.bsky.social 😀
Memento homo, quia pulvis es et in pulverem reverteris.
March 5, 2025 at 9:51 AM
Memento homo, quia pulvis es et in pulverem reverteris.
Hey, could you help my friend Vít with his awesome project? github.com/witiko/explt... Thank you! #TeXLaTeX
Create a web app for continuous evaluation and monitoring of explcheck results · Issue #28 · Witiko/expltools
To provide a sustainable, user-friendly platform for evaluating and showcasing the results of explcheck on all expl3 packages (from both current and historical TeX Live distributions), I propose de...
github.com
January 25, 2025 at 10:25 PM
Hey, could you help my friend Vít with his awesome project? github.com/witiko/explt... Thank you! #TeXLaTeX
It's that time of the year: the Great Tikzlings Christmas Extravaganza 2024! Enjoy! 😀❤️ #TeXLaTeX vimeo.com/1038963018
The Great Tikzlings Christmas Extravaganza 2024
The Great Tikzlings Christmas Extravaganza 2024. Source code available here.
vimeo.com
December 13, 2024 at 4:05 PM
It's that time of the year: the Great Tikzlings Christmas Extravaganza 2024! Enjoy! 😀❤️ #TeXLaTeX vimeo.com/1038963018
Meanwhile, I spotted a @kevlin.bsky.social at a telecom store in a mall in Rio de Janeiro. 😀 (unfinished Windows 11 setup)
December 1, 2024 at 6:42 PM
Meanwhile, I spotted a @kevlin.bsky.social at a telecom store in a mall in Rio de Janeiro. 😀 (unfinished Windows 11 setup)
Wait, so there's a Nix installer that supports OSTree-based distros? This changes A LOT.
November 30, 2024 at 12:28 PM
Wait, so there's a Nix installer that supports OSTree-based distros? This changes A LOT.
Nintendo game deals had no effect on me whatsoever.
5 minutes later...
I sort of purchased Echoes of Wisdom and Tears of the Kingdom. We ducks are very good at almost not purchasing games. 😀🦆
5 minutes later...
I sort of purchased Echoes of Wisdom and Tears of the Kingdom. We ducks are very good at almost not purchasing games. 😀🦆
November 25, 2024 at 6:20 PM
Nintendo game deals had no effect on me whatsoever.
5 minutes later...
I sort of purchased Echoes of Wisdom and Tears of the Kingdom. We ducks are very good at almost not purchasing games. 😀🦆
5 minutes later...
I sort of purchased Echoes of Wisdom and Tears of the Kingdom. We ducks are very good at almost not purchasing games. 😀🦆
Reposted by Paulo Cereda
Might seem a little early, but here's a few Christmas maths activities for various levels - in case anyone actually plans their lessons that far in advance!
github.com/loopspace/Te...
github.com/loopspace/Te...
Release Christmas Activities · loopspace/Teaching-Resources
Christmas Activities
This release contains PDF versions of the following various Christmas Activities, and an ODS version of the Large Christmas Data set.
Christmas Constructions: Construct a Chri...
github.com
November 24, 2024 at 5:52 PM
Might seem a little early, but here's a few Christmas maths activities for various levels - in case anyone actually plans their lessons that far in advance!
github.com/loopspace/Te...
github.com/loopspace/Te...