Daniel Dia
@danieldia.bsky.social
دانيال
i do math, cryptography, comms, systems programming, and formal methods.
Rustacean 🦀
“Pessimism of the intellect,
optimism of the will.”
— Antonio Gramsci
i do math, cryptography, comms, systems programming, and formal methods.
Rustacean 🦀
“Pessimism of the intellect,
optimism of the will.”
— Antonio Gramsci
Pinned
Daniel Dia
@danieldia.bsky.social
· Oct 11
when I was younger I used to hate programming because I thought it was tedious and messy with no clear goal or purpose behind it.
when I discovered functional programming (Haskell, F*, etc.) and Rust, I started loving it again.
I quite literally owe everything to this (somewhat) obscure paradigm!
when I discovered functional programming (Haskell, F*, etc.) and Rust, I started loving it again.
I quite literally owe everything to this (somewhat) obscure paradigm!
Reposted by Daniel Dia
I regret to announce that my proposal to rename the Department of Computer Science into the Department of Really Strong Calculators has failed to garner any meaningful support
November 20, 2025 at 7:50 PM
I regret to announce that my proposal to rename the Department of Computer Science into the Department of Really Strong Calculators has failed to garner any meaningful support
Reposted by Daniel Dia
My business model? Ensuring that my technology can never be easily reproducibly rebuilt by others and subtly undermining any efforts to produce easy, complete, accessible and up to date documentation so that you’re forced to hire me as a consultant just to be able to use it
November 20, 2025 at 8:44 AM
My business model? Ensuring that my technology can never be easily reproducibly rebuilt by others and subtly undermining any efforts to produce easy, complete, accessible and up to date documentation so that you’re forced to hire me as a consultant just to be able to use it
Using .unwrap() in production and causing a Cloudflare outage is the funniest thing ever. It’s a totally fine way of error handling, because if error -> crash 😊
It's even funnier that the function is already a `Result<>` so they could have propagated the error if they don't want to handle it here
It's even funnier that the function is already a `Result<>` so they could have propagated the error if they don't want to handle it here
November 20, 2025 at 5:57 AM
Using .unwrap() in production and causing a Cloudflare outage is the funniest thing ever. It’s a totally fine way of error handling, because if error -> crash 😊
It's even funnier that the function is already a `Result<>` so they could have propagated the error if they don't want to handle it here
It's even funnier that the function is already a `Result<>` so they could have propagated the error if they don't want to handle it here
security.googleblog.com/2025/11/rust...
very nice post!
anyone interested in writing production code in Rust should give it a read
very nice post!
anyone interested in writing production code in Rust should give it a read
Rust in Android: move fast and fix things
Posted by Jeff Vander Stoep, Android Last year, we wrote about why a memory safety strategy that focuses on vulnerability prevention in ...
security.googleblog.com
November 14, 2025 at 9:02 AM
security.googleblog.com/2025/11/rust...
very nice post!
anyone interested in writing production code in Rust should give it a read
very nice post!
anyone interested in writing production code in Rust should give it a read
Dodo should be featured on the website!
Our applied cryptography class now has a mascot, Dodo, who attends every session. Here is Dodo next to the Phoenician alphabet, which he likes.
October 30, 2025 at 1:49 PM
Dodo should be featured on the website!
Haskell for the win
🥸👍
if your functional programming language of choice doesn't shitpost on main it's not worthy of your time
October 24, 2025 at 8:27 PM
Haskell for the win
the way modern universities teach programming, especially C/C++ or Java (with OOP) is criminal.
it is such an absolutely lame and tasteless approach, feeding them absolute garbage disguised as an introduction to programming and/or data structures & algorithms.
it is such an absolutely lame and tasteless approach, feeding them absolute garbage disguised as an introduction to programming and/or data structures & algorithms.
October 24, 2025 at 8:04 PM
the way modern universities teach programming, especially C/C++ or Java (with OOP) is criminal.
it is such an absolutely lame and tasteless approach, feeding them absolute garbage disguised as an introduction to programming and/or data structures & algorithms.
it is such an absolutely lame and tasteless approach, feeding them absolute garbage disguised as an introduction to programming and/or data structures & algorithms.
Reposted by Daniel Dia
I made a Discord for my applied cryptography course and a sentence describing Grigori Perelman as the "OG tsundere" appeared within the first ten minutes
October 22, 2025 at 2:42 PM
I made a Discord for my applied cryptography course and a sentence describing Grigori Perelman as the "OG tsundere" appeared within the first ten minutes
after a lot of fighting with the UEFI and some very weird firmware issues, I am proud to announce that I permanently deleted Windows and installed Fedora on KDE Plasma!!!!
could not be happier right now
now both of my PCs (desktop and laptop) are running Fedora on KDE woohoo!
could not be happier right now
now both of my PCs (desktop and laptop) are running Fedora on KDE woohoo!
October 21, 2025 at 8:02 AM
after a lot of fighting with the UEFI and some very weird firmware issues, I am proud to announce that I permanently deleted Windows and installed Fedora on KDE Plasma!!!!
could not be happier right now
now both of my PCs (desktop and laptop) are running Fedora on KDE woohoo!
could not be happier right now
now both of my PCs (desktop and laptop) are running Fedora on KDE woohoo!
Reposted by Daniel Dia
On the Credibility of Deniable Communication in Court (Jacob Leiken, Sunoo Park) ia.cr/2025/1949
October 20, 2025 at 1:09 AM
On the Credibility of Deniable Communication in Court (Jacob Leiken, Sunoo Park) ia.cr/2025/1949
Reposted by Daniel Dia
I would sincerely appreciate it it if the EXTREMELY LOUD ARMED ISRAELI DRONE HOVERING RIGHT ABOVE CENTRAL BEIRUT AND AUB FOR THE PAST FOUR HOURS could kindly let me prepare for my cryptography class in peace
October 20, 2025 at 12:16 PM
I would sincerely appreciate it it if the EXTREMELY LOUD ARMED ISRAELI DRONE HOVERING RIGHT ABOVE CENTRAL BEIRUT AND AUB FOR THE PAST FOUR HOURS could kindly let me prepare for my cryptography class in peace
Reposted by Daniel Dia
In 2023, Signal was the first mainstream messenger to enable post-quantum cryptography. We’re still ahead of the (elliptical) curve, implementing a new hybrid PQ ratchet ensuring Forward Secrecy & Post-Compromise Security even in a post-quantum world. signal.org/blog/spqr/
Signal Protocol and Post-Quantum Ratchets
We are excited to announce a significant advancement in the security of the Signal Protocol: the introduction of the Sparse Post Quantum Ratchet (SPQR). This new ratchet enhances the Signal Protocol’s...
signal.org
October 2, 2025 at 4:09 PM
In 2023, Signal was the first mainstream messenger to enable post-quantum cryptography. We’re still ahead of the (elliptical) curve, implementing a new hybrid PQ ratchet ensuring Forward Secrecy & Post-Compromise Security even in a post-quantum world. signal.org/blog/spqr/
FINALLY!
Congrats Zed 🎉
Well done
Congrats Zed 🎉
Well done
October 15, 2025 at 7:15 PM
FINALLY!
Congrats Zed 🎉
Well done
Congrats Zed 🎉
Well done
Reposted by Daniel Dia
Announcing my committing the great sin of using an Apple Magic Keyboard with a Linux machine via GitHub pull request github.com/rvaiya/keyd/...
Add example mapping to fix Apple Magic Keyboard with Touch ID (MXCK3LL) by nadimkobeissi · Pull Request #1137 · rvaiya/keyd
The latest Apple Magic Keyboard with Touch ID (Model MXCK3LL) is currently not properly supported by hid_apple or any similar Linux kernel module. This keyd configuration makes it supported and fix...
github.com
October 13, 2025 at 1:10 PM
Announcing my committing the great sin of using an Apple Magic Keyboard with a Linux machine via GitHub pull request github.com/rvaiya/keyd/...
Reposted by Daniel Dia
One curious thing on this site about speaking out against the encroachment of LLMs is that inevitably you get accused of being anti-tech. I don’t hate technology. I’ve used machine learning in my own code before. But I also recognize that oligarchs are so hellbent on pushing this tech for a reason.
October 10, 2025 at 3:52 AM
One curious thing on this site about speaking out against the encroachment of LLMs is that inevitably you get accused of being anti-tech. I don’t hate technology. I’ve used machine learning in my own code before. But I also recognize that oligarchs are so hellbent on pushing this tech for a reason.
Reposted by Daniel Dia
i encourage everyone who dislikes machine learning being implemented into moderation to do some work as a moderator and see how that affects your views
October 8, 2025 at 3:31 AM
i encourage everyone who dislikes machine learning being implemented into moderation to do some work as a moderator and see how that affects your views
as controversial as this may be, I actually agree with a lot of the “good” code practices in the Linux kernel.
they are quite “battle-hardened” in that they guarantee that bad code will be spotted and fixed before it goes into production.
the opinionated “leader” notwithstanding, it’s very smart.
they are quite “battle-hardened” in that they guarantee that bad code will be spotted and fixed before it goes into production.
the opinionated “leader” notwithstanding, it’s very smart.
October 12, 2025 at 7:50 AM
as controversial as this may be, I actually agree with a lot of the “good” code practices in the Linux kernel.
they are quite “battle-hardened” in that they guarantee that bad code will be spotted and fixed before it goes into production.
the opinionated “leader” notwithstanding, it’s very smart.
they are quite “battle-hardened” in that they guarantee that bad code will be spotted and fixed before it goes into production.
the opinionated “leader” notwithstanding, it’s very smart.
when I was younger I used to hate programming because I thought it was tedious and messy with no clear goal or purpose behind it.
when I discovered functional programming (Haskell, F*, etc.) and Rust, I started loving it again.
I quite literally owe everything to this (somewhat) obscure paradigm!
when I discovered functional programming (Haskell, F*, etc.) and Rust, I started loving it again.
I quite literally owe everything to this (somewhat) obscure paradigm!
October 11, 2025 at 8:41 PM
when I was younger I used to hate programming because I thought it was tedious and messy with no clear goal or purpose behind it.
when I discovered functional programming (Haskell, F*, etc.) and Rust, I started loving it again.
I quite literally owe everything to this (somewhat) obscure paradigm!
when I discovered functional programming (Haskell, F*, etc.) and Rust, I started loving it again.
I quite literally owe everything to this (somewhat) obscure paradigm!
with every day of my programming practice I am more and more convinced that compilers, and more specifically the C compiler, are dark magic.
unfathomably complex and unfathomably efficient.
unfathomably complex and unfathomably efficient.
October 11, 2025 at 8:27 PM
with every day of my programming practice I am more and more convinced that compilers, and more specifically the C compiler, are dark magic.
unfathomably complex and unfathomably efficient.
unfathomably complex and unfathomably efficient.
“embedded” programming is just an umbrella term for code that involves magical registers.
meaning that if you have a microcontroller “VeryCoolThing32”, it (example) resets a sensor if you write something to the 67th memory register.
this is what it means to write embedded code.
magical registers.
meaning that if you have a microcontroller “VeryCoolThing32”, it (example) resets a sensor if you write something to the 67th memory register.
this is what it means to write embedded code.
magical registers.
October 10, 2025 at 9:40 AM
“embedded” programming is just an umbrella term for code that involves magical registers.
meaning that if you have a microcontroller “VeryCoolThing32”, it (example) resets a sensor if you write something to the 67th memory register.
this is what it means to write embedded code.
magical registers.
meaning that if you have a microcontroller “VeryCoolThing32”, it (example) resets a sensor if you write something to the 67th memory register.
this is what it means to write embedded code.
magical registers.
Reposted by Daniel Dia
Hey Microsoft, before you transform humanity with artificial general intelligence, can you just get the search to work on Outlook?
October 9, 2025 at 12:22 PM
Hey Microsoft, before you transform humanity with artificial general intelligence, can you just get the search to work on Outlook?
accurate representation of what it feels like to debug (or even just read) C++ code
a cartoon character sitting on a couch with his legs crossed
ALT: a cartoon character sitting on a couch with his legs crossed
media.tenor.com
October 9, 2025 at 9:21 PM
accurate representation of what it feels like to debug (or even just read) C++ code
everyday I am getting more and more convinced that Windows has no reason to be used at all.
there is no argument to be made for Windows other than laziness (and even then it is debatable how much easier Windows is compared to how straightforward most Linux distros are).
what a world we live in
there is no argument to be made for Windows other than laziness (and even then it is debatable how much easier Windows is compared to how straightforward most Linux distros are).
what a world we live in
October 9, 2025 at 7:52 PM
everyday I am getting more and more convinced that Windows has no reason to be used at all.
there is no argument to be made for Windows other than laziness (and even then it is debatable how much easier Windows is compared to how straightforward most Linux distros are).
what a world we live in
there is no argument to be made for Windows other than laziness (and even then it is debatable how much easier Windows is compared to how straightforward most Linux distros are).
what a world we live in
when writing code in Rust, a very important idea to understand is what a type system is.
a type in systems programming is usually thought of just some kind of data stored in memory.
in type theory/FP, we like to think of it as a way to classifying values and expressing constraints on them.
a type in systems programming is usually thought of just some kind of data stored in memory.
in type theory/FP, we like to think of it as a way to classifying values and expressing constraints on them.
October 9, 2025 at 5:09 AM
when writing code in Rust, a very important idea to understand is what a type system is.
a type in systems programming is usually thought of just some kind of data stored in memory.
in type theory/FP, we like to think of it as a way to classifying values and expressing constraints on them.
a type in systems programming is usually thought of just some kind of data stored in memory.
in type theory/FP, we like to think of it as a way to classifying values and expressing constraints on them.