LightNews LightNews
raganwald.bsky.social
@raganwald.bsky.social
1 followers 3 following 0 posts
Posts Replies Media Videos
Reposted
raganwald.functional.cafe.ap.brid.gy
My first type-level TypeScript Y Combinator good enough to criticize:

https://gist.github.com/raganwald/6558ddfd76b16fe7b7213a80f54576e0
// ---------- The Why Bird as an HKT ---------- // // This is a nearly direct translation of a JS // implementation from "Why Y? Deriving the // Y Combinator in JavaScript:" // // https://raganwald.com/2018/09/10/why-y.html // // const Y = // fn => // M(m => a => fn(m(m))(a)); // A kind that encapsulates the "maker" function within the Why Brd type _$Maker<FN extends HigherOrderKind, M extends HigherOrderKind, A> = $< FN,_$cast<_$M<M>, _$inputOf<FN>> > extends infer InnerMaker extends Kind.Kind ? $< InnerMaker, _$cast<A, _$inputOf<InnerMaker>> > : never; interface Maker_T<FN extends HigherOrderKind, M extends HigherOrderKind> extends Kind.Kind { f( a: this[Kind._] ): _$Maker<FN, M, typeof a> } interface Maker<FN extends HigherOrderKind> extends Kind.Kind { f( m: _$cast<this[Kind._], HigherOrderKind> ): Maker_T<FN, typeof m> } // The Why Bird composes a decoupled recursive kind with itself, // converting a decoupled recursive kind to a recurive kind interface Y extends Kind.Kind { f( fn: _$cast<this[Kind._], Kind.Kind> ): _$M<Maker<typeof fn>> }
August 4, 2025 at 4:17 PM
Reposted
sosaglidingclub.aircrew.rocks.ap.brid.gy
With 50cm of snow hitting us for Black Friday, the best way to get your holiday shopping done will just be to buy everyone a soaring flight gift certificate from the comfort of home, so everyone can daydream of an unforgettable summer day to come soon! […]

[Original post on aircrew.rocks]
A Very handsome young man in cool aviator sunglasses, sitting in the cockpit of an ASK-21 sailplane and looking at the instruments. Image text is copied from a recent Google review: "Excellent experience! It was especially inspiring for my grandson who hopes to earn his pilot licences. Thanks for a great first flight and special thanks to the pilots and site crew."
November 26, 2025 at 6:29 PM
Reposted
hnbot.gsuscs.xyz
A Brutal Look at Balanced Parentheses, Computing Machines, and Pushdown Automata

https://raganwald.com/2019/02/14/i-love-programming-and-programmers.html
November 14, 2025 at 3:30 AM
Reposted
dieworkwear.bsky.social
If you live in a major city, you may have noticed more people wearing bandanas around their neck, as the accessory has made a small comeback. Typically made from cotton, the bandana — distinct from the ascot — has a long history in working class aesthetics, as it serves a practical function.
A man holding up a Kapital bandana. A construction worker wearing a bandana.
October 30, 2025 at 8:07 AM