seds boosted

RT @axiomise@twitter.com
What's the history of processor formal verification?
When were the earliest RISC processors verified with formal?
What is ISA formal proof kit?
Did we find any bugs? Did we get any proofs? What about coverage?

Answers: axiomise.com/risc-v-formal-ver

@risc_v@twitter.com

lol
---
RT @realDonaldTrump@twitter.com
All Democrats just raised their hands for giving millions of illegal aliens unlimited healthcare. How about taking care of American Citizens first!? That’s the end of that race!
twitter.com/realDonaldTrump/st

RT @raymondh@twitter.com
tip: itertools.repeat() is faster than range() for looping a fixed number of times when you don't need the loop variable.

min(random() for i in range(10_000)) # 1.03 msec per loop
min(random() for _ in repeat(None, 10_000)) # 841 usec per loop

RT @danilotreta@twitter.com
O Bolsonaro é intocável, imune a todo tipo de crítica. Não existe NADA que ele faça e os fãs fiquem "caraio, que merda".

Se o cara soltar um peidão um arrotão na Assembleia Geral da ONU os caras vão falar "que que tem? todo mundo arrota. chola mais fora PT. ONU lixo"

RT @cartumante@twitter.com
Gabarito no fim da pagina

"Pô, a pessoa me stalkeou"

Vsf porra, tu deixa seu perfil PÚBLICO pra que, caralho?!

PORRA O CARA USOU JAVA AINDA, TO FORA

hahahahahaha, o cara apresentando a tese, que é sobre exportação de frango, e explica que o estado de SC é baseado em agricultura familiar e que a familia dele depende disso.

O CARA VOTOU NO BOLSONARO

rir para nao chorar
OU RIR PARA RIR MESMO

RT @mlklaser@twitter.com
E pensar que DVD pirata no avião presidencial já foi polêmica.... Hj são 39kg de cocaína, realmente, Bolsonaro mudou isso aí

RT @unclebobmartin@twitter.com
Writing computer programs is, perhaps, the most difficult and challenging task that humans have ever attempted. It is no wonder that we aren’t very good at it.

The good news is that we are learning and getting better. Progress is slow but real.

RT @nprpolitics@twitter.com
After reports emerged that migrant children being held in U.S. custody on the southern border were going without soap or toothbrushes, donations started pouring in.

But the Border Patrol is refusing to accept the donations. n.pr/2NdcaY5

A procura de amigos e bate-papo no WhatsApp

RT @CheesecakeLabs@twitter.com

Want to develop great apps with positive impact used by people from all around the world? 📲
We are looking for Mobile Developers to join us! Come on, apply at: bit.ly/2X7BfDP

Se Bolsonaro fosse realmente nacionalista, ele dividiria essa coca com todos! E não importaria da Europa

RT @rehventura@twitter.com
nossa, o presidente pegou uns papelzin no chão

herói da pátria
desbravador dos 7 mares
o escolhido de jesus
floquinho de neve no deserto do saara

RT @n_atara@twitter.com
Quase um ano juntos e eu ainda encontro calcinha que não é minha nessa casa. Te amo ♥️

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!