Sign in

Panicz Maciej Godek

@PaniczGodek.functional.cafe.ap.brid.gy
4 followers 2 following 83 posts

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

PostsRepliesMedia
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 02/10/2026
I'm reading the academic paper about Org-mode, and after seeing a reference to "Johnson and Johnson, 2000" I see another one to "Gentleman and Temple Lang (2004)", and I really don't know where this is heading.
000
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
Reposted by Panicz Maciej Godek
Konrad Hinsen @khinsen.scholar.social.ap.brid.gy · 25/09/2026
Lecture notes on "The Source Code of Science", by Roberto di Cosmo. hal.science/hal-05734828 Its ource code: github.com/rdicosmo/source-code-of-…
hal.science
The Source Code of Science
Research software is not data, and the FAIR principles — designed for data — do not carry over to it unchanged. These doctoral course notes take software as a first-class research output and work through what it takes to archive it, reference it precisely, and reproduce the results built on it. They introduce Software Heritage, the universal archive of source code, and the SWHID (ISO/IEC 18670) intrinsic identifier that names any source-code artefact by a cryptographic hash of its content. From there they build up software citation with the biblatex-software style, the qualified identifiers that pin an exact version, module or line range in context, and the practical workflows — Save Code Now, self-archival, artefact evaluation — that let a paper point at code that will still be there, and still be the same, years later. Written for PhD students and researchers across disciplines, suitable for self-study or taught delivery.
001
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 23/09/2026
Schemers should be proclaimed a terrorist organization
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 22/09/2026
Loved the last question from the Q&A, which suggests a new direction in the development of programming language tools, namely - enlispification: www.youtube.com/watch?v=SHEBNdOIMHk
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 22/09/2026
Związek Zawodowy Prawicowych Publicystów
000
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
Reposted by Panicz Maciej Godek
Ink & Switch @inkandswitch.com · 15/09/2026
Today we bring you the second @localfirstconf.com Lab Day video. Follow Ivy Reese @spiralganglion.com as she whirls through PlayBook: A Programmable Paper Notebook It's a blank page in the truest sense, for pulling ideas out of your head so you can feel and think differently about them.
youtube.com
PlayBook: A Programmable Paper Notebook
YouTube video by Ink & Switch
26917
Reposted by Panicz Maciej Godek
m0bi ⁂ @m0bi.mastodon.com.pl.ap.brid.gy · 14/09/2026
Znacie społeczny, pozaurzędowy portal gminy #Brwinów? Ten projekt, który powstał by uwolnić dane od platform bigtech i dać ludziom którzy nie chcą z nich korzystać? I opracował narzędzia, które pozwolą również w innych gminach uwolnić się od dominacji techbrosów i lokalnych układów trzymających […]
mastodon.com.pl
Original post on mastodon.com.pl
252
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 12/09/2026
RE: mastodonapp.uk/@leemadgwick/1172297… One absolutely lovable thing about Mastodon is that, if AI generated content is ever going to appear in my feed, I will simply unfollow the account that posted it. (There's plenty of other lovable things, such as no ads, no […]
functional.cafe
Original post on functional.cafe
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 06/09/2026
RE: dice.camp/@doyce/117224477061183017 I'd dare to say that doomscrolling facebook can legitimately be called 'wasting time' though
dice.camp
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 01/09/2026
RE: types.pl/@ratherforky/1171972144210… Wow there was a guy named Rolnick doing a performance on FARM
types.pl
000
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)
Koopa troopa
100
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
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 27/08/2026
RE: front-end.social/@hdv/1171661170305… Sometimes you just need to stand still to get ahead of the competition
front-end.social
000
Reposted by Panicz Maciej Godek
Depths of Wiktionary @depthsofwiktionary.wikis.world.ap.brid.gy · 15/08/2026
English entry for "abbr." on Wiktionary. The definition line reads as following:

Noun
1. Abbreviation of abbreviation.English entry for "mispeling" on Wiktionary. The definition line reads as following:

Noun
1. Misspelling of misspelling.English entry for "archaïc" on Wiktionary. The definition line reads as following:

Adjective
1. Archaic spelling of archaic.English entry for "absolete" on Wiktionary. The definition line reads as following:

Adjective
1. Obsolete form of obsolete.
380104
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 17/08/2026
[The pot of gold] The pot of gold Can be found At the bottom Of infinitely-scrollable Social media feed (Or so They seem To believe)
001
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
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 02/08/2026
[Me playing singing and playing guitar] This is what happens when you combine my poor guitar skills with my mediocre singing skills You don't have to listen to this but if you do, I'm so so sorry
functional.cafe
[Audio] Original post on functional.cafe
000
Reposted by Panicz Maciej Godek
Christian Tietze @ctietze.mastodon.social.ap.brid.gy · 29/07/2026
franktisellano.github.io/datatype What on earth! Turns data tuples into charts. As a font!
1110
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 22/07/2026
RE: mas.to/@nemo/116964462957953723 Seeing toots like this is a totally unexpected aspect of showing interest in #Scheme programming
mas.to
010
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 30/06/2026
- Co mówi Japończyk, gdy dostrzeże szansę wzbogacenia się? - O jeny!
010
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"A portrait-shaped, containing blue background at the top, and green background at the bottom. At the top there are large yellow letters spelling out "Onward!", and below smaller black ones saying "presents".

Below is a guy (that's me!) standing beside a desk with a keyboard and an old CRT monitor. The monitor displays the text with fancy comic-like letters:

"Programs should be COMICS, their execution - animation"

Below the desk is an inscription "Created by Panicz Maciej Godek".

In the bottom-right corner is a logo (designed by Conrad Barski) containing a head of a Lisp alien, saying "Warning: this product may contain trace amounts of Lisp"
111
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 13/06/2026
"C++ is not *just* fun" -- Bjarne Stroustrup
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 26/05/2026
[SRFI-2] I've been a keen user of the "and-let* macro defined in the SRFI-2. I've even authored its sequel, SRFI-202. But I never really liked the name. I mean, it does reveal that conceptually it's an amalgam of "and" and "let*. But as a word to be used in a language, it's rather clumsy. (In […]
functional.cafe
Original post on functional.cafe
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 13/05/2026
I recently got back to my work on literate #GRASP, and I think things finally started to look good. I implemented a new document representation (the previous one was built from cons-cells and multiple hacks), and I have some working tests that are capable of rendering this representation to […]
functional.cafe
Original post on functional.cafe
011
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 05/05/2026
I can imagine many futures, but in all of them there are only a few chairs
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 04/05/2026
RE: tldr.nettime.org/@tante/11651564206… To be honest, I don't see ChatGPT as anything more than a convenience over what the Internet already made possible. The Internet already makes you extra capable, and it already requires self-discipline and focus management (especially […]
functional.cafe
Original post on functional.cafe
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 30/04/2026
Well-typed programs can't go wro...
100
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 29/04/2026
[Unpopular opinion] Gerbil's square brackets are a much nicer notation than traditional Lisp's quasiquote
000
Reposted by Panicz Maciej Godek
Daphne Preston-Kendal @dpk.swhack.com.ap.brid.gy · 30/03/2026
Well, turns out I don’t get my salary for March. And it was an expensive month. Thanks to the unemployment system here, I will *eventually* get paid something, but I don’t know when or how much; and very probably I will be out of a job entirely. I would really appreciate help for me and my […]
chaos.social
Original post on chaos.social
001
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 30/03/2026
[Summary of Q1 2026] Hahaha, corpo-speech But it so happened, that I just finished working on my Onward! essay, and it's the end of March, and I haven't done much else in that period. It makes me kinda happy, because I feel that I finally accomplished something, after many failures and […]
functional.cafe
Original post on functional.cafe
000
Reposted by Panicz Maciej Godek
Clemens Nylandsted Klokmose @clemens.social.multiverset.net.ap.brid.gy · 18/03/2026
Had the pleasure of hosting the 2nd Software Substrates workshop yesterday together with my co-organiser Antranig Basman. See more here: 2026.programming-conference.org/hom… The position papers will be put online shortly.
2026.programming-conference.org
Substrates 2026 - Substrates-26 - ‹Programming› 2026
An increasing number of researchers see their work as interactive authoring tools or software substrates for interactive computational media. By talking about “authoring tools”, we remove the divide between programmers and users; “software substrates” let us look beyond conventional programming languages and systems; and “interactive computational media” promises a more malleable and adaptable notion of tools for thought we are striving for. This workshop aims to bring together a wide range of perspectives on these matters.
022
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 14/03/2026
Zuckerberg w grobie się obraca czytając, jakie głupoty ludzie wypisują w mediach społecznościowych
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 11/03/2026
RE: infosec.exchange/@beyondmachines1/1… that's just too good
infosec.exchange
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 05/03/2026
RE: fosstodon.org/@adafruit/11617201311… why that doesn't surprise me
fosstodon.org
000
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
Reposted by Panicz Maciej Godek
Fabio Manganiello @fabio.manganiello.eu.ap.brid.gy · 19/02/2026
Yes, the #EU has a lot of regulations. But remember that thanks to those regulations you can use a single USB-C cable that can charge anything, rather than 10 different connectors and adapters as it was common until 10-15 years ago. Remember that it’s thanks to those regulations if you no […]
manganiello.eu
Original post on manganiello.eu
0195
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 12/02/2026
My 2024 Causal Islands Berlin lightning talk is finally on youtube! www.youtube.com/watch?v=65sb3vfVfnA
002
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 06/02/2026
RE: mastodon.social/@murena/11586007382… Perhaps sharing this on Mastodon is a bit like preaching to the choir, but I think that it's also worth to mention that: - after Musk's acquisition, Twitter became a cesspit very similar to facebook, that attacks you with content that you […]
functional.cafe
Original post on functional.cafe
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 13/01/2026
[Big tech vs parenting] Yesterday evening my 6yo daughter discovered that you can invoke Gemini on my phone with a locked screen. I tried switching that off, but there's no such option. There's a possibility to request unlocking after the phone user attempts to enter Gemini, which sends the […]
functional.cafe
Original post on functional.cafe
000
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 12/01/2026
RE: mastodon.gamedev.place/@wolfpld/115… Actually, this toot made me log in back to X for the first time since before presidential elections in Poland, and gosh, what a terrible cesspit designed to radicalize people politically that place is. Also, Carmack was one of the […]
functional.cafe
Original post on functional.cafe
001
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 11/01/2026
RE: mastodon.online/@globalmuseum/11587… I bet there's an Emacs command to do that
mastodon.online
000
Reposted by Panicz Maciej Godek
Daphne Preston-Kendal @dpk.swhack.com.ap.brid.gy · 22/12/2025
Happy 50th birthday to Scheme! MIT AI Memo No. 349, ‘Scheme: An Interpreter for Extended Lambda Calculus’ was published on December 22, 1975 dspace.mit.edu/handle/1721.1/5794
1010
Reposted by Panicz Maciej Godek
Andy Wingo @wingo.mastodon.social.ap.brid.gy · 17/12/2025
new bloggery, in which our protagonist dreams of laurels wingolog.org/archives/2025/12/17/in…
wingolog.org
in which our protagonist dreams of laurels — wingolog
wingolog: article: in which our protagonist dreams of laurels
108
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
Reposted by Panicz Maciej Godek
kravietz 🦇 @kravietz.agora.echelon.pl.ap.brid.gy · 14/12/2025
As #Poland is now enacting the EU #DSA into its law, there’s a significant outcry about “censorship” from some political groups… and, of course, the usual #BigTech suspects - #Facebook and #Twitter. Just like the infamous Rubio statement about what these companies were _really_ fined for by EU […]
agora.echelon.pl
Original post on agora.echelon.pl
0016
Panicz Maciej Godek @paniczgodek.functional.cafe.ap.brid.gy · 12/12/2025
[GRASP development in 2025] I know, I know, there's still almost 3 weeks until the end of the year, but I also made a decision earlier that I'm going to write updates whenever I feel like it, and I've been browsing this year's statuses until I reached the summary of 2024, where I listed the […]
functional.cafe
Original post on functional.cafe
000