Ilia Levin

I create software.
Best in Singapore, the Bay Area, and some say Batam.

[Ilia Levin @ilevin]

As Twitter faces challenges and uncertainties, I collected a few tweets into a book to preserve a snapshot of my posts beyond the platform. Please enjoy "Once Upon a Time, on Twitter..." https://t.co/7Q9ljdMiJG (694K)

[Ivan Krstić @radian]

🔺NEW: Formally verified post-quantum ML-KEM and ML-DSA in corecrypto, with correctness proven from the FIPS spec down to hand-optimized ARM64 assembly — a world first at multi-billion device scale. And we're releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator to advance the state of the art in verified cryptography! https://t.co/LZPHFD0ifE

[Ilia Levin @ilevin]

Ada is often ignored, yet it pioneered many “modern” ideas for programming languages. If you think Ada is outdated, this article may change your mind. Or not.

https://t.co/JPXI7IpXsj

[Ilia Levin @ilevin]

Shiok Singapore Kitchen to reopen in Menlo Park - Silicon Valley Business Journal https://t.co/Atc4xe5Bo4

[Ilia Levin @ilevin]

“Peter Gutmann - Why Quantum Cryptanalysis is Bollocks” (31min)

https://t.co/2nJ1qMyzak

[Ilia Levin @ilevin]

QED

https://t.co/HamKqfvFM3

[Ilia Levin @ilevin]

If an autonomous vehicle is bricked because of a power outage, then “autonomous” is a lie there. Regardless of whether that is because outsourced remote operators can’t see in the dark or a remote CC is unreachable because of base stations.

[Ilia Levin @ilevin]

There’s No Rust On This Ironclad Kernel via @hackaday https://t.co/x6KUcH6Hpp

[Ilia Levin @ilevin]

Netflix’s “1670” S2E1, the negotiations with the Turks appear to be an actual documentary on modern day’s politics.

#1670netflix

[Ilia Levin @ilevin]

Please tell me there is a @mrbobodenkirk cameo in the Pluribus TV show.

@PluribusTV

[Ilia Levin @ilevin]

• …
• dot-com
• Web 2.0
• cloud
• big data
• blockchain
• metaverse
• AI ← you are here

[Ilia Levin @ilevin]

Thou shalt not need a task force to grease thy bearings.

https://t.co/845G4YQHuV

[Ilia Levin @ilevin]

@anton_chuvakin Allocated budget.

[Ilia Levin @ilevin]

🔖

NIST Special Publication 800
NIST SP 800-227
Recommendations for Key-Encapsulation
Mechanisms

https://t.co/JpXFLhCx7L

[Ilia Levin @ilevin]

Singapore Cyber Landscape 2024/2025

https://t.co/NA1BZ4Ki9X

[Ilia Levin @ilevin]

(keeping it professional) I regret to inform you that Gmail has inadvertently deleted all my messages prior to February 2025. This unfortunate occurrence is attributed to a technical malfunction on Google’s end.

[Ilia Levin @ilevin]

Hacked Silicon Valley crosswalk buttons play messages imitating Mark Zuckerberg, Elon Musk

https://t.co/P4ql9x4Swz

[Ilia Levin @ilevin]

@peng_t_ong https://t.co/r5u71WeQBn

[Ilia Levin @ilevin]

Bill Atkinson interview: Memories of Lisa - CHM https://t.co/4LwNR1tyi2

[Ilia Levin @ilevin]

That’s unfortunate.

HomeTeamNS servers hit by ransomware attack https://t.co/nihIUpKX4u

[mjos\dwez @mjos_crypto]

Oh lord, they published it 🤦‍♂️
https://t.co/UG46araUO4
If you look at the ten "2048-bit factorizations" in appendix S1, the distance p-q between the factors is either 2 (a prime pair) or 6. You just compute square root of n and guess one bit -- the complexity is literally 2^1.