Lightnews — Scholar-powered news

LightNews

POGtastic

@pogtastic.bsky.social

310 followers 420 following 2.2K posts

Software engineer, big blue semiconductor company. POG = Personnel Other than Grunt. Wife guy. Dog guy. Terrible chess player.

Posts Media Videos Starter Packs

POGtastic @pogtastic.bsky.social · 12h

Maaaaan my local climbing gym is going out of business and the next nearest one is like a 20 minute drive away

POGtastic @pogtastic.bsky.social · 1d

I still can't figure out what pass interference is

POGtastic @pogtastic.bsky.social · 1d

One of the greatest to ever do it (Patricia Lockwood, although I guess her sensual aunt too)

POGtastic @pogtastic.bsky.social · 2d

alexa play we're finally landing by home

POGtastic @pogtastic.bsky.social · 2d

I can already hear the Summoning Salt voiceover, the obscene speedrunner name that's said with total deadpan seriousness, and the guy yelling into his mic when he accomplishes NarcoSkip without a TAS for the first time on recorded video

POGtastic @pogtastic.bsky.social · 2d

I dunno about movies, but I watched a LOT of incredibly low-budget documentaries on the History Channel because it was on. You know, when they aired documentaries

Also the entire Modern Marvels back catalogue. There's nothing else on, kid, here's an entire episode about flour

POGtastic @pogtastic.bsky.social · 2d

I'm happy for them

POGtastic @pogtastic.bsky.social · 2d

Portland has a proud tradition of electing crazy people to the city council and the most milquetoast do-nothing schlubs to the mayorship

Does it work? no

POGtastic @pogtastic.bsky.social · 2d

Bret has an aside where he notes that, for the purposes of corvee labor, the age of "work-capable male" was set at around 7. That's probably a decent estimate!

POGtastic @pogtastic.bsky.social · 2d

After completing the game, you unlock a character who sank every available point into Tuba. The devs tell people on the forums that this is a joke and you aren't actually intended to play her

The speedrunning community, of course, immediately discovers unstoppable Tuba-based strats

POGtastic @pogtastic.bsky.social · 2d

Grumbling about not having enough points at character creation and having to decide between "got the Shotgun Shooting merit badge" and "took introductory programming at the community college"

POGtastic @pogtastic.bsky.social · 3d

I don't want either, but if I had to choose I'm taking away Jimmy's PlayStation instead of his insulin

POGtastic @pogtastic.bsky.social · 3d

Frankly (Ballpark frankly) ruining Christmas is simultaneously less harmful in the long run and somehow more visible than destroying everyone's healthcare and I'm here for it

POGtastic @pogtastic.bsky.social · 3d

Kibble-powered space heater!

POGtastic @pogtastic.bsky.social · 3d

There is TOO MUCH CALCIUM in my pancakes

POGtastic @pogtastic.bsky.social · 3d

I let my daughter crack the eggs when making the pancakes. I didn't realize she dropped HALF OF AN EGGSHELL into the mix

Mmmm crunchy pancakes

POGtastic @pogtastic.bsky.social · 3d

Speedrunning any% enlightenment by putting the cartridge onto a hot plate

POGtastic @pogtastic.bsky.social · 4d

OCaml if you don't mind the garbage collector, Rust if you do.

Reposted by POGtastic

Gretchen McCulloch @gretchenmcc.bsky.social · 4d

Higgledy piggledy
Timothée Chalamet
Has a name meriting
Endless design

Much like his forerunner
Benedict Cumberbatch:
Hexasyllabically,
Easy to rhyme

tweet from childish branzino @absflora:
timothée chalamet is the new benedict cumberbatch in the sense that you can say ANYTHING and we know who you mean. tiffany chevrolet. timpanogos charlemagne. symphony cabernet. jiminy castaway.

POGtastic @pogtastic.bsky.social · 4d

I didn't want to burden everyone with yet another language, but I was really trying to do this in ReScript, and your approach worked just fine there too. Now to apply this example to the much more complicated thing I have in mind...

Thanks again!

$type my_record<'a> = {internal: 'a, show: 'a => string} type rec any_record = Any(my_record<'a>) : any_record let show = (Any({internal:internal, show:show})) => show(internal) let xs = [ Any({internal:"foo", show:(s) => s}), Any({internal:42, show: (n) => Int.toString(n)}) ] let s = Array.map(xs, show)->Array.join(",") Console.log(s) // produces "foo,42"$

POGtastic @pogtastic.bsky.social · 4d

I can hear the handshake process now

A Windows 95-era window showing the "Dialing Process" of a modem to Al Gore's Internet

POGtastic @pogtastic.bsky.social · 4d

Large men, big strong men with tears in their eyes, coming up to me and telling me "your word recall is tremendous"

POGtastic @pogtastic.bsky.social · 4d

mods mods we need the Rude labeler

POGtastic @pogtastic.bsky.social · 4d

Ah - finding something in the GADT section of the manual, which has some similar syntax. ocaml.org/manual/5.3/g...

OCaml - Generalized algebraic datatypes

POGtastic @pogtastic.bsky.social · 4d

Oh my goodness it works. Thanks a lot!

Can you explain or provide a link to the docs that describe the `any_record` type declaration? I can see that it's recursive, but I'm not sure what the heck it's doing, and I don't see that syntax in the manual.