betaveros ❎ @betaveros@cybre.space

https://medium.com/@selamie/remove-richard-stallman-fec6ec210794

it's coq time!!

haven't tooted in a while what's up masto

(if you're reading this in the local or federated timeline this includes you 👋)

i woke up today bored so here's a dead meme beaten further to death (featuring #haskell)

Multiplication by Juxtaposition: Evaluating 8÷2(2+2) in Haskell (and some other languages) https://blog.vero.site/post/multiplication

(1) how did I not hear about this
(2) why is pentatonix making meme music
(3) this is good

Despacito x Shape Of You https://www.youtube.com/watch?v=0pFIL2XSZdg

spent some time this week tweaking my website (again), trying to find the right combination of accessibility, standards-compliance, bandwidth-friendliness, and aesthetics: https://beta.vero.site/

feedback/critique appreciated!

i was a bit confused by the medium and (shall we say) paratext of this website, but signs point to it being carefully handcrafted HTML

this person's website is also fascinating, right down to the HTML source code as well: https://www.robinsloan.com/

wow.

interesting social media thoughts: https://platforms.fyi/

https://twitter.com/mywifecameback/status/1151515389039390720

after i've used my work laptop for a month, yesterday my mentor pointed out to me that it has two sets of mouse buttons. wtf lenovo?

did you hear about the Dora the Explorer live-action movie?

apparently there's a *novelization* https://www.amazon.com/Dora-Lost-City-Gold-Deluxe/dp/0062946897/

via https://twitter.com/jrome58/status/1150249986434752512

i realized in bed i forgot to add alt-text to the image, so: it's a screenshot of glimpse (the fork of gnu image manipulation software, not that they're visually distinguishable yet) except almost all the icons are replaced with little broken crossed-out file icons because i am not, in fact, a leet hacker

im a leet hacker

https://www.isi.edu/natural-language/mt/memorize-random-60.pdf

whoa I want randomly generated passphrases in iambic tetrameter

apparently somebody is selling their bath water on the internet and i found out because i saw memes about waluigi selling bath water and bernie sanders selling bath water (both of which are, i assume, not real things, albeit one more obviously so than the other)

nice, i forgot about keybase integration for a while but it works now

setting my monospace font on the code review site to hasklig made me way happier than it has any right to