Cercerilla @cercerilla@octodon.social

Our bird has now learned to say “George! Get down from there!” He doesn’t do it, but he can say it now.

The more I use #golang the more I find its nearly complete lack of a type system, and associated verbosity, inexcusable.

Every single time I have to touch Ansible I remember why I was so excited to be able to work on Converge.

Reading ars-Technica’s editorializing about ad blockers & playing the worlds smallest violin. Oh boo-hoo publishers might need to innovate and figure out how to sell content without mercilessly exploiting readers for ever last minuscule scrap of data that can be mined and mindshare that can be exploited.

Ad-tech is killing the world and I haven’t the smallest shred of sympathy for any entities that won’t move beyond that broken exploitive model.

Is there any scientific reason why smoke detectors always start the chrip of doom in the middle of the night? Observation bias? A deep seeded hatred in REM sleep? Also why do they still use 9v batteries that nobody has kept around since the 90s so you have to go slowly insane as the tell tale smoke detector slowly chirps away at your very soul minute by minute as you wait for any store in the world to open since it’s New Year’s Day.

I just ripped my last pair of pants, but I work from home, so who'll know? 🤷🏻‍♀️

I'm spending my New Years eve researching which types of humidifiers are safest for avian respiratory systems. How about you?

It's been a slow burn, but there's no putting the fire back in the matches now. We're in a world where ad-tech is pervasive in nearly every communication form, and getting more and more effective at massive scale individual targeting and understanding how to affect individual people. There's no material difference between the tech that makes you buy a Starbucks Latte and the tech that makes you start to support Nazis.

One thing that isn't discussed enough is how the current dominance of ad-tech on the internet actively facilitates propaganda, e.g. of the sort used by Russia or US super-PACs to influence elections. We've built a system that is incredibly efficient and finely tuned to follow individuals around and target them with information specifically tailored to each demographic to maximally affect their feelings and actions, and commoditized this access to human minds

I'm currently auditing the source for Shreddit https://github.com/x89/Shreddit before using it to clear my data from reddit; has anyone who's more comfortable reading Python than I am gone through and audited the source recently? I don't want them to backchannel any of the data I'm deleting into an external database.

I needed a mental break from the #haskell book so tonight I decided to pick back up with #converge and start trying to get a 0.7.0 release out. Mostly bugfixes and migrating from glide to dep, but the major feature will be a total rewrite of the HCL parser, with the goal of eventually allowing us to migrate toward a more powerful configuration language.

I'm presenting on Strongly Typed Deep Learning with #haskell in a few weeks to the #StLouis machine learning and data science meetup.

I wish that #haskell's #tensorflow story was a bit better. I see a lot of potential for some really great capabilities to emerge from the combo of a language great for DSLs and with a lot of correctness guarantees, but the current solutions seem to require too much #categorytheory for a gentle intro to non-haskellers

Any suggestions for ways to make it easier?

Having to write #javascript makes me realize why so many startups have kegs in the office.

I made a sandwich with peanut butter, marmite, fresh basil, lime juice, and chili paste. It was pretty good, but would have made a great wrap with some shredded cabbage and tofu.

My Interest Tags:

#haskell
#idris
#coq
#golang
#devops
#netsec
#programming
#fp
#functionalprogramming
#plt
#queer
#feminism
#antiracism
#socialjustice
#trans
#vegan
#machinelearning
#diversity
#womenintech

#introductions

I'm Rebecca (she/her). First time mastadon user. I love #haskell #idris #coq and #PLT but I get paid to do #devops and I sometimes write #go. I also love #birds, #food, and #socialjustice.

I'm #queer, #vegan, and one of the #WomenInTech.