2.4K Followers
1.4K Following
124 Posts
Privacy Analyst at @1password. Previously Jolicloud. I live at Disney World. Opinions are mine, you can’t have them.
LinkStackhttps://linksta.cc/@zak
I'm still mad about Sierra Mist being renamed to Starry.

RE: https://mastodon.social/@tvaziri/116655032766028317

Nobody looks at anything anymore. Maximum output. Minimum effort.

IBM ThinkBoy

I can see why Anthropic is seemingly "winning" AI right now. Gemini is so, so dumb most of the time. ChatGPT can be less dumb, but is still pretty dumb. Claude can be genuinely useful given what it's for.

And by "useful," I mean capable of creating and running a solo player D&D campaign that doesn't feel like it was written by auto-correct.

I need a couple of GRC minded AI builders... Security Engineer - GRC https://lnkd.in/gzkjJ8uU Senior Security Engineer - GRC https://lnkd.in/gg32uyCN I'm also posting a role for a Senior Security… | Ryan Meyer

I need a couple of GRC minded AI builders... Security Engineer - GRC https://lnkd.in/gzkjJ8uU Senior Security Engineer - GRC https://lnkd.in/gg32uyCN I'm also posting a role for a Senior Security Engineer focused on controls and audit...someone with DEEP audit experience that knows SOC, ISO, NIST, etc. And yeah, they need to be builders as well. Senior Security Engineer - Controls & Audit https://lnkd.in/gzJnv6HH

LinkedIn

The new CEO of the Wikimedia Foundation worked at J.P. Morgan and Lehman Brothers. The Foundation has now fired a longtime lead developer and disbanded the team whose job was to listen to volunteers. Most of the people they fired were union organizers. Wikipedia’s editors are now threatening to strike. To stand in solidarity with them, sign the petition:

https://en.wikipedia.org/wiki/Wikipedia:Wiki_Workers_United_solidarity

For more, read on!

(1/2)

Wikipedia:Wiki Workers United solidarity - Wikipedia

I'm sure this is what Nintendo wanted me to do with a 3ds ​
We made sand do math for 50 years and now it's taking revenge.

Apple has open-sourced corecrypto, the foundational cryptographic library in Apple operating systems

https://security.apple.com/blog/formal-verification-corecrypto/

https://github.com/apple/corecrypto

A blueprint for formal verification of Apple corecrypto - Apple Security Research

With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also publishing the formal verification libraries and tools that we created to achieve the strongest known correctness results for any widely-deployed production implementation of the relevant algorithms.

A blueprint for formal verification of Apple corecrypto - Apple Security Research