iiinova — where your digital self keeps evolving

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Panicz Maciej Godek

@PaniczGodek.functional.cafe.ap.brid.gy

I like cycling, swimming, pizza, ice cream, comics, computer games and Lisp programming in Emacs. Currently I'm developing #GRASP - the GRAphical Scheme […] 🌉 bridged from ⁂ functional.cafe/@PaniczGodek, follow @ap.brid.gy to interact

Posts Replies Media

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 02/10/2026

I just learned that my Onward! essay, "Programs Should Be Comics, Their Execution -- Animation", has been published in the ACM Digital Library (Open Access): dl.acm.org/doi/10.1145/3840586.3843… Many thanks to everyone involved!

A drawing of myself holding the front page of my essay and pointing to it enthusiastically

002 2

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 21/09/2026

I recently managed to develop a fairly robust model for documents and editing operations in (literate) #GRASP. I bet you've never seen the factorial function in #Scheme this tall

The definition of the factorial function in Scheme displayed in GRASP (so opening and closing parentheses have their same height which covers the inside of the expression), but every sybol is placed in a separate line

000 0

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 31/08/2026

Fun fact for Super Mario fans: koopa troopa means "dead man's poo" in Polish (although it's spelled with u rather than oo)

100 1

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 31/08/2026

Thank goodness we managed to bring regulations to social media platforms - we no longer need to worry about the mental well-being of the future generations

Homer Simpson in the bath tub ("Regulating social media platforms") and Bart Simpson sneaking from behind to hit him with a chair ("Porn chatbots")

000 0

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 07/08/2026

Actually 'Anthropic' here is a portmanteau of 'anthropos', which means 'human', and 'atrophy', which means 'decline'

A meme from ex-twitter from a few months ago:

"The creator of ChatGPT is named 'Altman,' as in 'alternative to human', and he leads OpenAI, which is completely closed.

His main opponent is the company 'Anthropic', meaning 'human-centered' is led by 'Amodei', as in 'loves gods'.

Then there's 'Gemini', meaning 'two-faced', from a company that said it will do no evil.

Brilliant work as always, Kojima

122 2

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 27/07/2026

@chlopmarcin właściwie to można z tego zrobić mema:

Mem strojącego się klauna:

Pomalowana twarz:
"Move fast and break things"

Pomalowane oczy:
Anuluj wewnętrzne badania, z których wynika, że Twój produkt jest szkodliwy

Zakładanie peruki:
Wspieraj ludobójstwo w Birmie

W pełni wystrojony klaun:
"Zapewniamy, że nasze procesy są w pełni bezpieczne"

000 0

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 29/06/2026

I just learned that my essay was conditionally accepted to the Onward! conference! To celebrate this, I decided to share the last page (containing the abstract) and the first page (containing the title). I got some great feedback from the reviewers, so I'll spend the next month improving my work

A portrait-shaped image consisting in top 2/3 of a blue sky and in the bottom 1/3 of a green grass. In the bottom right corner there is a fragment of a desk an an elbow of a person presumably standing beside it.

Over the blue sky, there is a white comic cloud frame containing text written with a futuristic font: "The year is 2026. A growing number of software developers delegate their thinking to machines controlled by big corporations, which secretly pursue their own hidden agendas. Worst of all, the developers have less and less of an idea how the systems that they develop work.

How can we bring back fun and engagement to the software development process?

Embark on a fascinating journey through over 150 colorful panels of this avant-garde visual essay to find out!"

Below there are four white comic clouds that contain text written using a font akin to hand-writing:

"A masterpiece and an instant classic. Every panel is pure gold, filled with historical scenes and symbolism. The author is the Jodorowsky of comics and the Morrison of western, and vice versa. - Ścisław Dercz"

"It's just like science-fiction, only without the fiction part - the author's Mom"

"Internal Server Error - ChatGPT"

"Is this really what my taxes help fundings? - a frustrated Europen taxpayer"

111 1

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 21/02/2026

My work for today is done.

A screenshot of the dr Racket IDE containing 2htdp/image code that generates a surprised face

000 0

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 17/12/2025

Yesterday I went to visit my old Philosophy Department, and I saw this poster on one of the professor's doors (bearing the title "Mathematical Logic and Foundations 1847-1947 and crediting Joel Friedman as its author), and I felt that I have to share it on […] [Original post on functional.cafe]

At the top, there's the inscription:

MATHEMATICAL LOGIC AND FOUNDATIONS 1847-1947

below is a diagram that resembles a two-headed creature.

The left head is captioned "DeMorgan", and it contains "DeMorgan's Laws (1847)" and "Logic of Relations (1859)"

The right head is "Boole" and it contaions "Laws of Boolean Algebra, 1847"

Between is a smaller circle captioned "Jevons" with "Logic Machine (1869)", and right below it - "mrs. Ladd-Franklin" with "Numerical test for validity of syllogism (c. 1880)"

Then at the level of chest there are Frege and Cantor with numerous contributions.

At the same level is left arm, with a Venn Diagram of Peirce, Venn and Schroeder. The right arm is Weierstrass. Then Frege is connected to Russell (at the level of pelvis) with a strip captioned "propositional logic", and Cantor is similarly connected to Hilbert with "predicate logic". In the middle of pelvis is Zermelo.

The left arm is extended to the fist captioned "Whitehead". The right arm consists of two long forearms captioned Peano and Dedekind, which reaches three fingers? - Brouwer, Lovenheim and Weyl.

Now from the pelvis there are monster's two legs: Post and Skolem, and there's a "Fraenkel" circle dangling between them. The left foot of the monster is Tarski, the right foot - Goedel, and between them is von Neumann. There's also Gentzen and Bernays placed between the 3 feet. There's also Lewis, Nicod, Wittgenstein, Likasiewicz, Schoenfinkel, Herbrand, Church, Turing and a few others

000 0

Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 22/11/2025

If you're new to x-box, you may find some of its buttons confusing, so I made this chart to help you figure it out

A picture of an x-box game pad with buttons labeled:
- A, B - constants
- X, Y - variables
- D-pad - direct sum
- X-box button - cartesian product
- left analog - function composition
- right analog - product
- menu button - identity
- view button - injection
- upload button - Knuth's up arrow

05917 59