Shpat Morina (@shpatar) profile picture

Shpat Morina

@shpatar

https://xitter.cf/t.co/kr8zzjx9Up. Mostly inactive and lurking

 Portland. Prishtina. Airports.
Joined June 2009
  • Tweets312
  • Following358
  • Followers285
26Media
Photo by Shpat Morina (@shpatar)Photo by Shpat Morina (@shpatar)Photo by Shpat Morina (@shpatar)Photo by Shpat Morina (@shpatar)Photo by Shpat Morina (@shpatar)Photo by Shpat Morina (@shpatar)Photo by Shpat Morina (@shpatar)
Shpat Morina retweeted
Joey Dodds (@n1nj4) profile picture
Joey Dodds@n1nj49 Feb 2022
Great interview to share with you today. Ian Whiteside works to formalize the rules of the road into logic for use in self-driving cars. They then use the logic to check the performance of the vehicles when they're tested! youtube.com/watch?v=P_4yiGQ8…
3
7
Shpat Morina retweeted
Joey Dodds (@n1nj4) profile picture
Joey Dodds@n1nj430 Sep 2021
"It's Either Automated or it's Wrong": @shpatar and I talk to Rod Chapman about his recent verification of TweetNACL in SPARK/ADA. He not only verified it but got a pretty high performance implementation enabled by the formal tools! youtube.com/watch?v=bsscNKOK…
4
9
Shpat Morina retweeted
Galois (@galois) profile picture
Galois@galois2 Apr 2021
Building Better Systems Episode #7: @n1nj4 and @shpatar speak with Aditya Thakur about a range of topics like developing analysis tools, repairing DNNs once mistakes are discovered, and building a successful R&D lab, among other things. youtube.com/watch?v=B2_LkQ2O…
1
1
2
I don’t know who this is but I apparently needed to hear it so retweeting it.
This quoted post is unavailable.
Try viewing anyway · View on X
Shpat Morina retweeted
Galois (@galois) profile picture
Galois@galois8 Feb 2021
We're incredibly proud of the work we accomplished last year and excited to share it with you! Galois 2020: Year in Review. galois.com/blog/2021/02/2020… via @galois
Image from Galois (@galois)
7
3
13
Shpat Morina retweeted
Joey Dodds (@n1nj4) profile picture
Joey Dodds@n1nj45 Feb 2021
New Podcast episode with @dguido of @trailofbits! This was a fun one. Titled "What the hell are the blockchain people doing & why isn't it a dumpster fire?" youtube.com/watch?v=wT-AmR7w…
7
3
24
OK I finally got over the awkwardness of watching this. It was good. I still agree with everything I said back then. Recommend watching :)
Joey Dodds (@n1nj4) profile pictureJoey Dodds@n1nj412 Jan 2021
This was a really fun chat with @TaliaRinger about the user-centric work she's doing to improve proof assistants! We've got a special cut of it with more PL specific talk coming soon, so stay tuned!
1
3
7
Shpat Morina retweeted
Galois (@galois) profile picture
Galois@galois3 Dec 2020
New Building Better Systems podcast episode! @n1nj4 & @shpatar talk w/ @MDTom & @stephenmagill of @TryMuseDev about making static analysis usable and much more. Watch here: youtu.be/B_h_J28Aur0 Listen here: bit.ly/3lDXOvY or on your preferred podcast platform. #DevOps
Image from Galois (@galois)
3
2
6
If you missed Part 2 of our chat with @jeanqasaur, we delve into deciding to leave academia to focus on the startup, how to market formal methods, and Jean’s work with Graduate Women @ MIT which she cofounded. I swear it’s all related :) youtube.com/watch?v=fVv1brAy… @galois @n1nj4
1
1
8
they said we'd have flying cars. Instead we have this
Brian Ragazzi (@brianragazzi) profile pictureBrian Ragazzi@brianragazzi25 Nov 2020
Anyone else unable to turn on their Christmas lights because of the AWS outage?
Shpat Morina retweeted
Galois (@galois) profile picture
Galois@galois16 Nov 2020
Did you hear we have a new podcast? It's true! Hosts @n1nj4 and @shpatar kick it off with a two-part conversation with @jeanqasaur, CEO of @AkitaSoftware. Check it out: buff.ly/3eXqONu
Image from Galois (@galois)
9
1
22
.@n1nj4 and I had the privilege of chatting with @jeanqasaur in the first episode of Building Better Systems, a new podcast hosted by @galois. Find it here: galois.com/blog/2020/11/intr…

Introducing the Building Better Systems podcast

galois.com
✨ Jean Yang ✨ (@jeanqasaur) profile picture✨ Jean Yang ✨@jeanqasaur13 Nov 2020
🤔 What do APIs have to do with formal methods? ✨ What does programming languages research have to do with fashion? Learn about all this and more in this fun conversation with @n1nj4 and @shpatar! Thanks for having me as the inaugural guest on this cool podcast.
1
4
Day 1 of social distancing: this is fine. Day 15:
1
Shpat Morina retweeted
Lisar (@lisarmorina) profile picture
Lisar@lisarmorina25 Nov 2019
Yesterday was my birthday, so I decided I'd write a little something on @medium. I put down a few thoughts about life, meaning, & truth. I'm not usually one to share, but this one is close to heart & sums up a few thoughts I've been having lately. medium.com/@lisarmorina/of-b…
Of birthdays, growing older, and making sense of it all.

Of birthdays, growing older, and making sense of it all.

Learning to live should mean to accept reality completely; to want nothing to be any different than it is, and to still find meaning in it.

medium.com
4
9
This is the best thing that happens in my social media cycle year round. Go ahead and follow Yavor for updates
Yavor Atanasov (@yavor_atanasov) profile pictureYavor Atanasov@yavor_atanasov20 Aug 2019
Hey good people! Starting on Sept 1st I'll try to cycle around Iceland in support of the great work of Teach For Bulgaria! Here I'll be updating you on my 1400km (probably windy, rainy and cold) journey :) Donate: tinyurl.com/support-tfb Strava: strava.com/athletes/1961125
Image from Yavor Atanasov (@yavor_atanasov)
1
southbound youtu.be/fCGg9xxNSY4
1
Oh portland...
This Post is from an account that no longer exists. Learn more
1
2
Excited to announce our work on ElectionGuard. When ready later this year, it will enable anyone to build end-to-end verifiable and secure elections technology!
Galois (@galois) profile pictureGalois@galois6 May 2019
We are partnering with Microsoft to develop #ElectionGuard, a software development kit for secure, end-to-end verifiable elections. Overview by @n1nj4 here galois.com/blog/2019/05/prot… @free_and_fair

Protecting Election Integrity with ElectionGuard

galois.com
2
5
Verifying myself: I am shpat on Keybase.io. qf_LmgHJVvD3Bwcw7RhmUTVSWm28YQEJotd2 / keybase.io/shpat/sigs/qf_Lmg…
2
Shpat Morina retweeted
Galois (@galois) profile picture
Galois@galois23 Jan 2019
2018 IN REVIEW: It has been a great year at Galois. Today, we share some of the contributions our team has made in 2018. galois.com/blog/2019/01/2018…

2018: Year in Review

galois.com
7
2
14
Load more