Lightnews — Scholar-powered news

Ian @isuffix.com · 2d

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

1

Ian @isuffix.com · 4d

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

2

Reposted by Ian

Shen Comix @shenanigansen.bsky.social · 14d

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

15 77 1.4K

Ian @isuffix.com · 21d

Firefox… no. Please please no

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.

1

Ian @isuffix.com · 25d

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.

1

Ian @isuffix.com · Sep 9

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

2

Ian @isuffix.com · Sep 8

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

Ian @isuffix.com · Sep 8

@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

3 4

Ian @isuffix.com · Sep 5

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

3

Ian @isuffix.com · Aug 20

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...

Rust in 2025: Targeting foundational software · baby steps

smallcultfollowing.com

1

Ian @isuffix.com · Aug 20

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

Typst @typst.app · Aug 20

In the past two years, Typst has become the foundation to base document writing on for so many people. With the lessons from their experience, we are launching our new website today.

A screenshot of the new landing page, showing the heading "A new foundation for documents" and a few drawings representing document types with a thick specification binder highlighted in color.

1 14

Ian @isuffix.com · Aug 6

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

Ian @isuffix.com · Aug 6

Me trying to implement runtime math parsing in Typst

Alice ✨ @welltypedwit.ch · Aug 5

-- TODO: god this is going to mess up error messages

1

Ian @isuffix.com · Aug 2

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...

Recursive - Par Documentation

Documentation for the Par programming language

faiface.github.io

Ian @isuffix.com · Aug 2

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

3

Ian @isuffix.com · Aug 1

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.

Peter Bhat Harkins ✔️ @push.cx · Aug 1

Heck, we haven't even settled our argument over what to call it.

(Photo is Quinn Slack, speaking at HeavyBit DevGuild. I sent him an invite. Photo by @mikejulian.com.)

Guy presenting at a tech conference; the title is 'Next 3 Months in Coding' and the top bullet point is '"AI writes 90%" of code becomes obviously true to everyone except lobste.rs' and yeah the weird quotes are in the original.

1

Ian @isuffix.com · Jul 20

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

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 ...

github.com

5

Ian @isuffix.com · Jul 3

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

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

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.

www.artsy.net

2

Ian @isuffix.com · Jun 13

Pokéxec, gotta run em all!

maya @zenmaya.xyz · May 31

no you dont understand i dont “steal” programs, i pocket executables

1

Ian @isuffix.com · Jun 13

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

Ian @isuffix.com · Jun 13

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

1

Ian @isuffix.com · Jun 13

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

1

Ian @isuffix.com · Jun 10

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

4

Ian @isuffix.com · May 28

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

2

Reposted by Ian

teal deer @deer.graphics · May 24

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

2 11