Ian

I know a tool you could use to check that!

Typst learned this lesson! We use it with heavy caching in the compiler to make incremental updates fast so documents update as you type

Code formatting is like the alphabet: it doesn’t matter what the standard is, it just matters that there is one

doing that thing where i slouch deep into my chair, brooding, one arm on the armrest holding a can of beer, except instead of slouching i have perfect posture, and instead of beer i have a glass of water

Screenshot of Firefox for iOS on a lobste.rs page, but the actual page is shifted down to only a third of the screen, the top is now a large red gradient with “summarize this page?” and a large button to continue to some form of AI text summary.

Firefox… no. Please please no

IMO it’s a mistake to use ”...” as syntax in a programming language for the simple reason that ”...” is incredibly useful when writing examples of syntax In prose.

Oops, I wrote this from memory and forgot the 1/2 cup of vegetable oil to add to the liquids!

Quotes around “family” because family recipes almost universally come from a standard cooking book at some point and then lose that context over generations of family gatherings and word of mouth sharing

@samwho.dev you inspired me to post my ”family“ recipe for corn casserole aka corn pudding:
2x jiffy corn mix
8oz sour cream
1 egg
1 can corn kernels (drain the water)
1 can creamed corn

1. Mix egg, sour cream, and both cans
2. Add jiffy
3. Bake in small pan at 400 for 45min

Slaps at any gathering

Not me reading this line in the MathML spec: “While MathML is human-readable, …”
😂😂😭😭😔😂

With Typst marketing itself as a a "new foundation for documents", we have a great example of @nikomatsakis.com vision of Rust as "making it dramatically more accessible to author and maintain foundational software."

typst.app/home

smallcultfollowing.com/babysteps/bl...

Typst's new landing page looks so good! I love the illustrations for the different use cases, and the "new foundation for documents" tagline is exactly how I see Typst myself. Great work guys

Oh my gosh. Thanks for sharing, the drama is great

Me trying to implement runtime math parsing in Typst

I found the Par language recently which has a really cool recursive type structure that seems designed to verify totality (but still has an “unfounded” escape hatch they’re trying to remove)

faiface.github.io/par-lang/typ...

Yeah, Zig chooses different points on the low-level ergonomics vs safety curve than Rust, but both have super respectable designs for their niches. Rust’s safe/unsafe distinction is much better suited to formal verification, but Zig is going to be lighter weight and compile faster for many uses

AI enthusiasts are wildly unrealistic at estimating how quickly humans change their behaviors. “90% of code will be written by AI in 3 months” — statements dreamed up by the utterly deranged.

Add a warning for `is` to anticipate using it as a keyword by wrzian · Pull Request #5229 · typst/typst This was mostly discussed in the syntax forge of the Discord. There is support among a number of contributors for adding is as a keyword for pattern matching of expressions in a future version, so ...

Very proud to have gotten github.com/typst/typst/... merged so we can write `if x is … {}` in Typst. A very unfortunate forced error in Rust

Why Do We Still Need Courtroom Artists? When Michael Jackson, Lindsay Lohan, and Tupac Shakur went on trial, sketch artists—not cameras—captured the most memorable moments.

Randomly got asked why courtroom sketches are still a thing and really enjoyed this article!

www.artsy.net/article/arts...

Pokéxec, gotta run em all!

And going in the other direction: explaining game rules is good practice for giving technical presentations

Of course this is also how chess engines are trained, so it's no wonder it's good for gaming :)

Branch-and-bound in board game decision making! You assign a value to a set of actions and stop looking at possible alternatives if the max value is lower than something you've already seen. Good for strategy and resource building games

I love how even in this fictional golden era we're still COLONIZING the galaxy. They can't even keep up the utopian charade for a whole paragraph

Man. Feels like we say "API" more often than "interface" just because it's shorter, even if interface is what we really intend

the computers have many ways to make fun little shapes on your screen, be a little curious, press buttons, see what happens

Oy' mate, it's a lovely day to wrangle some Pythons. Here in Australia, we call __name__ == "__main__" a use of down-underscores.

A #rustlang talk about masking ugly lifetime requirements with an option type to sate the nightly borrow checker's obsessions: The PhantomData of the Option<T>

To be clear: only until you adjust, then it's so much better

Took me two tries :)

It's so interesting to me how git has this stickiness to it that requires multiple tugs to escape. My headcanon is that half of git commands are low-level and half are high-level, so jj replacing the low-level commands makes your brain hurt itself in confusion