Lúcás Meier
@cronokirby.com
Cryptographer working on Penumbra
Cryptography, FP, Math, and other cool stuff.
Blog too infrequently at cronokirby.com
Lost in Seattle somewhere
Cryptography, FP, Math, and other cool stuff.
Blog too infrequently at cronokirby.com
Lost in Seattle somewhere
What if you allow co-induction, and don't require termination, but merely productivity?
It should be easy to show that your DFS continues to do meaningful work, in that it won't visit old nodes again
It should be easy to show that your DFS continues to do meaningful work, in that it won't visit old nodes again
August 1, 2025 at 11:36 PM
What if you allow co-induction, and don't require termination, but merely productivity?
It should be easy to show that your DFS continues to do meaningful work, in that it won't visit old nodes again
It should be easy to show that your DFS continues to do meaningful work, in that it won't visit old nodes again
You can replicate the STROBE API with many other primitives, it's just less efficient. STROBE is a nice API over the capabilities of a Duplex construction, and so emulating that with other means is awkward.
July 28, 2025 at 6:32 PM
You can replicate the STROBE API with many other primitives, it's just less efficient. STROBE is a nice API over the capabilities of a Duplex construction, and so emulating that with other means is awkward.
Compare the number of the calls to the compression function vs the duplex construction
July 28, 2025 at 6:17 PM
Compare the number of the calls to the compression function vs the duplex construction
I still don't quite get the motivation for keeping Alaskan as a through street, if the motivation was ferry access. As a result, the vast majority of the people on Alaskan are just avoiding the toll tunnel.
July 23, 2025 at 6:17 PM
I still don't quite get the motivation for keeping Alaskan as a through street, if the motivation was ferry access. As a result, the vast majority of the people on Alaskan are just avoiding the toll tunnel.
A couple issues with this theory:
- there's often a myopic focus on impact during construction (traffic theory of everything)
- preference seems to be doled out through restrictions of upzoning, which reduces land value (but, it can preserve property value, sometimes)
- there's often a myopic focus on impact during construction (traffic theory of everything)
- preference seems to be doled out through restrictions of upzoning, which reduces land value (but, it can preserve property value, sometimes)
July 23, 2025 at 6:14 PM
A couple issues with this theory:
- there's often a myopic focus on impact during construction (traffic theory of everything)
- preference seems to be doled out through restrictions of upzoning, which reduces land value (but, it can preserve property value, sometimes)
- there's often a myopic focus on impact during construction (traffic theory of everything)
- preference seems to be doled out through restrictions of upzoning, which reduces land value (but, it can preserve property value, sometimes)
"But do we actually know that"
July 18, 2025 at 2:35 PM
"But do we actually know that"
Yeah, formalizing that is difficult. Intuitively, something akin to a game-theoretic interpretation of logic would work.
That's way too much machinery for this book though.
That's way too much machinery for this book though.
July 17, 2025 at 5:01 PM
Yeah, formalizing that is difficult. Intuitively, something akin to a game-theoretic interpretation of logic would work.
That's way too much machinery for this book though.
That's way too much machinery for this book though.
I think the conundrum is also solved in theory by not being content with "mere existence" but rather interpreting "exists" in a constructive way. I.e. if someone says that an algorithm exists finding a collision in SHA3, they should give it to you
July 17, 2025 at 3:55 PM
I think the conundrum is also solved in theory by not being content with "mere existence" but rather interpreting "exists" in a constructive way. I.e. if someone says that an algorithm exists finding a collision in SHA3, they should give it to you
I can barely write a background section in 20 pages
July 16, 2025 at 3:51 PM
I can barely write a background section in 20 pages
kingcounty.gov/en/dept/asse...
It's budget / mill based, so a drop in property values would just change the distribution of taxation, not the intake.
It's budget / mill based, so a drop in property values would just change the distribution of taxation, not the intake.
kingcounty.gov
July 10, 2025 at 5:05 PM
kingcounty.gov/en/dept/asse...
It's budget / mill based, so a drop in property values would just change the distribution of taxation, not the intake.
It's budget / mill based, so a drop in property values would just change the distribution of taxation, not the intake.
eprint.iacr.org/2020/1456
This paper made me see it as a bit more of an interesting attack, in that they actually found examples of a ciphertext which would decrypt to two valid files with different keys.
It does remain a bit contrived to imagine key confusion, but software can be very buggy.
This paper made me see it as a bit more of an interesting attack, in that they actually found examples of a ciphertext which would decrypt to two valid files with different keys.
It does remain a bit contrived to imagine key confusion, but software can be very buggy.
How to Abuse and Fix Authenticated Encryption Without Key Commitment
Authenticated encryption (AE) is used in a wide variety of applications, potentially in settings for which it was not originally designed. Recent research tries to understand what happens when AE is n...
eprint.iacr.org
July 7, 2025 at 4:59 PM
eprint.iacr.org/2020/1456
This paper made me see it as a bit more of an interesting attack, in that they actually found examples of a ciphertext which would decrypt to two valid files with different keys.
It does remain a bit contrived to imagine key confusion, but software can be very buggy.
This paper made me see it as a bit more of an interesting attack, in that they actually found examples of a ciphertext which would decrypt to two valid files with different keys.
It does remain a bit contrived to imagine key confusion, but software can be very buggy.
If you use the sales tax to fund addiction treatment, surely that makes it highly progressive, no?
July 1, 2025 at 4:03 PM
If you use the sales tax to fund addiction treatment, surely that makes it highly progressive, no?
support.signal.org/hc/en-us/art... One folders are more widespread that can help, + not needing to share your phone number to connect
Chat Folders on Signal Android
With chat folders you can separate chat threads into folders that can be switched via tabs in the chat list. This can be useful for grouping chats together into a work folder, friend folder, or unr...
support.signal.org
June 23, 2025 at 4:52 PM
support.signal.org/hc/en-us/art... One folders are more widespread that can help, + not needing to share your phone number to connect
Well, at least it has sidewalks at all!
June 12, 2025 at 6:53 PM
Well, at least it has sidewalks at all!
There's also an extent to which, for a strong property, it can obviously eliminate many programs because it's clear that it doesn't hold, but for weaker properties, there's still a chance it will in some weird way.
June 11, 2025 at 8:12 PM
There's also an extent to which, for a strong property, it can obviously eliminate many programs because it's clear that it doesn't hold, but for weaker properties, there's still a chance it will in some weird way.
I don't think it's a contradiction, because proving weaker properties, contingent on all the edge cases not eliminated by something stronger, actually involves proving more.
June 11, 2025 at 8:10 PM
I don't think it's a contradiction, because proving weaker properties, contingent on all the edge cases not eliminated by something stronger, actually involves proving more.
This is incredible! I'm seething with jealousy.
May 18, 2025 at 8:11 PM
This is incredible! I'm seething with jealousy.
Cities being purely "profit"-oriented is probably not ideal, but we also want decision makers in cities to actually like the idea of their city being an increasingly desirable place to live with more and more residents!
May 8, 2025 at 4:09 AM
Cities being purely "profit"-oriented is probably not ideal, but we also want decision makers in cities to actually like the idea of their city being an increasingly desirable place to live with more and more residents!