Posts by [email protected] | |
Post #Avzoe4UlqfHkNa5y3U by [email protected] | |
0 likes, 0 repeats | |
@regehr Counterfactuals - interesting stuff. The "What If" angle is c… | |
Post #AvzoeQp4pqbHcvlUlE by [email protected] | |
0 likes, 0 repeats | |
@pigworker Type inference to me is the "magic" by which a computer ca… | |
Post #AvzoeR0m8LxSDDEpzk by [email protected] | |
0 likes, 0 repeats | |
@pigworker Note that I didn't express my desire for (or against) inference,… | |
Post #AvzoeREFKGjWszXazY by [email protected] | |
0 likes, 0 repeats | |
@flippac @pigworker Reversibility (i.e. information preservation) and polymorph… | |
Post #Avzoejwrj77UwaYU2S by [email protected] | |
0 likes, 0 repeats | |
@rg9119 Post-UML stuff, such as epsilon. But roughly the same area. Models is t… | |
Post #AvzoekDWjARnmGLn0a by [email protected] | |
0 likes, 0 repeats | |
@pigworker @rg9119 It too is a fun world. "Intent" is a big deal in t… | |
Post #AvzoeuCTbvY6jtw5lA by [email protected] | |
0 likes, 0 repeats | |
@rg9119 @regehr @pigworker I have yet to succumb to the lure of bsky. Should I? | |
Post #Avzof33wf14YE30uDA by [email protected] | |
0 likes, 0 repeats | |
@pigworker @mevenlennonbertrand More people should witness the acts of 'act… | |
Post #Avzof3GLuszsqWooYC by [email protected] | |
0 likes, 0 repeats | |
@pigworker I get it. @totbwf and I started on two things that both exploded in … | |
Post #AvzofD2BaPbh9UGdrE by [email protected] | |
0 likes, 0 repeats | |
@MartinEscardo I hope to find some time to do that. But it's not a small as… | |
Post #AvzofHHZn8IKKNUzOy by [email protected] | |
0 likes, 0 repeats | |
I really out-meta myself some days.But I have described myself as a meta-meta-m… | |
Post #AvzofP1uzEWUM8Eb6e by [email protected] | |
0 likes, 0 repeats | |
@janno @MonniauxD I'm really working on typed meta-programming, where I wan… | |
Post #AvzoflWVMC3s7MiKps by [email protected] | |
0 likes, 0 repeats | |
[Yet another reason I stay the heck away from the admin side of undergrad and s… | |
Post #AvzofljyY6pwn915pg by [email protected] | |
0 likes, 0 repeats | |
@plragde We've gotten rid of almost all prereqs that were not content drive… | |
Post #AvzyVwBzpjAtqz4dd2 by [email protected] | |
0 likes, 0 repeats | |
@crazyeddie I work with a lot of people here whose research is closely tied to … | |
Post #AvzyqJ86GNVimdxrP6 by [email protected] | |
0 likes, 0 repeats | |
@julesh Yet another symptom of how capitalism as it currently exists is deeply … | |
Post #Aw0LhwRF2iIx2LtiLY by [email protected] | |
0 likes, 0 repeats | |
@pigworker Absolutely guilty. I've been working hard for a couple of years … | |
Post #Aw0M2JyZEyPlpSCf8i by [email protected] | |
0 likes, 0 repeats | |
@pigworker Well, I count my work with you as one giant project and it started s… | |
Post #Aw0MQ6Epy5FoAl9T8q by [email protected] | |
0 likes, 0 repeats | |
@ids1024 @julesh LOL, that's quite the giant leap!There's a whole sub-a… | |
Post #AwZA5ftXnuyzlEHei0 by [email protected] | |
0 likes, 0 repeats | |
@JonathanAldrich Yes! I'm a PR extremist who prefers 10 small PRs over one … |