wen @cyrridven@computerfairi.es
Anyone recommend any parsers for ASCII-style proof notation? Stuff like this: https://plfa.github.io/Lambda/#derivation
Python: "we renamed `bad_name` to `much_better_name`, isn't that neat!"
Python programmers: "cool, yeah, so we're gonna have to import `six.bad_name_compat` to get that from now on"
Why you shouldn't wait for "problems to come up" before making your spaces accessible.
RT @Nicole_Lee_Sch@twitter.com
I'm engaging in a lot of encounters lately where people see me masked and ask "oh should I grab a mask?" And I know it comes from a good place, but it can be really exhausting. Why? Let's talk about access labor. 1/10
🐦🔗: https://twitter.com/Nicole_Lee_Sch/status/1575508198504669184
Yes.
RT @BrianBielanski@twitter.com
@quatoria@twitter.com Serious question -- if COVID will never go away... are you going to mask-up for the rest of your life.
🐦🔗: https://twitter.com/BrianBielanski/status/1574421840260345856
Truly cannot overstate how many problems in the Python ecosystem are solved by trying again next week.
Unfortunately, I can relate 😓
RT @ADHD_Alien@twitter.com
Just as a "fun" addition, I actually really taped pencils to my hand to be able to keep drawing
🐦🔗: https://twitter.com/ADHD_Alien/status/1141024951232847877
CS departments please do this
RT @cyberglot@twitter.com
CS departments everywhere should do this https://twitter.com/paperwhispers/status/1569967379186081792
🐦🔗: https://twitter.com/cyberglot/status/1570342557325877250
It's extremely common to (1) never really look at all your data—there's just too much!—and (2) to start with someone else's pre-trained model—it's too expensive to train from scratch!—with no way to know on what data it was trained.
horror
Genuinely horrified by this thread since to me "unreachable via text" and "very stable" (in both the woman's features and the gore theme) means there's a good chance that there's a lot of unlabeled images in the dataset depicting the abuse of one specific woman.
horror
RT @supercomposite@twitter.com
🧵: I discovered this woman, who I call Loab, in April. The AI reproduced her more easily than most celebrities. Her presence is persistent, and she haunts every image she touches. CW: Take a seat. This is a true horror story, and veers sharply macabre.
🐦🔗: https://twitter.com/supercomposite/status/1567162288087470081
So Springer now wants us to hawk our own publications, and offers us 30% commission on those sales of our work that WE make? Cool.
I guess just doing the research, writing, reviewing, and editing wasn’t enough? 🤷🏻♀️
And maybe you could use Ruby's method call or block syntax to hack parentheses or curly braces into your DSL?
You could probably define a function which within its block argumentt overrides the kernel method_missing, so sentences don't need a set starting word.
An object with a BNF grammar and an evaluation function, which feeds its method_missing to a shift/reduce parser and returns itself, except when the full input is consumed, when it passes the resulting tree to the evaluation function, and returns the result.
Please, someone tell me not to do this, I don't have the handwidth to spare.
If you write a parser as a Ruby object that consumes its method_missing arguments, I guess you could just do full blown NLP or define any context-free grammar as a DSL?
RT @dmitrytsepelev@twitter.com
Check out my experimental gem for creating natural–ish DSLs with Ruby 🙂 Link: https://github.com/DmitryTsepelev/natural_dsl
🐦🔗: https://twitter.com/dmitrytsepelev/status/1554407425482047488
These kind folks proved my Haskell correct!
RT @agdakx@twitter.com
Two new papers for you:
"Practical Generic Programming Over a Universe Of Native Datatypes" w/ Lucas Escot at @icfp_conference@twitter.com
"Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs" w/ @omelkoni@twitter.com, Lucas Escot, @jmchapman_@twitter.com, and @ulfnorell@twitter.com at #haskell22
P.S. I archived that page on the web archive, and all the grades changed! Which one do I consume now?!
https://web.archive.org/web/20220730234650/https://www.cchit.org/book-on-recommender-system/
Preferably one that covers everything up to the state of the art.
