betaveros ❎ @betaveros@cybre.space

cool paper on fuzzing that can even solve video games!: https://www.syssec.ruhr-uni-bochum.de/media/emma/veroeffentlichungen/2020/02/27/IJON-Oakland20.pdf

happy new year 🎆

237 bytes so far https://github.com/betaveros/advent-of-code-golf-2019 #AdventOfCode

some #AdventOfCode day 1 analysis https://blog.vero.site/post/advent-rocket

let's see if i can avoid repeating yesterday's performance

one of my friends made this puzzlescript #puzzle game recently. i think it's pretty tricky (i'm nowhere close to finished) but really good! https://jacklance.github.io/PuzzleScript/play.html?p=cfdcc6e23f1fb3e9de2fd42fafaf4d4c

inspect this snake https://matthewrayfield.com/goodies/inspect-this-snake/

#webdev

a few days ago i was prompted to look at perl 6 aka raku more closely and learned that its ternary operator was ?? !!, as in

my $result = $score > 60 ?? 'Pass' !! 'Fail';

coincidentally, ?? !! also perfectly captures my reaction to finding out about it

diagram from course readings

ah yes the 62 genders https://secure.php.net/manual/en/class.gender.php

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?