Aaron Bies

@taichitakoyaki WTF???

♥ 𝓢𝓽𝓪𝓼𝓲𝓼 ♥

@sp4ghet Behold, a stick

キャベツつぶし棒

@sp4ghet me

@Lucretiel link?

Feeling especially annoyed about the “Rust 2.0” article because it didn’t even articulate in the slightest sense why such a thing might be necessary. Just vague gestures towards “complicated” and ideas about feature incubation that are indistinguishable from nightly rust.

3 week streak of Inercia Shader Royale related shaders? good

@DrawsMiguel What if there was a noisy/not-nan version of f32 and f64 built into the language So NaN would be illegal and free for niece optimization and operation that result in NaN panic

@foonathan @__phantomderp I can also recommend: lib.rs/crates/codespa…

@__phantomderp I mean that's the best part of writing a compiler in Rust: you have all those libraries that do diagnostic formatting for you. github.com/zesterer/ariad…

@__phantomderp Macros are to powerful to be formatted github.com/matklad/proc-c…

@chordbug all of this more or less started with this one tweet, so yeah... thank you

@chordbug The following semester, I took a course in computational logic where I learned Coq and how the type theory behind these theorem provers worked, and in parallel, I learned about homotopy type theory in the HoTTEST summer school

best of chordbug

@sundhaug92 @lunasorcery @olafurw I think that would have been let data = reqwest::get("someurl/somefile.txt").await.unwrap().text().await.unwrap();

@lunasorcery @olafurw Reqwest?

Actual Rust library tutorial code. Tutorial text changed a bit. "Then call the request to get the data." let data = Request::get("someurl/somefile.txt").send().await.unwrap().text().await.unwrap();

𝙏𝙚𝙘𝙝𝙣𝙤

bouncing for the inercia shader royale 2022 shadertoy.com/view/md2GDD music by @DiFFtY

@catinoddplaces The Cat Evolved into The Microwave-Proof Cat!

@m_ou_se @__phantomderp I've never seen `..;` used like that, I love it

@__phantomderp Maybe I'm misunderstanding, but is this what you're looking for? play.rust-lang.org/?version=stabl…

@timClicks Err(Ok(...))

Error failed successfully

@timClicks I tend to recommend "The Little Book of Rust Books" lborb.github.io/book/

What's the appropriate etiquette for when someone asks about books for beginner Rust programmers?