Security stuff at a fruit company. Little spare time with 3 young kids. I remember doing cycling, photography, some mechanical tinkering…
🏳️🌈👨💻🇳🇱🚲🚝🔐🍎
Remember: outrage and panic are common content engagement tactics.
"Play is not a trivial thing: If we don’t play, then what are we living for?" — Andrea Colamedici
| Pronouns | He/Him |
| iMessage Verification Code | APKTIDG6GO64xCKTLMBT7rkIwTP_4niBZkdpfi1_aKAwqgFSCy5Q |
| Photos | http://fotofed.nl/@ThomasB |
Now live: Updated [Apple Platform Deployment](https://support.apple.com/guide/deployment/) for WWDC26 in U.S .English.
Other languages to follow shortly.
Topcis added:
• Intro to What’s New for IT at WWDC26
• WWDC26 Apple services updates
• WWDC26 device management updates
• WWDC26 app management updates
• WWDC26 identity integration updates
• WWDC26 Education-specific updates https://getmona.app/rich_text/798702191519
https://mariovittone.com/2010/05/154/
Drowning doesn’t look like drowning, and half of children who drown do so within 25 yards of an adult, often without them realising what’s happening. So, you should read this one. Via Ben Evans. #drowning #safety
https://newblack.io/blog/strategic-cost-assessment/
“When looking at total cost of ownership (TCO), iOS typically proves to be more cost-effective in the long run”
Makes total sense when you see it explained like this. Nice work.
Apple published a detailed write-up on formal verification in corecrypto, including their ML-KEM and ML-DSA implementations for post-quantum cryptography.
This goes to the next level, beyond “we tested this carefully” to “we proved key parts equivalent to the FIPS specs, including optimized C and ARM64 assembly paths.”
This crypto library ships across billions of devices. This is the difficult, expensive assurance work that makes platform security real. https://security.apple.com/blog/formal-verification-corecrypto/ #AppleSecurity #Cryptography #PostQuantum #InfoSec
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.
My relationship with Picnic grocery delivery this year can be summarized into 4 message templates:
“We hebben vertraging opgelopen”
“We hebben behoorlijke vertraging opgelopen”
“We zijn iets later dan gepland”
“De oude bezorgtijd mag je negeren”
At this point I’m basically beta testing a distributed systems failure notification platform with free groceries attached.
Persona
