Official account for the King of the Principality of Worcester.
Public Key
npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Profile Code
nprofile1qqstyqqjtxf2kle67fxheh7zl0ksk5c2eu0chkdkc77n04nkpf4sjnspz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsxahrda
Show more details
Published at
2024-11-19T16:38:28Z Event JSON
{
"id": "e5b70eae0f4e5695d7bf359a23d1109543f6e42e21c179692397b0da3232955b" ,
"pubkey": "b200125992ab7f3af24d7cdfc2fbed0b530acf1f8bd9b6c7bd37d6760a6b094e" ,
"created_at": 1732034308 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://ieji.de/users/deavmi",
"activitypub"
]
],
"content": "{\"name\":\"Koning Van Worcester 👑️\",\"about\":\"Official account for the King of the Principality of Worcester.\\n\\n⚜️ Lesotho's House of Mopaniworm\\n\\nWhen not fulfilling my duties as a royal I dabble in IoT (more generally networking) and compiler development.\\n\\n#WorcesterRoyal #Afrikan\",\"picture\":\"https://ftp.ieji.de/mastodata/accounts/avatars/111/647/028/595/737/870/original/183b3bd31c5ab450.png\",\"banner\":\"https://ftp.ieji.de/mastodata/accounts/headers/111/647/028/595/737/870/original/53114c0c023505c4.jpg\",\"nip05\":\"[email protected] \"}" ,
"sig": "d359e5f55fdc370a2353b5a134ecda14ca14bcc16de1c96a035484708442b6769f426a38392fe159388eb05ec753dd52b4d5ac4827fa144b26d3f0083f97f8fb"
}
Last Notes npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ If an I/O error occurred during reading of the file, who knows - the file could be valid or not but you wouldn't know as your `read()` bogged out midway. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ A case, validate a file. If the validation passes then return a `Result.Ok`, if not then return a `Result.Error`. If, however, somebody just ran a Killdozer over your computer whilst plugged in then you'd probably (wild guess) get some sort of I/O error - which should be an out-of-band error - it's truly exceptional. Returning `Result.Error` would be wrong as it stands for "validation failed". npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ What are some of your takes on the use of optional and result types versus throwing of exceptions. I'm slowly beginning to think that exceptions should be for exceptional cases; i.e. things that cannot fit into the `true/false` of a result. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Along with that has been a lot of fun with building the `PackageManager` itself which allows multiple package sources (repositories) to be attached and then searched across via a regular expression. When hits are found they are saved and a `Package` can be retrieved and then later `fetch()`'d. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Been working on a package manager for my compiler, so far it's been very fun. Even added some nice bells and whistles by doing a chunk-transfer with `std.net.curl` I can fetch a few chunks, append the retrieved bytes and call some call back (in my case one that updates a progress bar). npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Average Catholic bedside table npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Been on Nostr for the longest time npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Royal salad npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1rv4…ft5j Ruby redemption would be that Matz is a Mormon, so Salt Lake City by indirectness ;) npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1f9y…4ew4 true npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Cato npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Me today npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1cfg…6emp you forgot the sickle and hammer npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1rml…xa6t re-apply that to the standards update. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1jqc…3mpt the part where the wench stopped yapping and the nature started naturing was the part I enjoyed npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1jqc…3mpt the part where the stench stopped yapping and the nature started naturing was the part I enjoyed npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1rml…xa6t master slave makes sense npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ I can't be the only one who uses `[65, 66, 66, 65]` as testing bytes whenever you need something to stand out when doing low-level protocol work? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Once I feel that I am compliant (not many calls to implement) I will then get a Plan9/9front machine setup in (what I hope to be) my new lab (in the garage, like a true chad). npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Currently, for now, I am testing by letting v9fs (the 9p driver in the Linux kernel), generate the traffic that I need to decode. This is useful because once I get the Tattach/Rattach done then I should be able to get to the more common I/O operations. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ As part of my introduction to Plan 9 I decided the best way to start in a more comfortable environment would be to implement a 9P protocol decoder (with a state machine), encoder and then a high-level client/server framework. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Okay now THIS is epic! npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub19la…hm4g Sup npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1aj5…pmv8 pasko? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ He goes into the detail of several projects and also the one he worked on, fetchmail, and used that as a way to get first hand experience which he used later to write a good portion of the book. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ A little make-pretend coding bug here, something which pattern matching would automatically solve because you would explicitly have the correct components extracted and you can't ever did it incorrectly (because you are not using methods to extract components but letting the compiler generate such calls for you) npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1a3h…m44m hey, what board is that? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1y9d…2mvl got some links? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h ah npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1vvd…gqrk neato! Took a look now npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ What is it that I could be up to? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h Little bit of a tangent. But worth mentioning because it is important to show these ideas, anarchist-capitalistic ones, are not from some utopia. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h Civil Rights Act as in the "you must serve all customers and cannot operate your business as you please and choose who to admit", that one? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h crypto? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h what happened? npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Next chapter npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Tail call optimization helps with issues like this npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1qxm…mn3t And it is as easy as `apt install ngircd` npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ This is cool npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1gh2…la5f @npub1wc2…4sk7 Great stuff npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ New FM tuner arrived :) npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Heyhey npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Bloody good evening I say npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ I am SO happy with this. 1 hour of work. If I keep this up everyday we will be ballin! npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ So this happens before the typecheck/codegen begins, meaning it has no idea that an alias emplacement has occurred. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ A glass of 🍷️ and an hour later, I implemented alias expressions in my compiler :) npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ A glass of 🍷️ and an hour later, I implemented alias expressions in my compiler :) npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h King if true npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub108p…yev6 love to see this man, great stuff! npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ I haven't been posting much because I have been so busy with it but this was worth the announcement. Next time you shall hear from me on this topic will be in August - I prefer long term posts over shorter term ones for such a big project. 🧠 npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ Credit where credit is due, this was one of those minor problems that just needed a fresh set of eyes - couldn't have done it without you Gustav Meyer. A small piece of code called in the wrong order caused the entry point module (the one on the command-line) to duplicate its presence in the module tree (used for type checking and code generation later on), I built on top of Gustav's simple-but-effective fix and it's now perfect! 💫️ npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1mh5…233h Isn't a part of the whole color revolution thing just playing into Russia's hands. npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1qy2…j04u @npub108p…yev6 😂 npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub108p…yev6 ah npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub108p…yev6 where is this from? 😂 npub1kgqpykvj4dln4ujd0n0u97ldpdfs4ncl30vmd3aaxlt8vzntp98qew09pk Koning Van Worcester 👑️ @npub1z3m…2f6l don't give into alcohol 🕊️
