redmp (device hoarder)

Played at https://recurse.com (W'14), worked at https://twitch.tv, studying with Lindsey Kuper (npub1j8e…ncgu) at https://lsd.ucsc.edu. I use Haskell to do all the things only fast languages can do.

🔗: https://curious.software
💾: https://github.com/plredmond

Last Notes

2025-02-04 21:52:08 CET

- reply

paraphrasing: when interfacing with hardware, unexpected things may happen (perhaps it is incompletely documented or experiencing run of the mill wrong behaviors that result from interacting with the world, etc); the variety of states that it /could/ be in aren't always possible to predict (and therefore aren't possible to model).. if you /don't/ program defensively against this inevitability, then you assume wrong invariants (hence infinite loop, etc) and have a wrong model (2/2)

2025-02-04 21:43:25 CET

- reply

neither the blog post nor the user comment that i linked to mention "make illegal states unrepresentable" so i thought their discussion of it to be unintentional because they don't seem to recognize that concept is in play
paraphrased, the author of the user comment says that "make illegal states unrepresentable" isn't always possible in systems programming, and so you need to test program state at times, during runtime, to ensure things are as you expect (1/2)

2025-02-04 19:14:14 CET

this is the best unintentional critique of "make illegal states unrepresentable" I've seen https://lobste.rs/s/wucizv/no_panic_rust_nice_technique_for_systems#c_ysdzf9 tl;dr "shit happens"
#functionalprogramming #rust #haskell

2025-01-30 17:51:22 CET

- reply

well, geocities had a point-and-click gui for website creation iirc; using it was optional, and made it so that people who don't code can also have a website
(Am I remembering right? That was on geocities, right? a java thing)

2025-01-30 17:31:12 CET

- reply

the idea of a federated hosting platform is pretty interesting though..
solves the problem that many more people want websites than are willing to host, the undercommit that comes with renting your own vps, and implicitly creates a network effect via federation: Linking to another federated webhost could be detected locally and shared via activitypub

2024-12-01 10:40:28 CET

#haskell 'req' http client library has bad defaults:
- it retries a failed request 5 times with 50ms delay [potential DOS]
- provides json deserialization via aeson instances but no way to access received json on failure

2024-08-12 19:32:33 CEST

#repost #birdsite #scrunkycat #mathstodon #mathmemes #🌶️
https://recurse.social/system/media_attachments/files/112/950/235/393/122/538/original/a895b16f0ffccc6c.png