prozacchiwawa

programmer; i like idris, but also F#, reasonml, haskell and others.
- https://superheterodyne.net/

Website: https://superheterodyne.net/
Medium: https://medium.com/@prozacchiwawa

Public Key

npub1faqpsdxeajcl3mucuepuqqgm3t23vdn36ax06uffftud04nus99sd4ycn2

NIP-05 Address

prozacchiwawa_at_functional.cafe@momostr.pink

Profile Code

nprofile1qqsy7sqcxnv7ev0ca7vwvs7qqydc44gkxecawn8awy5547xh6e7gzjcpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dss5pc4q

Publishing to

nostr.wine

relay.damus.io

nos.lol

Author Public Key

npub1faqpsdxeajcl3mucuepuqqgm3t23vdn36ax06uffftud04nus99sd4ycn2

Show more details

Last Notes

2026-05-20 18:57:44 UTC

i'm not particularly good at it, but figuring stuff out from stepping through running code and looking over assembly sparks joy

2026-05-06 17:33:12 UTC

https://files.functional.cafe/media_attachments/files/116/528/824/739/360/366/original/74e56b6b0e2b08f2.png

2026-03-18 19:22:36 UTC

- reply

i wonder what could we add to the online codepens out there to move them one step closer to that ideal.
the current web certainly is capable of living up to that old vibe. short webgl+threejs examples can do amazing stuff and while it's possible to just pick up a phone or tablet and have a cube demo in a few minutes, something's still not there. i wonder what's in that missing set of stuff.

2026-03-04 02:57:20 UTC

something i notice (good) about automated code reviews is that they have good psychological habits, for lack of a better way of putting it.
- focus on the objective
- non-judgemental
- don't re-litigate the past
- yes-and rather than no
i try to be aware of when i'm not upholding these myself and do better, but it's a good reminder of what that looks like.

2026-03-03 19:45:44 UTC

suddenly power8 boxes on ebay are mostly 0gb ram.

2026-02-21 02:06:34 UTC

til: you can prefix left or right arrow with a number to change the number of columns you scroll in less.

2026-01-25 23:07:38 UTC

I've been given this 1992 book on excel. Maybe someone in the retro space is interested?
https://files.functional.cafe/media_attachments/files/115/958/217/037/047/727/original/8d62cb610c83909e.jpg
https://files.functional.cafe/media_attachments/files/115/958/217/039/029/392/original/1ea72bf9abd1de32.jpg

2025-11-04 15:51:17 UTC

- reply

it can be worse. cities wised up to the big box scam for the most part, but for a good solid 2 decades, box retailers were able to on average get significantly lower property and local tax arrangements on their stores (the dark store theory).

2025-11-04 15:31:03 UTC

- reply

i wonder what the percentage is when you add people who work full time for wal-mart and are also eligible for snap. the subsidy goes both ways.
it isn't bad that we have employers of last resort, but that we allow all profits to be captured while making the public subsidize their payroll.

2025-10-11 00:12:32 UTC

as a kid i never believed adults when they said they got aches when the weather was changing.

2025-08-03 18:37:08 UTC

- reply

back in the day, making a little ansi graphic dance was fun, but there's so much more expected now. I once thought a default codepen like interface might be good but the web platform is pretty heavy to actually use. Notebooks like jupyter seem almost there, but dont present interactive apps well. Godot is probably too heavy. What's in between nowadays?

2025-07-28 01:18:04 UTC

- reply

my parents generation were very hard on themselves about certain things and it really held them back. my dad fancied himself a diy person but didn't actually do many projects. he had a crippling perfectionism and i'm pretty sure in hindsight that needing to iterate on designs caused him to feel intense shame, because he'd do literally anything beside revisiting something he'd made or improving it.
it took me until my late 40s to recognize what was happening and seriously combat it myself. recognizing that learning means improving yourself even if the outcome of what you learned from needs improvement seems to be an idea entirely absent from my parents generation, i don't think i met a single person from their generation who thought that way.
i think this is one reason our parents didn't do this stuff as genx and millennials do.

2025-07-28 01:07:21 UTC

- reply

kind of amazing to do a diy this size. never would have done it without watching james bruton (seeing how easy it can be get a bunch of 3d printed mounting hardware), evan and katelyn (recovering and succeeding even when they do something wacky and regrettable even on bigger projects) and a bunch of others. it's neat that there are people out there showing how to think about what's available out there.
things i learned to think about:
- 3d printing, including sending out for 20 or more prints
- small hardware you can buy by the 100s
(hooks, eyes, washers)
- standard materials like m5 nuts and bolts you can have around in quantity without worrying about when they'll be useful
- when in doubt you can wing a lot with various kinds of cord, string, steel wire until exactly what you need is available.
- wood is passable if you all you need is right angles but lots of things are almost always better and easier.
- pvc pipe: it's not just for fluids anymore.
i haven't done anything like this yet and don't have any idea what i'd want to build with it, but i want to try using extruded aluminum channel stock in something.

2025-07-28 00:56:32 UTC

did all the remaining installation for the skylight build. cut risers to put tension on the hook and eye hardware for the middle panels. nice to have it fully complete and fold up the ladder.

2025-06-05 05:00:18 UTC

- reply

want one if there's one left

2025-06-04 20:56:12 UTC

i am once again asking you to ___keep me from buying something i don't need____.

2025-04-14 17:05:47 UTC

browser extension where the more you page around and search in a pdf the more dog eared and coffee stained it gets.

2025-04-09 20:23:29 UTC

i am templating the code, pray i don't specialize it any further.

2025-03-06 17:36:29 UTC

- reply

it tells you that. welcome to selecting a visual.

2025-03-06 17:35:44 UTC

- reply

you often get a choice by visual of 24 or 32 and rgba or abgr. depends on the x server.

2025-03-06 17:33:36 UTC

- reply

yes, it's simpler now than it used to be.
not all visuals were 24 bit back then and you had a choice of shared or own palette.

2025-03-06 17:21:30 UTC

- reply

ya it's different in _every_ version of _every_ framework without exception.

2025-03-06 17:20:08 UTC

- reply

as an example, i would absolutely ko-fi you $50 if you can find an example of animating a canvas in gtk# that only uses documented, supported methods to tell gtk to redraw the region.

2025-03-06 17:17:56 UTC

- reply

that part is expected. the unexpected part is "i've tried 103871 ways to tell the windowing system that this has not been newly exposed but i want to draw it _anyway_ and none of them work"

2025-03-06 17:15:07 UTC

- reply

you need that but also remember that people want to animate canvas too. every windowing system and framework makes this a different, incompatible pain.

2025-03-06 17:12:50 UTC

- reply

something to note with canvas is that you'll have to pass through or emulate some kind of damage management to your ultimate client when they want to change the canvas data from top down.

2025-03-06 17:10:54 UTC

- reply

It looks to me like the reason they're doing that is to minimize the amount of actual transferred data when doing expose. The paint each pixel's 16x16 rectangle individually rather than the whole bitmap. In days gone by, this was over a socket (and still is even if a local socket if you use XPutImage instead of xshm).

2025-03-06 16:59:30 UTC

- reply

page 167 has that (XCreateImage). I think of xpm as core X since it shipped together.

2025-03-06 16:55:54 UTC

- reply

https://student.cs.uwaterloo.ca/~cs246/current/resources/xlibbook-0.5.pdf <-- page 170.

2025-01-30 17:18:29 UTC

- reply

smol machine optimized Linux?

2024-11-04 05:40:00 UTC

Just discovered I have enough flour to bake and now I'm gonna keep thinking about that until I bake something

2024-09-22 18:39:01 UTC

- reply

judgy seagull is too real

2024-09-14 15:54:18 UTC

google: paper organization
every result: "I love setting up systems and organizing my life. todo lists are joy to me"
me: close tab

2024-09-03 05:28:42 UTC

- reply

rust is for the person who spent 6 years on a team of 12 watching crash logs coming in for a bug the day you arrived and having crash logs coming in for the same bug the day you left. it's not for you if your answer to software is 'i would simply not write bugs'.
rust is one step down a path i think is inevitable. software environments are becoming more strict and strictness is merging with proofs. some see beauty in shaping form from chaos and some see beauty in extracting form from order.

2024-09-03 03:37:57 UTC

i am _bad_ at crimp connectors

2024-08-29 20:20:30 UTC

cluster b is genx' sciatica

2024-08-09 23:03:25 UTC

"use odin to reflash your samsung phone"
"instead of odin, consider thor"
"heimdall is an open source replacement for thor and odin"

2024-07-31 07:21:36 UTC

- reply

allman brothers: jessica
playing for change version of when the levee breaks feat. john paul jones
natalie merchant: carnival