Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

adotinthevoid

@adotinthevoid@hachyderm.io
mastodon 4.7.3
  • Open on hachyderm.io
88 Followers
27 Following
19 Posts
Joined June 05, 2024
GitHub:
https://hachyderm.io/@adotinthevoid
Pronouns:
she/her
Site:
https://alona.page
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 8mo ago

My talk's gonna be soo good.

(Tomorrow, in Cambridge UK: https://www.meetup.com/cambridge-rust-meetup/events/312749221/)

Monthly Rust Meetup, Wed, Jan 21, 2026, 6:45 PM   | Meetup
Meetup

Monthly Rust Meetup, Wed, Jan 21, 2026, 6:45 PM | Meetup

Join us for the new and improved monthly Cambridge Rust meetup, hosted at Quantinuum's office on Hill's Road. **Speaker:** Alona Enraght-Moony **Topic:** Freeing rustc’s

47
3
14
1
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 11mo ago

rust's ir's are soo goofy sometimes:

In the AST a generic bound can either exist on the definition (`fn foo()`) or (`fn foo() where T: Debug`).

Then in AST->HIR, this is de-sugared/normalized, and all bounds are moved to where clauses (so it's easier for the typechecker to look at all the bounds)

Then in HIR->rustdoc::clean, this is reversed back to how it was in the AST. The bounds are split back into those on the param-defs, and those in where clauses. (So rustdoc can show the code as users wrote it).

This structure is repeated in rustdoc-json output, which bounds both on param defs and where clauses.

Then rustdoc-json consumers like cargo-semver-checks redo the same normalization again, for the same reasons.

9
2
2
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 6mo ago

Shoutout to https://github.com/rust-lang/rust/pull/149482. Hopefully you never run into needing to know the ordering gaurentees of TLS descrutors, but if you do, you're going to be really glad they got written down!

GitHub

thread::scope: document how join interacts with TLS destructors by RalfJung · Pull Request #149482 · rust-lang/rust

Fixes #116237 by documenting the current behavior regarding thread-local destructors as intended. (I'm not stoked about this, but documenting it is better than leaving it unclear.) This also ad...

2
0
1
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 11mo ago
5
0
2
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 8mo ago

RE: @adotinthevoid@hachyderm.io

Here it is: https://alona.page/talks/freeing-rustcs-understanding.pdf

(Slides only, no recordings)

hachyderm.io

Alona aDot: "My talk's gonna be soo good. (Tomorrow, in Cambr…" - Hachyderm.io

3
0
2
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 11mo ago

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.

4
4
1
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 13mo ago

https://github.com/rust-lang/rustc-dev-guide/pull/2422 Finally documented the rustdoc-json test suites after literal years of having this as a todo!

GitHub

Start documenting tests/rustdoc-json by aDotInTheVoid · Pull Request #2422 · rust-lang/rustc-dev-guide

Closes rust-lang/rust#100515 Rendered

5
1
1
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 10mo ago

longest requested rustdoc-json feature (i think?) has a very WIP implementation: https://github.com/rust-lang/rust/pull/149043

GitHub

rustdoc-json: add rlib path to ExternalCrate to enable robust crate resolution 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...

3
0
3
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 6mo ago

src/rustdoc-json-types/lib.rs will continue to expand until it can describe every aspect of a rust API:

https://github.com/rust-lang/rust/pull/154603

GitHub

rustdoc-json: Expose Item stability by aDotInTheVoid · Pull Request #154603 · rust-lang/rust

This is motivated by cargo-semver-checks wanting to work on the standard library, but that requires being able to filter out breaking changes to unstable items, so it can only flag breaking changes...

1
0
1
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 9mo ago

https://www.gov.uk/guidance/style-guide/technical-content-a-to-z#breaking-changes

the UK government has an official position that breaking changes are not broadly understood.

gov.uk
2
0
1
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 7mo ago
Replying to
also: face reveal i guess lol
1
0
0
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 11mo ago
Replying to
@predrag .o0O( cargo severelypathdependent-checks ) but more seriously, we *could* have rdj output something more normalized like HIR. i’m not entirely sure that’s desirable. im working on a series of blog posts about this.
2
0
0
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 8mo ago
Replying to
@pmmeurcatpics wasn’t recorded, but i’ve uploaded the slides: https://alona.page/talks/freeing-rustcs-understanding.pdf
alona.page
1
0
0
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 14mo ago

holy moly, hash_map! macro in std?!??!! https://github.com/rust-lang/libs-team/issues/578#issuecomment-3074413211

GitHub

ACP: hash_map! macro to create `HashMap`s such as `vec!` · Issue #578 · rust-lang/libs-team

Proposal Add a hash_map! macro that would possibly generate a HashMap instead of using HashMap::from([]) which doesn't feel that idiomatic. This isn't a performance addition, and wouldn't really ch...

2
0
1
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 14mo ago
Replying to

Not every attribute has a variant, all the ones that don't are lumped into Attribute::Other. If you care about an attribute here (other than #[doc], which I'm aware of), please let me know.

0
0
0
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 15mo ago

@NathanielB@types.pl was it you?

types.pl

Nathaniel Burke (@NathanielB@types.pl) - types.pl

0
0
0
0
Open post
adotinthevoid @adotinthevoid@hachyderm.io
· 5mo ago

do “tech bro” and “brogrammer” mean exactly the same thing?

0
3
1
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 20:48:42 UTC