Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @kiniry@mathstodon.xyz
Portland, OR
Joined February 2008
- Tweets3.6K
- Following1.3K
- Followers1K
- Likes2.5K
Pinned Tweet
I expect Twitter to continue to go downhill. Thus, I'm starting to experiment with #Mastodon.
Follow me at @[email protected]
kiniry retweeted
AI-enabled cyber attacks are getting faster + going further. But what if AI-enabled formal methods could make high-assurance cyber defence practical at unprecedented speed + scale? We’re funding eight teams with £22m to test that idea. Meet them here: link.aria.org.uk/SAI-TA2-Cre…
kiniry retweeted
Great to see formal methods, Cryptol, and SAW getting a shoutout from @Apple at the HEXACON 2025 keynote!
youtube.com/watch?v=Du8BbJg2…
The 2025 @ieeesecdev Cybersecurity Award for Practice nominations are now OPEN! The award recognizes transformative cybersecurity achievements. Nominations are due by May 30. For more information and submission instructions, visit secdev.ieee.org/2025/awards/ #IEEESecDev
.@trailblazers your subtitling software is decidedly worse than last season. It was laughably bad tonight. Your need to train it for non-western names as well.
FireSim is a cool platform that others should know more about!
The program for the First FireSim and Chipyard User/Developer Workshop (@ASPLOSConf 2023), is now available! We have an exciting lineup of 10 speakers, including a keynote from Joe Kiniry (@kiniry) from @galois on using FireSim in DARPA FETT! Full program: fires.im/workshop-2023/
"A Brief History of Free, Open Source Software and Its Communities" by @jgbarah (@ComputerSociety vol. 54, no. 2, 2021) should be required reading for all CS students and professionals, especially those born after the early 90s. Great stuff. ieeexplore.ieee.org/document…
Is it just me, or is the @NBA app unusable if you want to see the box score for a game? Click of any game, sit though the ad in misery, then try to click on any menu at the bottom and the media immediately fills the screen and pushes what you want to see off the bottom?
ALT Screenshot of badly designed app (NBA app) from a trillion dollar entity (the NBA).
On filling up my 1TB SSD and having to remove some fraction of the thousands of git repos on my machine...
Disk space like credit card debt, lots of small amounts add up quickly to a very large number.
GrandPerspective FTW tho', as usual.
grandperspectiv.sourceforge.…
After I accidentally kill a keg of @deliriumbrewery at Life of Riley in PDX, Alex M says: “You got a double free beer tonight at @galois beers, Joe!” Then Sam C says says, “That’s a use after free beer!” Only at @galois Wednesday beers….
I look forward to eventually having the time to take one of these open flows for a spin for one of my clients, or just IR&D at @galois.
GlobalFoundries joins Google’s open source silicon initiative | Google Open Source Blog opensource.googleblog.com/20…
Max Headroom is one of my top handful of TV shows of all time. This makes my heart sing.
This Post is from an account that no longer exists. Learn more
My new favorite website to give to new Galwegians to bootstrap them into a part of my R&D world. Great job @lambdabetaeta! pls-lab.org/
.@tastingroom I was a member of the @WilliamsSonoma
Wine Club. They closed it and moved customers to you. Subsequently, you have flubbed two orders, I've been trying to get my subscription closed for weeks, and I'm having to contest charges on my credit card.
I have received to response to any outreach via your customer support channels (no response to phone, published email, website form, etc.). This has been a debacle. I'm now publicly tweeting them in another attempt to cancel.