developer of HomestakerOS https://github.com/ponkila/HomestakerOS research in programming languages at Oxford University
91 Followers
It seems that Eilenberg-Moore categories have a connection to automatic parallelization, by interleaving monads with coinductive data types. This abstracts recursion morphisms, which corresponds to basic principles of GPGPU computing.
At this rate, it will be +20 Celsius in 20 days, right?
https://github.com/jhvst/nix-config/commit/4dfac76d7a31a0fee3f656242fb6aaefe23a30d5
Farcaster and @moo became the fifth and sixth largest funder of my PhD studies
Discord asking gov ID and/or facescan to access certain channels is crazy. Like, my account is 9 years old and my linked Twitter account is old enough to drink. Read the room???
Python: The Documentary | An origin story https://www.youtube.com/watch?v=GfH4QL4VqJ0
btrfs is toasted for archival nodes: latest erigon cannot keep up with mainnet on 2xRAID0 SN850X (100k/30k r/w IOPS) NVMes ... moving to LVM managed XFS