Eric Griffis

intrepid metaprogrammer with an audacious vision :: PL PhD student @umichcse :: hobby photographer

[octodon.social/@cwebber (Christine Lemmer-Webber) @dustyweb]

Come work with me! Build the future of the internet!

Finally, the lisp/scheme hacking job you always wanted! Help us build our core tech! https://t.co/fNAYrhYawn
Or maybe you're more admin/operations but you'd like to dabble in / grow your tech skills! https://t.co/JWNRDx3wBj

[Eric Griffis @dedbox]

"Haha pwned!!"

"LOL"

[Alex Combessie @alex_combessie]

👹 Can you hack generative Language Models?

As this article on "Prompt injection attacks against GPT-3" shows, yes.

Prompt injection attacks involve using malicious inputs to make language models ignore their previous directions.

https://t.co/ZbNtnLbx5z

[Eric Griffis @dedbox]

The purpose of emotional abuse is to control and change the victim so that the abuser doesn’t have to change, work on, or improve themselves"

"If the abuser never looks at themselves, and they always get what they want from their victim, they will never change."

[gabby @GabriellaG439]

This is the best article on emotional abuse that I’ve ever read:

https://t.co/GbPUNVgflr

It’s written from the perspective of a former emotional abuser, and it provides excellent advice to ongoing victims of emotional abuse

[Eric Griffis @dedbox]

@krismicinski @deech My only use case for VS Code anymore is Live Share pair programming. The experience is pretty rough, but ime it's the least user-hostile collaborative editing platform right now that works on realistically-sized projects, and across all major OSes.

[Eric Griffis @dedbox]

@krismicinski @dogfishbar Yes, exactly like this. Very easy. If you also need to control the runtime environment, it's also possible to do everything in a docker container and have VSCode remote into it.

[Eric Griffis @dedbox]

@krismicinski Same, been using arch-wsl for a while and pretty happy with it for work stuff. Super easy to compile emacs w/ pdtfk nowadays, but mod keys get "stuck" down when alt-tabbing out. Have to hit alt again after tabbing back in. And still no GPU acceleration, afaik.

[David Moon @dm_0ney]

I'm seeking additional participants for a user study on text and structure editing! Details in thread. RTs appreciated 🙏

[Eric Griffis @dedbox]

@jameskjx @ShriramKMurthi @JAldrichPL My understanding is a brand is any type type used to statically "name" instances of a structural type, and a phantom type uses fully abstract brands to enforce a coercion discipline.

[Eric Griffis @dedbox]

@jameskjx @ShriramKMurthi @JAldrichPL This was where I found the book citation. They just borrowed the name.

[Eric Griffis @dedbox]

@ShriramKMurthi @JAldrichPL Oh right, that was just the starting point. It cites this paper in that footnote: https://t.co/jSVUB3meTF

and that's the one that cites Nelson '91 as introducing brands.

[Eric Griffis @dedbox]

@ShriramKMurthi I can't access the book, so I don't know what's in it, but it's mentioned here and there. I found it through this paper (c-authored by @JAldrichPL) which "cites" it in a footnote:

https://t.co/9syZYt68R7

[Eric Griffis @dedbox]

@ShriramKMurthi (Sorry, not trying to imply that you humiliated me. It was just a convenient path to an example of this bizarre phenomenon that most people are oblivious to.)

[Eric Griffis @dedbox]

@ShriramKMurthi So, to drive the larger point home, replace "movie" with "person" in your tweet and imagine all the influential people in your life routinely and publicly saying or acting on thoughts like this about you. It is humiliating, to say the least.

[Eric Griffis @dedbox]

This reads like propaganda. Performative nonsense like "uploading your Facebook photos to Tumblr instead" and indiscriminately clicking ads is ineffective at best. You lose privacy and Google gets paid either way. Choosing which monster to feed is not a serious solution.

[MIT Technology Review @techreview]

Help poison the data Big Tech uses to surveil you. Demand change. https://t.co/UvJo2Wi5kq

[Eric Griffis @dedbox]

@ShriramKMurthi Thanks for that! I've seen work that kinda picks up from here - given a partial spec (in a vast dynamic interactive medium), how to discover and optimize useful properties not observable or derivable by the software, in service of completing the spec.