Alona
@alona.page
Reposted by Alona
Secret FORTH option? Gotta make sure all the cool up-and-coming languages are supported
November 30, 2025 at 12:50 AM
Secret FORTH option? Gotta make sure all the cool up-and-coming languages are supported
I wrote "secret forth option: " in a README file, but then didn't fill it in, and looking at in now i have no clue what I could've been. I guess it'll remain a secret.
November 30, 2025 at 12:37 AM
I wrote "secret forth option: " in a README file, but then didn't fill it in, and looking at in now i have no clue what I could've been. I guess it'll remain a secret.
Reposted by Alona
Words of wisdom: it's not a performance regression if the faster code was incorrect.
November 25, 2025 at 10:49 PM
Words of wisdom: it's not a performance regression if the faster code was incorrect.
if rust is sooo good why don't they make a rust2...
November 24, 2025 at 9:14 PM
if rust is sooo good why don't they make a rust2...
Mountain Goats in london somehow already sold out :’(
November 23, 2025 at 10:31 PM
Mountain Goats in london somehow already sold out :’(
Reposted by Alona
What was the first compiler to use the naming convention of “Kind” to name a sum type in its IR?
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
November 21, 2025 at 11:09 AM
What was the first compiler to use the naming convention of “Kind” to name a sum type in its IR?
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
What was the first compiler to use the naming convention of “Kind” to name a sum type in its IR?
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
November 21, 2025 at 11:09 AM
What was the first compiler to use the naming convention of “Kind” to name a sum type in its IR?
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
E.G.
struct Expr(Span, Ty, ExprKind);
enum ExprKind {
Variable(…),
Literal(…),
BinOp(…),
}
Reposted by Alona
Tired: Spotify Wrapped
Inspired: Cloudflare Unwrapped
Jokes aside, remember to #hugops. Nobody is immune from mistakes, and dealing with this stuff is really stressful.
Inspired: Cloudflare Unwrapped
Jokes aside, remember to #hugops. Nobody is immune from mistakes, and dealing with this stuff is really stressful.
November 19, 2025 at 6:37 PM
Tired: Spotify Wrapped
Inspired: Cloudflare Unwrapped
Jokes aside, remember to #hugops. Nobody is immune from mistakes, and dealing with this stuff is really stressful.
Inspired: Cloudflare Unwrapped
Jokes aside, remember to #hugops. Nobody is immune from mistakes, and dealing with this stuff is really stressful.
Reposted by Alona
They’re using all of them to build new messaging apps
How many AI IDE does Google have? Did I miss any?
- Firebase Studio: firebase.studio
- Google Antigravity: antigravity.google
- Google AI Studio: aistudio.google.com
- Gemini Code Assist: codeassist.google
- Google Jules: jules.google
- Gemini CLI: geminicli.com
- Firebase Studio: firebase.studio
- Google Antigravity: antigravity.google
- Google AI Studio: aistudio.google.com
- Gemini Code Assist: codeassist.google
- Google Jules: jules.google
- Gemini CLI: geminicli.com
Google AI Studio
The fastest path from prompt to production with Gemini
aistudio.google.com
November 19, 2025 at 4:03 AM
They’re using all of them to build new messaging apps
Reposted by Alona
upcoming five hour youtube video about bjarne stroustrop
November 18, 2025 at 8:26 PM
upcoming five hour youtube video about bjarne stroustrop
Reposted by Alona
clearly what rust needs is a Northernlion endorsement
November 18, 2025 at 1:38 PM
clearly what rust needs is a Northernlion endorsement
Reposted by Alona
longest requested rustdoc-json feature (i think?) has a very WIP implementation: github.com/rust-lang/ru...
rustdoc-json: add rlib path to ExternalCrate to enable robust crate resolution [WIPWIPWIP] by aDotInTheVoid · Pull Request #149043 · rust-lang/rust
Historically, it's not been possible to robustly resolve a cross-crate item in rustdoc-json. If you had a Id that wasn't in Crate::index (because it was defined in a different crate), you c...
github.com
November 18, 2025 at 12:05 AM
longest requested rustdoc-json feature (i think?) has a very WIP implementation: github.com/rust-lang/ru...
longest requested rustdoc-json feature (i think?) has a very WIP implementation: github.com/rust-lang/ru...
rustdoc-json: add rlib path to ExternalCrate to enable robust crate resolution [WIPWIPWIP] by aDotInTheVoid · Pull Request #149043 · rust-lang/rust
Historically, it's not been possible to robustly resolve a cross-crate item in rustdoc-json. If you had a Id that wasn't in Crate::index (because it was defined in a different crate), you c...
github.com
November 18, 2025 at 12:05 AM
longest requested rustdoc-json feature (i think?) has a very WIP implementation: github.com/rust-lang/ru...
so sad how expensive transitioning is becoming in america 😔. glad zohran could raise enough for it, but many of us arnt so lucky.
We just raised $1 million dollars for our transition to City Hall. The groundwork to make this city a fairer and more affordable place is happening because of you.
November 16, 2025 at 11:13 PM
so sad how expensive transitioning is becoming in america 😔. glad zohran could raise enough for it, but many of us arnt so lucky.
Reposted by Alona
objective, vast, and endless: pick 3
November 12, 2025 at 12:05 AM
objective, vast, and endless: pick 3
gnu vast-and-endless-sea compiler
the goal is not to build a xterm-killer, the goal is to teach people to yearn for the vast and boundless sea
November 11, 2025 at 11:51 PM
gnu vast-and-endless-sea compiler
Reposted by Alona
"You're telling me that once I'm a systems engineer, I'll know when to allocate and free memory?"
"No, Neo. When you're a systems engineer, you won't have to."
"No, Neo. When you're a systems engineer, you won't have to."
November 11, 2025 at 10:20 PM
"You're telling me that once I'm a systems engineer, I'll know when to allocate and free memory?"
"No, Neo. When you're a systems engineer, you won't have to."
"No, Neo. When you're a systems engineer, you won't have to."
answer via mastodon, which apparently has more type theorists: dl.acm.org/doi/10.1145/...
November 9, 2025 at 3:58 PM
answer via mastodon, which apparently has more type theorists: dl.acm.org/doi/10.1145/...
Reposted by Alona
come to rust, it's ok if you panic whenever you think about trying to change who you are while everyone is watching, that's what RefCell is for
November 9, 2025 at 1:22 PM
come to rust, it's ok if you panic whenever you think about trying to change who you are while everyone is watching, that's what RefCell is for
![impl<T> Debug for [T] where T: Debug
In the zohran mamdani sign style](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:mmbnkonsfestr6vvcpy7ffz3/bafkreig42xerffjplvmcnzc77iiguvskdnqlnlaptvpxccrrdlpe75kqnu@jpeg)
Reposted by Alona
probably several of these
November 8, 2025 at 11:07 PM
probably several of these
is there any research into languages that treat conditional compilation as part of typechecking, rather than something that happens at latest shortly after parsing?
i.e. one where the compiler can check both unix-only and windows-only code in the same build.
i.e. one where the compiler can check both unix-only and windows-only code in the same build.
November 7, 2025 at 9:44 PM
is there any research into languages that treat conditional compilation as part of typechecking, rather than something that happens at latest shortly after parsing?
i.e. one where the compiler can check both unix-only and windows-only code in the same build.
i.e. one where the compiler can check both unix-only and windows-only code in the same build.
observation: Rustdoc as the start of a sentence seems fine. Rustc on the other hand seems viscerally wrong. rustc is the only way to capitalize that. rustdoc is also acceptable here, but not required.
November 5, 2025 at 8:31 PM
observation: Rustdoc as the start of a sentence seems fine. Rustc on the other hand seems viscerally wrong. rustc is the only way to capitalize that. rustdoc is also acceptable here, but not required.
Reposted by Alona
the cishet monogamous git merges vs transgender polyamorous jj merges
October 28, 2025 at 11:11 PM
the cishet monogamous git merges vs transgender polyamorous jj merges