I just saw an ad that began with “inflight Wi-Fi has come a long way since I was a kid”. I am officially unc, also chopped.
zwarich
@zwarich@hachyderm.io
mastodon
4.5.9
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
0
Followers
0
Following
Joined December 16, 2022
Posts
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
3
0
1
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
One of the most pressing naming discussions of our time: when you have a sum type `Token`, `Expr`, etc. and then a wrapper containing it + some common info (like trivia for `Token`, a source span for other nodes) what do you call the two? I used to always default to `Expr` and `ExprData`, but rustc generally defaults to `ExprKind` and `Expr`, despite `ExprKind` containing lots of data beyond just the plain `enum` that it represents: https://doc.rust-lang.org/beta/nightly-rustc/rustc_ast/ast/enum.ExprKind.html
Obviously, the best solution is to allow variants to have common fields, but is there a good naming scheme that works in the absence of this?
Obviously, the best solution is to allow variants to have common fields, but is there a good naming scheme that works in the absence of this?
2
0
1
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@jonmsterling I think that "democratically run" projects could still make some policy of ambiguity work, although perhaps this is just because they aren't really that democratic. The electorate usually consists of other trusted developers (rather than the actual users of the project), who probably only got to the point of being trusted developers because they shared common opinions with the previously established trusted developers. In that way, most "democratic" open source projects are run more like a supreme court that elects its own future members.
1
2
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@jonmsterling Lean is clearly ahead of the curve; they don't even want human-written contributions from outside the core maintainer group.
13
2
6
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
Sci-fi novel idea: you're a human who wakes up with amnesia every day and reads your AGENTS.md file.
17
2
3
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@lindsey @jonmsterling Crafted with precision in a state-of-the-art innovation lab, meticulously optimized for maximum resonance across LinkedIn networks.
#StrategicContentCreation #DigitalExcellence #ThoughtLeadership
#StrategicContentCreation #DigitalExcellence #ThoughtLeadership
2
0
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@nemo @lindsey @jonmsterling One decision. Everything else follows from it. My code, blog posts, emails, birthday cards, and tax returns are all slop. There are no band-aids. No glue between thoughts and words. No obscure exertion for a dead medium.
12
2
2
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
2
2
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
Can someone please tell Leo that these obviously LLM-generated blog posts are cringe? https://leodemoura.github.io/blog/2026-4-2-why-lean/
27
3
8
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@MartinEscardo What’s the actual change to mutual block handling?
0
2
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
combined Davos/POPL keynote ideas
"You'll own nothing and you'll be happy: a garbage collection rejoinder"
"The great shift/reset: a continuation or delimiter of progress?"
"Late-staged programming: are the economics of macros sustainable?"
"You'll own nothing and you'll be happy: a garbage collection rejoinder"
"The great shift/reset: a continuation or delimiter of progress?"
"Late-staged programming: are the economics of macros sustainable?"
22
0
7
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@lynnesbian This but with gallium arsenide semiconductors instead of silicon CMOS.
1
2
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
No applications? Wikipedia begs to differ:
2
8
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@jonmsterling Someone should just resolve the Barendregt–Geuvers–Klop conjecture so we can put the subfield in the bin.
1
2
0
zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@xenaproject This might be a dumb question (albeit one that I'm unlikely to be alone in asking), but what's the current state of the art in formalized arithmetic geometry?
0
1
0