Ravi Nanavati

@FelixCLC_ @Benathon You have a team that likes Bluespec? Please tell me more. What do they like about it? To the extent that you can share, what are you building?

@Benathon Yes! I haven't, but the team seems to really like Bluespec, so going with that. I'm a software person that cosplays as a HW designer, trying not to add anything that could mean designs aren't translated

Getting to the point where I really need to be iterating designs on an FPGA :/ :'(

@neoavatara I think the SAVE Act is horrible (and should be seen as an unconstitutional poll tax absent lots of funding to help people get acceptable IDs) but making it harder for married women and people without passports to vote may not go the way the GOP thinks it will.

GOP may not have 50 votes.

@robertgraham It is not quite that bad. When removed to federal court, state prosecutors would still prosecute and they would remain state charges that Trump cannot pardon. There are still many difficult problems, but accountability isn't impossible.

It whether they "should" but if they "can". They can't criminal charges. If the state of Minnesota charges him, it'll be removed to federal courts, where the current politicized DoJ won't try him. If somehow tried and found guilty, the President would just pardon him. We elected a President where ICE will not face criminal charges. They are the secret police, the gestapo.

@elkmovie It seems to me that (at least for a little while) the court will become a de facto appeals board for IAP-related App Review denials. I don't know that anyone has grappled with the practical implications of that.

@stdlib I think I am supposed to note that, after the open-sourcing, the classic Haskell-based syntax is also officially available.

bluespec is cool because you get all the simple abstractions in haskell combined the easy-to-read, beautiful syntax of systemverilog

@RadioFreeTom Secession on an installment plan?

@BenjySarlin I'm angriest because the irresponsible, delusional 30% are threatening the safety of my *9 year old daughter*. At least I am lucky enough to live in a school district where they are taking mitigation seriously. When I hear about schools in Texas and Florida...

It’s not good for a country when 70% sees the other 30% as voluntarily prolonging a crisis and threatening the physical safety of themselves and others. It’s especially toxic when it overlaps with partisan politics. Not sure where this goes exactly, but nowhere good.

“They’re doing this because they LIKE lockdowns” has led to innumerable bad takes for months; now it’s leading people to miss how angry vaccinated people are at unvaccinated for forcing a return to precautions on their behalf. Like, I’m legit worried about the level of rage.

@ContentedIndie Yes, there is. California's recall law is absurd. You vote on the recall and the replacement simultaneously. Whoever gets the most votes (no matter how small the percentage) of the 46 replacement candidates on the same ballot is the next governor.

@airuying @Neoavatara No, that is not correct. There is new data suggesting that, with delta, unvaccinated and vaccinated people may have similar viral loads. That's not the only thing that affects transmission rates, but it is concerning. That data is one of the reasons the guidance changed.

@Neoavatara Am I correct in understanding that there is not much reason to believe that fully vaccinated people are spreading COVID? That’s the argument I’m seeing made the most.

Insanity.

The thing about this graphic is that it's SUPER misleading. Let's fill it in, but make it fun with: Marvel Heroes Who'd Lose The Right to Vote Under HB3, a thread.

@steveklabnik {-# LANGUAGE UndecidableInstances #-}

@elkmovie How do you think they'll fix the glitch? 1. Limit the discount to iOS-only developers? 2. Calculate the $1 million threshold based on cross-platform app revenue? I'd throw in always discount the first $1 million, but we know how Apple feels about App Store revenue...

@elkmovie I strongly suspect they think the strategic benefit of blocking sideloading (e.g. no bytecode interpreters or alternative browser engines) is more valuable than the tax they extract from "mandatory" IAP. (which is a big clue that something deeply anti-competitive is going on)

@wilshipley Who says he isn't? He might genuinely like convertibles (which weren't significant back when he was doing ads for Apple).

My personal ethics are that I wouldn’t shill for something I didn’t believe in. Yours can be different.

@yeselson @AJentleson @ezraklein Maybe bonus points for blocking something Manchin really wants (like infrastructure). That might be particularly good because, traditionally, those bills had a natural defense against filibusters: earmarks. Or maybe it will be a must-pass bill like defense authorization, ...

@yeselson @AJentleson @ezraklein Yeah, I'm coming around to the idea that this is the key hack: Let Manchin and Sinema argue any changes are strengthening the filibuster by protecting it from abuse, not ending it. Talking filibusters, germane discussion (no phone books), 41 votes to block not 60 for cloture, ...

So that was kind of interesting on Maddow just now: @ChrisMurphyCT sounded, not exactly optimistic, but thoughtfully realistic that *changes* in the filibuster (no, alas, not abolition) might happen later in the session, ie, enough to ensure that legislation could ultimately

@oter @dave_universetf Please say more?

@dave_universetf Indeed. Working on shrinking that gap here ...

@dave_universetf Separately, this thread is giving me flashbacks to the days when I desperately wanted downstream tools to accept almost anything with more defined hardware semantics than Verilog RTL...

@dave_universetf So you'll see it in things like the List library where people care about the names of list elements (and not about the names used while recursively expanding list functions).