212 Photos and videos
Great to see formal methods, Cryptol, and SAW getting a shoutout from @Apple at the HEXACON 2025 keynote!
youtube.com/watch?v=Du8BbJg2…
1
4
756
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
1
123
.@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.
2
282
FireSim is a cool platform that others should know more about!
6 Mar 2023
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/
1
5
505
"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…
1
4
8
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).
2
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….
10
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…
1
Max Headroom is one of my top handful of TV shows of all time. This makes my heart sing.
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/
1
.@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.
1