Adam Wick

[Adam Wick @acwpdx]

@BenjaminSelfrid @n1nj4 @donsbot I'm so disappointed with all of you right now.

[Adam Wick @acwpdx]

@AaronFriel @jessfraz @FPComplete @galois We haven't at @galois, although its an interesting idea. I'd be curious what the use case was?

[Adam Wick @acwpdx]

@dysinger @cbarrett @galois Yes, that's approximately correct. We use it internally, for CyberChaff. But further internal funding is gated on a bit more outside interest, and my personal time has been taken up by other projects.

[Adam Wick @acwpdx]

@dysinger @galois You're welcome. Glad it helped!

[Adam Wick @acwpdx]

@bmastenbrook Congrats!

[NW Cyber Camp @NWCyberCamp]

High school students interested in #cybersecurity will want to register for NW Cyber Camp, July 16-20, 2018. Guest instructors include @acwpdx with @galois #education Register: https://t.co/ht3ccJpaO1

[Galois @galois]

Life and work at Galois: A quick look into how we work together at Galois https://t.co/wul8IK50di

[Adam Wick @acwpdx]

@kasey_junk You clearly need to join the identity management Slack slack.

[Tangram Flex @TangramFlex]

We are looking for some great talent to join a growing team - driving towards an upcoming product launch. Check out our available positions at https://t.co/JazxjLsCLL #FutureTech #embedded #Techjobs

[Galois @galois]

What is formal verification? A light introduction to mathematically verifying the correctness of software systems. https://t.co/z6QQ8LTfV9

[Adam Wick @acwpdx]

@kasey_junk At the end, I’m going to rip off my clothes, light off a bunch of flares to melt the ice, throw my skates at the judges, and flip off the crowd, because I’m hardcore.

[Adam Wick @acwpdx]

I keep waiting for a figure skater to come out in flannel, and then do their thing with “Smells Like Teen Spirit” or “Cherub Rock” blasting on the speakers.

[Mike Dodds @miike]

Galois are recruiting! We’re a 70-person company solving hard problems in programming languages, static analysis, security, crypto. Smart lovely people, exciting problems, supportive environment. If that sounds appealing come talk to me at #POPL2018. @galois

[Adam Wick @acwpdx]

@thumphriees I have to admit, I've been really liking Nirvana (https://t.co/QV2R591Gsi). I tried OmniFocus as a trial recently, and quickly went back to Nirvana. Having reference notes right there for restaurants to try and my tech "someday / probably never" list is really nice.

[Adam Wick @acwpdx]

@acfoltzer Look what I got!

[QCon Software Development Conferences @QCon]

Talking about abstractions to help developers write good #crypto w/ @SyntaxPolice #interview #qconsf https://t.co/PLKP623enH

[QCon San Francisco Software Development Conference @QConSF]

Another complete track at #qconsf: "Modern CS in the Real World" hosted by @acwpdx https://t.co/gN9ky30zCG