in progress cabinet vision
=> More informations about this toot | View the thread
anyone know what the fuck is happening here https://www.youtube.com/watch?v=ChS0eT683bA&ab_channel=HanxinZhao
=> More informations about this toot | View the thread
DeepSeek stuff is really a great story of capitalism: US markets were propped up by rampant speculation, with tons of players happy to waste billions in unoptimized tech to get to market first, and a less-resourced competitor made fundamental innovations to massively lower cost.
=> More informations about this toot | View the thread
More cabinet construction progress (not done!)
=> View attached media | View attached media | View attached media | View attached media
=> More informations about this toot | View the thread
Faculty dinner tonight
Person A: ah don’t worry, it’ll shut down (NSF) for a few days. They’ll remove the diversity stuff and it’ll go on as usual
Person B: well as someone working in equity that is very concerning to me
=> More informations about this toot | View the thread
wow, all NSF panels canceled until further notice it seems...
=> More informations about this toot | View the thread
why is it the case that Trump can unilaterally fire any federal employee? Is this really the rule? This seems like an insane amount of power. For example, could Trump realistically fire anyone who, say, participated in DEI activities?
=> More informations about this toot | View the thread
@simrob @chrisamaphone @rntz hi all, congrats on your excellent talk. It was really informative and made a ton of sense. I really got the message that you want to use Dusa (vs. ASP, say) in cases where grounding would just practically explode or nonterminate, and the talk really motivates this.
=> More informations about this toot | View the thread
there's a disturbingly normalized perspective in the US that "Trump is bad but come on, we all know the DEI stuff and authoritarian left stuff was a bit overboard."
=> More informations about this toot | View the thread
I am potentially interested in hiring a postdoc to work on declarative decompilation, I was going to hire someone else but it feel through when they got another offer they took for personal reasons, looking for someone who wants to publish in security, PL venues with me
=> More informations about this toot | View the thread
this is not meant to praise trump's character--i don't mean to lend any credibility to his judgement. But agree with the decision that a life sentence for maintaining a tor website is a bit off. Did the creator of the site facilitate murder himself? I understand btw, the serious atrocities of things like murder that happened on silkroad. am i missing something
=> More informations about this toot | View the thread
Trump is just a real scumbag and is obviously trying to be a dick to folks but...
i kind of agree with the silk road judgement of life being stupid?
am i wrong?
=> More informations about this toot | View the thread
I'm trying to give a little type checking project in my ugrad (2/3rd year PL) class. Any tips on a good type system to use (extension of STLC?). Not wanting recursive types, this is tricky, without just adding a Y combinator (possible but not useful for understanding). Thoughts?
=> More informations about this toot | View the thread
we cut the number of TAs a few years ago to balance the budget and you can really feel the downstream effects now, when my 100-person class has a single TA...
=> More informations about this toot | View the thread
Does anyone know if splash '25 attendance is possible virtually? Singapore is a long way for me for personal reasons during that time
=> More informations about this toot | View the thread
would love to submit a grant to NSF's Formal Method in the Field. Have been brainstorming but decide I would need someone interested in FM to work with--reach out if you would like to consider it
=> More informations about this toot | View the thread
i opened up this card for my fiancée and I to use but it has been a major pain: it's through bank of America, which charges service fees unless you keep a $500 balance, then paying the card is annoyingly hard, and you can't pay the card with another bank--you have to have a BoA account.
I just went to pay and clicking pay it said "your request cannot be completed at this time." It's not near the deadline (because I've learned to expect this) but still, it frustrates me
=> More informations about this toot | View the thread
Easy-to-say but hard-to-execute strategy for getting papers done. In my case, the bottleneck is often getting the results finished. For us, this is often case studies, experiments, etc. For others it could be proofs (eliminated "admitteds," etc.):
Take a layered approach. Find something you can get done now, that is a "good enough" result you are happy to include in the paper. Make a plan for successively more ambitious results you hope to get as the deadline gets closer.
The reason this is important is that there are always more deadlines. When you write a paper, the paper's narrative often has to co-evolve with results (numbers, case-studies, etc.). You need time to think over these results while you write the paper's narrative.
Most beginning students I see follow the waterfall strategy (get all experiments done, then start writing)--this almost never works, and often results in missed deadlines.
=> More informations about this toot | View the thread
I see growing racism coming from do-nothing Americans who believe that US universities should stop admitting international students so we can make way for US-based applicants. Jesus Christ, if they only knew the truth: our program has rejected only a handful of American applicants in years…
Really frustrating that instead of asking, how can we ensure that US students are prepared to succeed in hard study, the answer is always something like “get rid of the immigrants, they’re taking our kids spots.” They’re always down for the DEI treatment when it’s their own.
It’s also interesting to me how these threads always start out by wanting to advance the US productivity and then end with something like “Americans can’t even get jobs in tech because management is filled with Indians and they only hire their own.” The quick degeneracy into outright racism is predictable as it is appalling
=> More informations about this toot | View the thread
One of my students wants to read about effects, nomadic semantics, etc, what should they read
=> More informations about this toot | View the thread
=> This profile with reblog | Go to krismicinski@types.pl account This content has been proxied by September (3851b).Proxy Information
text/gemini
