Chad Brewbaker @SMT_Solvers Twitter profile

Pinned Tweet

Chad Brewbaker

5 months

BREAKING - @USAO_SDIA Chief Judge John Jarvey caught on @KimReynoldsIA payroll without disclosure to @uscourts ! Had staff rubber stamp denials of habeas petitions over Wellpath pharmacy fraud/abuse at @PolkSheriffIowa Jail from 2016-2022.

4

1

13

Last Seen Profiles

@InterestDEX

@sqinpain

@UchihaAtonement

@datingappsPROBS

@asu48515

@xss775

@asu48515

@keiba_bakenplus

@xss775

@Hlelo_beds

@MatthewKim33995

@Filosofo_Freud

@Jp71409617

@ran60030557

@Mbmslh

@rssldrml

@tao_hua49286

@aya_stro

@frzand

@albariisu_

@IanHampson12

@Entropiqteam

@eroimuffin

@excell305

@web3inanutshell

@MIGO_Offiziell

@bokeplokalmalam

@mohs_cos

@stwmaniax

@bokeplokalmalam

@leon_james

@qingyishanzi_

@stwmaniax

@_BNWO

@jennyrjohnson

Chad Brewbaker

@SMT_Solvers

3 years

@RitaPanahi @JeffShipley77 Woke Europe sending attack dogs at peaceful lockdown protestors. This is about power, not helping Seniors/fat stay out of buildings during the Omicron surge.

2

6

168

Chad Brewbaker

@SMT_Solvers

3 years

@Hogan698 @bookwormwmb @TheRealHoarse @shaunwalker7 @_msw_ shame if a shipment of super soakers and paint got lost in an EU warehouse.

1

7

122

Chad Brewbaker

@SMT_Solvers

3 years

@elonmusk Horrid idea. Used to *monetize* pollution.

8

0

102

Chad Brewbaker

@SMT_Solvers

4 years

@shiraisinspired @Category_Fury Also OCD/ADHD. Curious if you are like me and get dopamine highs when letting compulsive thoughts/behaviors take over. Makes a lot of therapy counter-productive - like a shot of heroin when trying to stay sober.

5

2

84

Chad Brewbaker

@SMT_Solvers

3 years

@jaylencavil @olatheschools this is rather shameful.

3

4

70

Chad Brewbaker

@SMT_Solvers

3 years

@elonmusk The big polluters sell their credits for $$.

11

1

62

Chad Brewbaker

@SMT_Solvers

2 years

@WellsFargo You do.

0

3

49

Chad Brewbaker

@SMT_Solvers

2 years

@zerohedge Twitter won't sue - they got busted lying about the numbers and want to get off without a @SECGov investigation.

6

3

48

Chad Brewbaker

@SMT_Solvers

3 years

@zerohedge Into the known unknown.

0

46

Chad Brewbaker

@SMT_Solvers

3 years

@zerohedge Say martial law without declaring martial law 🤣

1

3

44

Chad Brewbaker

@SMT_Solvers

8 months

@MikeBenzCyber @DrewSteeleRadio Robert Hunter Biden defense is he was a CIA asset.

3

7

44

Chad Brewbaker

@SMT_Solvers

1 year

@jordanbpeterson @elonmusk @CPOntario @JustinTrudeau Even worse - Hon. Paul B. Schabas is getting bribe checks from @UofT as an adjunct where he teaches ... Media. Ping @jonathandata1 about retaliation for his critique of U of T research.

2

9

39

Chad Brewbaker

@SMT_Solvers

4 years

@marceelias @RitaHartIA @HouseAdmnGOP Marc perjured himself on #4 . Scores of Iowa Const. Art II ineligible votes were not removed.

6

2

34

Chad Brewbaker

@SMT_Solvers

6 years

Z3 on ARM:

1

7

39

Chad Brewbaker

@SMT_Solvers

3 years

@jdorfman @nixcraft @xkcd Curl is actually out of Sweeden AFAIK.

1

37

Chad Brewbaker

@SMT_Solvers

3 years

@zerohedge The Sandyhook thing should be tossed. Jones' speech while upsetting to the families wasn't criminal - and it was made in critique of government gun grabber tactics.

3

1

31

Chad Brewbaker

@SMT_Solvers

4 years

@NSACyber Javascript in Excel they said...

2

1

31

Chad Brewbaker

@SMT_Solvers

11 months

Nerd sniped by @lemire on the deceptively simple problem of optimally parsing ASCII integers 0-255, I'm revisiting the super optimization literature to automate this. "Eliminating Branches using a Superoptimizer and the GNU C Compiler" - 1992

2

4

35

Chad Brewbaker

@SMT_Solvers

2 years

@jaylencavil WTF? Last time I go to @ExileBrewingCo .

0

3

26

Chad Brewbaker

@SMT_Solvers

7 months

@marktenenholtz First guess is llama3 is baked.

2

0

28

Chad Brewbaker

@SMT_Solvers

3 years

@Osinttechnical Time for Ukraine to start loosing commercial oil trucks with tainted fuel near they convoy ...😉

5

1

26

Chad Brewbaker

@SMT_Solvers

2 years

@CPOntario You just got me interested in @OntarioHealthOH Medical services fraud by members for intimidation of @jordanbpeterson . Need to find the Ontario equivalents of @WeAreWellpath @Centene @CVSHealth .

1

26

Chad Brewbaker

@SMT_Solvers

3 years

@thecaseyhansen @MarcoBattaglia @IAGovernor @IowaCivilRights violation - doing a remote class one period for reasonable accommodation of those remote cannot be punished. File a complaint.

0

7

26

Chad Brewbaker

@SMT_Solvers

1 year

The Minotaur SIMD superoptimizer preprint is up:

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

A superoptimizing compiler--one that performs a meaningful search of the program space as part of the optimization process--can find optimization opportunities that are missed by even the best...

arxiv.org

3

4

28

Chad Brewbaker

@SMT_Solvers

2 years

@Center4Politics @LarrySabato @Liz_Cheney Is Putin joining next? I can’t think of a more violent totalitarian appointee.

1

0

26

Chad Brewbaker

@SMT_Solvers

3 months

@BlackRock Busted @JBPritzker

0

1

26

Chad Brewbaker

@SMT_Solvers

3 years

@BretWeinstein 1,377 - I had myocarditis on my second Moderna - 42 years old.

1

7

26

Chad Brewbaker

@SMT_Solvers

2 years

@kashhill Both parents should sue Google for spying on private photos.

1

0

24

Chad Brewbaker

@SMT_Solvers

2 years

@danluu I would love to see @ID_AA_Carmack fire up a debugger.

0

25

Chad Brewbaker

@SMT_Solvers

3 years

@BretWeinstein I'm glad Spotify delisted those shows - now listeners know to archive all streams from artists who license their work to make them un-censorable from now on. Starting to get the vibe of @GadSaad 's new book - cancel culture is an illusion that we play into.

1

0

21

Chad Brewbaker

@SMT_Solvers

3 years

@cperciva @sickcodes can you make the calls recursively to the same server? ${jndi:ldap://localhost/${jndi:ldap://localhost/doublelog}}

2

23

Chad Brewbaker

@SMT_Solvers

10 months

@WR_Samurai @VivekGRamaswamy Trump attacked himself.

1

0

21

Chad Brewbaker

@SMT_Solvers

2 years

@jacksonhinklle It is bad on both sides regardless of the number.

2

0

15

Chad Brewbaker

@SMT_Solvers

8 months

@__tinygrad__ @AMD @LisaSu Dump the MES binary. @maddiestone @sickcodes @nstarke can probably audit it.

1

22

Chad Brewbaker

@SMT_Solvers

3 years

@vamchale My beard isn’t that grey.

1

0

21

Chad Brewbaker

@SMT_Solvers

4 years

@IAGovernor @LauraRBelin " Another inmate who tried to help the female nurse and male correctional officer was seriously hurt" - in attacks like this inmates are extremely protective of medical staff. Probably your hero right there.

0

16

Chad Brewbaker

@SMT_Solvers

4 years

@IAGovernor @LauraRBelin Tragic, but better staffing of the infirmary might have saved lives with better emergency care. Also firing the @IowaCivilRights head who allows institutions to deny critical pharmacy services for mental health medications.

0

2

18

Chad Brewbaker

@SMT_Solvers

1 year

@pookleblinky @nsarwark Didn’t Al Capone have it?

2

0

19

Chad Brewbaker

@SMT_Solvers

3 years

@cherthedev @Vanguard_Group and CALPERS would be your largest shareholders that would want to protect their stock.

0

1

20

Chad Brewbaker

@SMT_Solvers

2 years

@jaylencavil Clearly she needs an attorney to sue the estate of the rapist for $150,000.01.

1

19

Chad Brewbaker

@SMT_Solvers

18 days

@JeffDean @ilyasut appears!

0

1

19

Chad Brewbaker

@SMT_Solvers

2 years

@hort4cy ESAs are tax scam for high earners.

0

1

19

Chad Brewbaker

@SMT_Solvers

3 years

@rjfoley Please don't smear Belin as a "liberal" journalist. She is prolific in getting public records and that's what upsets Kim Reynolds. Nobody else is reporting on the seven month tardy CAFR.

1

0

18

Chad Brewbaker

@SMT_Solvers

2 years

@pawelwargan @chenweihua Biden should be impeached for Nordstream.

2

3

19

Chad Brewbaker

@SMT_Solvers

2 years

@Rushthewriter Wildly unconstitutiona under Iowa Const Art. I Sec. 1. 16 year olds couldn't do jobs like @DoorDash . @TarbellCameron couldn't have started his website business. This kills teen entrepreneurs.

1

18

Chad Brewbaker

@SMT_Solvers

3 years

@RandyOnEd She is claiming ignorance of Iowa Code Chapter 22 that everyone has access to school library catalogs.

0

17

Chad Brewbaker

@SMT_Solvers

10 months

@imjdsharp @LauraLoomer Trump attacked himself. Vivek responded with nothing but love. Then an embarrassing picture of Iowa's gay corrupt carbon pipeline mogul Bruce Rastetter appeared at Trump's hotel in Florida. 🏳️‍🌈🤡

6

2

17

Chad Brewbaker

@SMT_Solvers

4 years

@pwnallthethings You know he's going to leave an upper decker.

0

16

Chad Brewbaker

@SMT_Solvers

4 years

Zoom chat using SAT (Alloy) to model a data processing pipeline. Courtesy @hillelogram

Hillel Wayne and Chelsea Troy Pair on Alloy!

This recording serves as a standalone introduction to structural verification with Alloy on a particular problem that work on—pipelines for transforming NAS...

www.youtube.com

0

3

17

Chad Brewbaker

@SMT_Solvers

3 years

@adamhjk Just use sqlite - works with HTTP range queries for read loads

1

0

16

Chad Brewbaker

@SMT_Solvers

1 year

@martin_casado Pissing in the wind. File a 1st Amendment lawsuit. Biden is attempting to criminalize reason itself.

1

0

12

Chad Brewbaker

@SMT_Solvers

2 years

@MarcoBattaglia Polk Auditor is now on her for the @CMSGov fraud. I can testify her top @IowaDHS officials failed to report it to @IowaDPS DCI claiming it was “above their pay grade”.

1

2

15

Chad Brewbaker

@SMT_Solvers

3 years

@TaliaRinger @mycoliza

1

17

Chad Brewbaker

@SMT_Solvers

1 year

@melton4iowa I didn’t see violence. Just that no kids should be mutilated - they can do it when they turn 18.

1

0

14

Chad Brewbaker

@SMT_Solvers

4 years

@GadSaad Show up in a plague mask.

1

0

16

Chad Brewbaker

@SMT_Solvers

3 years

@jonathandata1 Bwahaha. They hardcode their own IP address to nerf alerts.

3

14

Chad Brewbaker

@SMT_Solvers

3 years

@Speedracer1999 @CBCAlerts That is what Elon is doing. Selling all the shares for a large premium. If you want to dump Twitter it is your best option.

1

14

Chad Brewbaker

@SMT_Solvers

3 years

@panthers_go_go @zerohedge The main Ukrainian air support is Turkish drones. Bit too late.

2

0

14

Chad Brewbaker

@SMT_Solvers

2 years

@CallananAdam @USPISIowa This is the definition of US Mail obstruction. I would also file a complaint with the Vegas postal inspector to Federally investigate this illegal company in Nevada.

1

3

13

Chad Brewbaker

@SMT_Solvers

2 years

@rust_foundation If you want to annoy devs then change your logo to a Squirrel so devs can offer something to munch on like

0

14

Chad Brewbaker

@SMT_Solvers

2 years

@TaliaRinger

GitHub - EugeneLoy/coq_jupyter: Jupyter kernel for Coq

Jupyter kernel for Coq. Contribute to EugeneLoy/coq_jupyter development by creating an account on GitHub.

github.com

2

13

Chad Brewbaker

@SMT_Solvers

3 years

@ZachWahls You paid them not to work bro.

0

13

Chad Brewbaker

@SMT_Solvers

2 years

@EthanSteinTV @KCRG @jackwhitver records show he still claims the Homestead tax credit on his half million dollar home outside the district. 🤡🤡 @Polkauditorfitz @IowaSOS @IAEthicsBoard @IowaRevenue

1

4

14

Chad Brewbaker

@SMT_Solvers

2 years

@zerohedge They are still harassing him over Hillary’s Russia scam? 🤦‍♂️

0

12

Chad Brewbaker

@SMT_Solvers

4 years

@andreamsahouri Sue him in fed court for the assault. He had no reason to spray you.

1

2

14

Chad Brewbaker

@SMT_Solvers

1 year

@timClicks C++ added so many features it was hard for 3rd party library writers to come up with standards. Cargo was a massive improvement to package continuous testing even if the crate is mostly C++.

1

0

15

Chad Brewbaker

@SMT_Solvers

6 months

He helped @SecMayorkas cover up @ICEgov fraud at Polk Jail incident to Broadlawns fraud that might have been why money didn’t get to the kid who went postal 😡

0

4

Chad Brewbaker

@SMT_Solvers

4 years

@LauraRBelin That's not epidemiologically sound. Anyone that has a lot of face to face contact is at high risk of being a transmission vector.

0

12

Chad Brewbaker

@SMT_Solvers

2 years

@jacksonhinklle They fought the Russians in Syria 🤷‍♂️

2

0

12

Chad Brewbaker

@SMT_Solvers

3 years

@McFaul I bet he is taking a 1 way ticket to St. Petersburg.

0

12

Chad Brewbaker

@SMT_Solvers

3 years

@lorenzofb @pwnallthethings Looks like Apple is trying to bleed @CorelliumHQ dry. Not very sporting.

1

0

14

Chad Brewbaker

@SMT_Solvers

11 months

@dylan522p @ID_AA_Carmack The ban is insane. Instead of collecting lazy rents we are forcing them to innovate - and once the innovation engine takes off they will overtake us because of demographics.

1

12

Chad Brewbaker

@SMT_Solvers

3 years

@ChuckGrassley Whitewashing that your grandson @PatGrassley enacted Jim Crow ballot signature thresholds to keep CR residents like @rasforiowa off the ballot. Tell it to @CivilRights .

0

2

11

Chad Brewbaker

@SMT_Solvers

3 years

@sigfpe AFAIK "Oligarchs" bought former State owned companies.

2

0

12

Chad Brewbaker

@SMT_Solvers

2 years

@SamiScheetz What the hell Phil Thompson - I thought you were behind Iowa Beef/Pork producers!

0

2

13

Chad Brewbaker

@SMT_Solvers

4 years

@joerogan @withregram @Lukebtattoos @Oddtism I miss the YouTube podcast. Will not use Spotify.

4

0

12

Chad Brewbaker

@SMT_Solvers

2 years

@lemire I'm wondering if you could use uftrace integration tests to lint some of these const optimizations?

1

13

Chad Brewbaker

@SMT_Solvers

3 months

@halvarflake There is a vile @CISACyber component to it. @FAASafetyBrief pushed @CrowdStrike down the throats of airlines last year on threats they would be sued by @TheJusticeDept . @TheCharlesDowns should ping @xJonNYC - I bet his sources will leak the @AviationISAC PowerPoints.

2

1

12

Chad Brewbaker

@SMT_Solvers

3 years

@zerohedge Why would anyone bank in the US after this?

2

0

9

Chad Brewbaker

@SMT_Solvers

2 years

@thechaz @halvarflake One for chatGPT, one for copilot, one for CodeWhisperer, one for FauxPilot, ...

0

13

Chad Brewbaker

@SMT_Solvers

3 years

@krisnova The browser isn’t a security boundary.

0

11

Chad Brewbaker

@SMT_Solvers

2 years

@CallananAdam Call @USPISIowa - they can’t obstruct US Mail.

3

2

11

Chad Brewbaker

@SMT_Solvers

3 years

@Ivan_UNITE @techleadhd He has a position that Ukranian males should be free to flee instead of staying as a Swiss style militia. It is a different opinion, but not a facially wrong opinion.

1

0

8

Chad Brewbaker

@SMT_Solvers

3 years

@LauraRBelin @IAGovernor She also failed to get anyone confirmed for @IowaCivilRights ...

1

2

10

Chad Brewbaker

@SMT_Solvers

1 year

@jordanbpeterson @benshapiro Also sunlight. Family court should mostly be open to the public to avoid the worst behavior by judges/attorneys.

0

12

Chad Brewbaker

@SMT_Solvers

3 years

@GadSaad @LinkedIn I went to bat for you with @IowaCivilRights .

1

10

Chad Brewbaker

@SMT_Solvers

3 years

@redneckmariachi 😅. My ex wife routinely gets to depose her ex-bf who is a police officer. Prosecutor usually pleads it down to avoid drama.

0

12

Chad Brewbaker

@SMT_Solvers

1 year

Somehow I totally missed @moyix has a code for parallel floating point SMT solving on GPU. @ciphernyx any more recent results in this space? I'm guessing a lot of llama.cpp snippets can be ported into this repo.

GitHub - moyix/fpsmt_gpu: Solving floating point SMT constraints on a GPU

Solving floating point SMT constraints on a GPU. Contribute to moyix/fpsmt_gpu development by creating an account on GitHub.

github.com

1

0

10

Chad Brewbaker

@SMT_Solvers

3 years

@christiancmann @cperciva @sickcodes #forkbomb4j

0

1

12

Chad Brewbaker

@SMT_Solvers

2 years

@mtaibbi We could - she did far worse

1

10

Chad Brewbaker

@SMT_Solvers

3 years

@mahesh_shenai @RanjitJhala The CDC needs to be more transparent about mRNA immunotherapy half-life, and the difference between the Adult and Child dosing. I haven't seen a single study showing the minimal effective dose based on age/bodyweight or when immunity drops enough to warrant another dose of mRNA.

1

2

8

Chad Brewbaker

@SMT_Solvers

6 years

@sigfpe The Haskell Road to Maths and Programming

1

3

12

Chad Brewbaker

@SMT_Solvers

1 month

@GraceSm16250397 @jimmy_dore RFK spoke eloquently in Iowa how Ukrainian war is a @BlackRock racket.

0

1

12

Chad Brewbaker

@SMT_Solvers

6 months

@rshereme @McFaul Because Putin doesn’t want more than his stated oblasts. Elon is right, Odessa will fall it Zelenskyy doesn’t go to negotiations table.

4

0

11

Chad Brewbaker

@SMT_Solvers

3 years

@GeoRebekah I was crazy delirious from pain when I think I got it. Pacing up and down most the evening.

0

1

10

Chad Brewbaker

@SMT_Solvers

3 years

@zerohedge Hunter got sanctioned? 🤣

1

0

10

Chad Brewbaker

@SMT_Solvers

1 year

SMT Saturday thread👇

1

2

11

Chad Brewbaker

@SMT_Solvers

6 months

@owickstrom

1

2

11

Chad Brewbaker

@SMT_Solvers

1 year

@EmmaSchmit94 Why are laptops banned? ADA violation for those who need mic for hearing or ADHD accommodation for note taking - report to @IowaCivilRights

1

2

10