Sign in

Lúcás Meier

@cronokirby.com
818 followers 152 following 826 posts

Cryptographer working on Penumbra Cryptography, FP, Math, and other cool stuff. Blog too infrequently at cronokirby.com Lost in Seattle somewhere

PostsRepliesMedia
Reposted by Lúcás Meier
yukicraft @yukicraft.bsky.social · 23/06/2025
i am so sorry but if you live in the pnw you have no business having palm trees in your yard
011
Lúcás Meier @cronokirby.com · 10/06/2025
notes.cronokirby.com/Posts/Bridgi... I wrote a short blog post about how I'd like to see us evolve bridges towards internalizing risk, rather than passing it on to users. Ideally, bridging risk should not be mitigated by having users be aware of each bridging action, gauging it themselves.
notes.cronokirby.com
Bridging, Risk, and Buck Passing
Bridges enable users to transfer assets between blockchains.
021
Reposted by Lúcás Meier
yukicraft @yukicraft.bsky.social · 09/06/2025
pug kayak -> pug sleep
pug in a kayakpugs hair in the wind in a kayakTired pug
051
Lúcás Meier @cronokirby.com · 21/05/2025
It's called "urban planning" and it's a science
020
Lúcás Meier @cronokirby.com · 20/05/2025
"Cryptography makes everything a key management problem" is actually a profoundly optimistic statement.
1125
Lúcás Meier @cronokirby.com · 12/05/2025
Typography is one of the world's most pernicious infohazards.
020
Lúcás Meier @cronokirby.com · 08/05/2025
Considering this article (www.slowboring.com/p/what-citie...) from @mattyglesias.bsky.social about how the concentrated ownership model can help neighborhoods (as it does for, e.g. Theme Parks, Japanese Rail), I'm starting to think that cities having constant millage is bad.
100
Reposted by Lúcás Meier
Pascal Junod @cryptopathe.me · 06/05/2025
“The authors would like to thank the program committees of ASIACRYPT 2022, EUROCRYPT 2024, CRYPTO 2024 and EUROCRYPT 2025 for their constructive comments.” 👀
172
Lúcás Meier @cronokirby.com · 02/04/2025
Amazing work!
010
Lúcás Meier @cronokirby.com · 08/02/2025
Solow model but for the interchangeability of eating out and developing personal cooking skills
010
Lúcás Meier @cronokirby.com · 08/02/2025
You can get a glimpse at being a human reading weird accounts by aliens of how they think human society works, often laughably inaccurate, by reading philosophy about a field you know well, e.g. software.
010
Lúcás Meier @cronokirby.com · 08/02/2025
this infamous quote is right, but only because all of the value created by the internet was immediately destroyed by the prevalence of power point as a means of business communication
"By 2005 or so, it will become clear that the Internet's impact on the economy has been no greater than the fax machine's."
- Nobel Prize-winning economist, Paul Krugman, 1998
070
Lúcás Meier @cronokirby.com · 22/10/2024
The fact that the API for the U.S. Presidential election was specified in terms of electors was very smart because it allows many possible election variants to be supported in a backward compatible way.
020
Lúcás Meier @cronokirby.com · 17/10/2024
I think you can avoid the significant whitespace in Haskell-like languages just by introducing a keyword to close scopes. For example, see the first image. Just adding an `end` keyword accomplishes a lot.
a : Int -> Int
a x = y where
  y : Int
  y = x + x
end
3100
Lúcás Meier @cronokirby.com · 14/10/2024
yonkeltron.com/posts/boring... echoes a sentiment that I share: if you spend all your time using "boring" tech that already exists, there's no possibility for improvement or increased productivity. The goal of software engineering should be continuous improvement!
yonkeltron.com
yonkeltron.com | Post: Boring Tech Is Stifling Improvement
Jonathan E. Magen's website!
031
Lúcás Meier @cronokirby.com · 23/11/2023
"What are my politics?" "Don't worry you wouldn't get it anyways"
020
Lúcás Meier @cronokirby.com · 21/11/2023
I like discovering new styles I can get the AI black box to spit out at me
020
Lúcás Meier @cronokirby.com · 21/11/2023
Bad trigger discipline is definitely a red flag
000
Lúcás Meier @cronokirby.com · 20/11/2023
Yeah I'm tapering (not running but in a cool way)
000
Lúcás Meier @cronokirby.com · 17/11/2023
my language
000
Lúcás Meier @cronokirby.com · 12/11/2023
1:43:38 half marathon: we're so back.
010
Lúcás Meier @cronokirby.com · 11/11/2023
The best kind of planned maintenance is the kind you announce as you start doing it
000
Lúcás Meier @cronokirby.com · 08/11/2023
Sand, anguish, whispers crashing on the crag, Bellows, wind brush, waves thrown against the loam, Salt, tears, an aching, a collapse: alone, Sunken, ashamed, buried: a sodden rag.
000
Lúcás Meier @cronokirby.com · 07/11/2023
"a ban on high-capacity...AGI training runs"
000
Lúcás Meier @cronokirby.com · 05/11/2023
Been a while since I ran a half, got my time down a bit
110
Lúcás Meier @cronokirby.com · 02/11/2023
The AI has spoken
020
Lúcás Meier @cronokirby.com · 01/11/2023
Little jog around lake union
000
Lúcás Meier @cronokirby.com · 01/11/2023
Often regulatory clarity just means being able to clearly look up at the under-sole of the boot.
000
Lúcás Meier @cronokirby.com · 31/10/2023
soon™
010
Lúcás Meier @cronokirby.com · 31/10/2023
my main concern about the whole L2 story remains how you bridge these things together into a cohesive thing
100
Lúcás Meier @cronokirby.com · 31/10/2023
Happy Halloween to those who celebrate!
000
Lúcás Meier @cronokirby.com · 31/10/2023
Here's a simple technical explanation for those who don't get it yet:
020
Reposted by Lúcás Meier
Ra @slimepriestess.ingroup.social · 16/09/2023
hi friends! I still haven't found alternative housing so i still gotta pay rent on this place. I need to raise $1200 this month to cover everything. You can find donation links at voidgoddess dot org slash donate. I love y'all, thank you for your kindness and support 🌞🌌❤️‍🔥🌱
1910
Lúcás Meier @cronokirby.com · 29/10/2023
God give me the strength to go to my sandwich place and not order the same thing I've ordered every time
030
Lúcás Meier @cronokirby.com · 26/10/2023
For all you multisig enthusiasts out there
Weather alert:
Frost Advisory 12:00 AM Friday - 9:00 AM Friday
020
Lúcás Meier @cronokirby.com · 26/10/2023
You need a license to get married? What's next? A license to make toast in your own goshdarn toaster?
100
Lúcás Meier @cronokirby.com · 26/10/2023
Mood
010
Lúcás Meier @cronokirby.com · 25/10/2023
"Oh yeah ECDSA signatures totally make sense"
6244
Lúcás Meier @cronokirby.com · 25/10/2023
all my alpha, leaked!
000
Lúcás Meier @cronokirby.com · 24/10/2023
new pfp who dis
020
Lúcás Meier @cronokirby.com · 24/10/2023
Nice fast run this morning
000
Lúcás Meier @cronokirby.com · 23/10/2023
Cloudy day in Seattle today
001
Lúcás Meier @cronokirby.com · 21/10/2023
What if you could order cash from Amazon?
010
Lúcás Meier @cronokirby.com · 21/10/2023
What about i x engineers, whose proficiency lives along the imaginary axis?
000
Lúcás Meier @cronokirby.com · 21/10/2023
Which way western man?
020
Lúcás Meier @cronokirby.com · 21/10/2023
"It's a doggy dog world out there"
010
Lúcás Meier @cronokirby.com · 20/10/2023
This is the future nuke-bros want
210
Lúcás Meier @cronokirby.com · 20/10/2023
Privacy loves Company
010
Lúcás Meier @cronokirby.com · 19/10/2023
My personality at 7 years old
120
Lúcás Meier @cronokirby.com · 19/10/2023
Dads just want to grill
000