i am so sorry but if you live in the pnw you have no business having palm trees in your yard

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.

pug kayak -> pug sleep

It's called "urban planning" and it's a science

Nick@nicksattele.bsky.social · last yr.

Lmao how is Fremont omitted

"Cryptography makes everything a key management problem" is actually a profoundly optimistic statement.

Typography is one of the world's most pernicious infohazards.

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.

“The authors would like to thank the program committees of ASIACRYPT 2022, EUROCRYPT 2024, CRYPTO 2024 and EUROCRYPT 2025 for their constructive comments.” 👀

COSIC@cosic.bsky.social · last yr.

"Towards Optimally Secure Deterministic Authenticated Encryption Schemes" was presented today at #IACR #Eurocrypt 2025 in Madrid. link.springer.com/chapter/10.1...

Amazing work!

ePrint Updates@eprint.ing.bot · last yr.

PEGASIS: Practical Effective Class Group Action using 4-Dimensional Isogenies (Pierrick Dartois, Jonathan Komada Eriksen, Tako Boris Fouotsa, Arthur Herlédan Le Merdy, Riccardo Invernizzi, Damien Robert, Ryan Rueger, Frederik Vercauteren, Benjamin Wesolowski) ia.cr/2025/401

Solow model but for the interchangeability of eating out and developing personal cooking skills

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.

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

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.

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.

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!

"What are my politics?" "Don't worry you wouldn't get it anyways"

I like discovering new styles I can get the AI black box to spit out at me

Bad trigger discipline is definitely a red flag

Yeah I'm tapering (not running but in a cool way)

my language

1:43:38 half marathon: we're so back.

The best kind of planned maintenance is the kind you announce as you start doing it

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.

"a ban on high-capacity...AGI training runs"

Been a while since I ran a half, got my time down a bit

The AI has spoken

Little jog around lake union

Often regulatory clarity just means being able to clearly look up at the under-sole of the boot.

soon™

my main concern about the whole L2 story remains how you bridge these things together into a cohesive thing