Nostr notes by Panicz Maciej Godek

Two days ago I actually had the opportunity to present my Onward! ...

2026-10-07T08:02:45Z

Two days ago I actually had the opportunity to present my Onward! essay.

The presentation consisted of a prerecorded video (which I think wasn't tragic) and a live Q&A session.

The first question was asked by Guy Steele, and I feel that I didn't deliver a satisfactory answer (it wasn't a hard question, and it wasn't unexpected either, so I could have prepared), and that's probably nothing, but I can't stop thinking that I could have answered it better.

I just learned that my Onward! essay, "Programs Should Be ...

2026-10-02T05:12:25Z

I just learned that my Onward! essay, "Programs Should Be Comics, Their Execution -- Animation", has been published in the ACM Digital Library (Open Access):

https://dl.acm.org/doi/10.1145/3840586.3843743

Many thanks to everyone involved!

I recently managed to develop a fairly robust model for documents ...

2026-09-21T10:04:10Z

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

'deo' stands for 'deodorant'?

2026-09-15T15:54:37Z

In reply to nevent1q…3mpa
_________________________

'deo' stands for 'deodorant'?

Actually 'Anthropic' here is a portmanteau of ...

2026-08-07T06:28:43Z

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

I've been using Claude for over a month now (paid ...

2026-01-19T14:19:20Z

In reply to nevent1q…e2dc
_________________________

I've been using Claude for over a month now (paid subscription), and I used it to build a fairly advanced website for a friend to run his photo studio, with a Kanban board, chat and notifications.

(Previously he used a work-flow based on Trello and Google Spreadsheets)

I can't say this is how I imagine a perfect development workflow, but I think it's a fairly good remedy to the way web development sucks in the today's world.

Previously I also used ChatGPT to vibe-code an appointment calendar app, and it generated a fairly good scaffolding, but I had to fix some stuff myself (because apparently it was losing context very easily, even though the entire thing was fairly small), but with Claude I had nothing to complain on so far.

(Plus the CLI integrates fairly nicely with my workflow)

I plan to give it a try with some more advanced tasks later on, but honestly I expect it to fail on most things that are non-standard.

Yesterday I went to visit my old Philosophy Department, and I saw ...

2025-12-17T09:40:12Z

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 providing 1976 as the creation year), and I felt that I have to share it on Mastodon (if nothing else, then just for the sake of writing alt text ;D)

It's around 3MB, so sorry about that, but I didn't want it to reduce it to make sure the letters remain legible.

I also found this write-up about the poster: https://dailynous.com/2014/10/28/mathematical-logic-foundations-chart/

when I designed my own instruction set for a virtual machine, ...

2025-12-15T08:32:53Z

In reply to nevent1q…0xt0
_________________________

when I designed my own instruction set for a virtual machine, instructions were written as

destination := source1 operator source2

and so.

The fact that we have two competing operand orders is perfectly dumb.

do you have any specific pointers to Apple's C extension with ...

2025-06-12T08:00:30Z

In reply to nevent1q…2kgd
_________________________

do you have any specific pointers to Apple's C extension with higher-order functions?

(I know that GCC has an extension called "nested functions", but I couldn't find anything equivalent in clang)

the alternative I see is that they don't take help from their ...

2024-12-02T10:17:09Z

In reply to nevent1q…dzef
_________________________

the alternative I see is that they don't take help from their parents, thus pumping up the pockets of landlords and bankers?

I wonder if you pronounce code in your head as you read it to me, ...

2024-10-27T09:03:31Z

In reply to nevent1q…5lyj
_________________________

I wonder if you pronounce code in your head as you read it

to me, figuring out arity is not a problem - but the lack of such hints obscures the roles of arguments, which I'd consider more problematic.

Consider

memcpy(a, b, c) // I didn't make it up!

vs

(copy-memory! #;to a #;from b #;of-size c)

LR (npub1d72…0m5w) Khleedril (npub1ulm…279k) Devine Lu Linvegan (npub1z8r…mrq6)

I don't know if I understand you correctly, but a few years ...

2024-10-26T20:45:36Z

In reply to nevent1q…gh79
_________________________

I don't know if I understand you correctly, but a few years ago I wrote this (about my experience with Scheme programming):

https://www.quora.com/How-do-you-think-code-as-used-in-programming-should-be-pronounced/answer/Panicz-Godek

#Scheme Workshop live stream: ...

2024-09-07T07:05:09Z

#Scheme Workshop live stream:

https://www.youtube.com/live/KQJ-Xl1ULGU?feature=shared