Can we create a department of public corruption and have this guy build it like Hoover built the FBI? It needs to be independent of the executive explicitly and have its own arrest powers.
September 30, 2026 at 1:15 PM
St. Louis fans have experience with a GM spiking the football early, eh?
bsky.app/profile/stlc...
bsky.app/profile/stlc...
St. Louis fans could have told that as soon as he said. Just wait until Carnell’s locker room falls apart.
April 13, 2025 at 1:43 AM
St. Louis fans have experience with a GM spiking the football early, eh?
bsky.app/profile/stlc...
bsky.app/profile/stlc...
Yall are pissing me off
July 23, 2026 at 4:10 AM
Yall are pissing me off
Fewest plays in a game since 1978:
28: 1999 Browns Wk 1 vs PIT
30: 2025 Raiders Wk 7 vs KC
31: 1980 Saints Wk 5 vs STLC
28: 1999 Browns Wk 1 vs PIT
30: 2025 Raiders Wk 7 vs KC
31: 1980 Saints Wk 5 vs STLC
October 19, 2025 at 8:06 PM
Fewest plays in a game since 1978:
28: 1999 Browns Wk 1 vs PIT
30: 2025 Raiders Wk 7 vs KC
31: 1980 Saints Wk 5 vs STLC
28: 1999 Browns Wk 1 vs PIT
30: 2025 Raiders Wk 7 vs KC
31: 1980 Saints Wk 5 vs STLC
Yeah man, it was a disaster signing — kid hasn’t looked at all up to MLS level. Can’t believe they got even partially bailed out.
bsky.app/profile/stlc...
bsky.app/profile/stlc...
Minnesota paid €2.5M for JSB.
July 22, 2025 at 3:08 AM
Yeah man, it was a disaster signing — kid hasn’t looked at all up to MLS level. Can’t believe they got even partially bailed out.
bsky.app/profile/stlc...
bsky.app/profile/stlc...
decided to revive my blog and wrote up my project I did over christmas developing the semantics for simply-typed lambda calculus in a CCC using agda-categories:
Semantics of STLC in Agda
An excursion into the semantics of STLC formalized in agda
boarders.github.io
March 21, 2026 at 11:54 PM
decided to revive my blog and wrote up my project I did over christmas developing the semantics for simply-typed lambda calculus in a CCC using agda-categories:
Bike the Branches on Saturday, October 3rd! Ride your bike between the Oak Bend and Grant's View branches for prizes, kid's programming, wellness activities, and more. We will kick off the event with donuts and close with Gus' pretzels! buff.ly/P5XhpoP
September 30, 2026 at 3:04 AM
August 27, 2025 at 6:18 PM
Impressive traveling support for a midweek US Open Cup game bsky.app/profile/stlc...
𝐒-𝐓-𝐋 👏
Thanks for traveling and bringing the energy, CITY fans! See you at the final ♥️
Thanks for traveling and bringing the energy, CITY fans! See you at the final ♥️
September 17, 2026 at 12:47 PM
Impressive traveling support for a midweek US Open Cup game bsky.app/profile/stlc...
November 21, 2024 at 5:58 PM
Perfect match for this: www.youtube.com/watch?v=STLC...
Cruel Country
YouTube video by Wilco - Topic
www.youtube.com
April 9, 2025 at 12:03 AM
Perfect match for this: www.youtube.com/watch?v=STLC...
Sneaking in a historical note before the playoffs begin at 4:30. Thanks to the Giants PR department, @quirkyresearch.bsky.social and I now have the full 1979 Week 2 NYG-STLC game where we were previously missing the final 4:47. I've shared it with @pro-football-reference.com as well.
January 10, 2026 at 9:07 PM
Sneaking in a historical note before the playoffs begin at 4:30. Thanks to the Giants PR department, @quirkyresearch.bsky.social and I now have the full 1979 Week 2 NYG-STLC game where we were previously missing the final 4:47. I've shared it with @pro-football-reference.com as well.
January 20, 2025 at 1:00 PM
structural normalization, part 1 (STLC to sequent calculus)
chrisistyping.bearblog.dev/structural-n...
chrisistyping.bearblog.dev/structural-n...
Structural Normalization (1: STLC to Sequent Calculus)
{Previously: Part 0}
What I'm calling structural normalization -- a normalization procedure for simply-typed lambda calculus derived from concepts from st...
chrisistyping.bearblog.dev
May 17, 2026 at 2:45 PM
structural normalization, part 1 (STLC to sequent calculus)
chrisistyping.bearblog.dev/structural-n...
chrisistyping.bearblog.dev/structural-n...
Celebrate National Chemistry Week with Professor Richard Zare’s talk, “Spice is Nice: Exploring the Chemistry of Nature’s Culinary Marvels,” on Oct 16 at 3PM in STLC 114! Discover how plant defenses became sources of flavor chemistry.stanford.edu/events/spice...
October 15, 2025 at 7:08 PM
Celebrate National Chemistry Week with Professor Richard Zare’s talk, “Spice is Nice: Exploring the Chemistry of Nature’s Culinary Marvels,” on Oct 16 at 3PM in STLC 114! Discover how plant defenses became sources of flavor chemistry.stanford.edu/events/spice...
It’s one thing to read peer-reviewed research on all the ways that minimum parking mandates harm our economy. It’s another thing to hear it from small business owners who’ve been unable to expand, or unable to open, or forced to close, or lost their retirement savings
www.youtube.com/watch?v=SnEZ...
www.youtube.com/watch?v=SnEZ...
How Parking Mandates Are Crushing Dallas Small Businesses
YouTube video by Dallas Urbanists STLC
www.youtube.com
January 25, 2025 at 4:29 AM
It’s one thing to read peer-reviewed research on all the ways that minimum parking mandates harm our economy. It’s another thing to hear it from small business owners who’ve been unable to expand, or unable to open, or forced to close, or lost their retirement savings
www.youtube.com/watch?v=SnEZ...
www.youtube.com/watch?v=SnEZ...
He’s an absolute disgrace, so this is sweet af.
bsky.app/profile/stlc...
bsky.app/profile/stlc...
September 21, 2026 at 3:21 PM
He’s an absolute disgrace, so this is sweet af.
bsky.app/profile/stlc...
bsky.app/profile/stlc...
Third annual #dallasweekwithoutdriving starts soon on September 29!! Watch this video on what is #weekwithoutdriving, why you should join, and how to prepare!
youtu.be/Ld6J2BmdHck?...
youtu.be/Ld6J2BmdHck?...
Introducing Week Without Driving 2025 Dallas Edition + New Video Series on How To Go Car-Free
YouTube video by Dallas Urbanists STLC
youtu.be
September 13, 2025 at 4:36 PM
Third annual #dallasweekwithoutdriving starts soon on September 29!! Watch this video on what is #weekwithoutdriving, why you should join, and how to prepare!
youtu.be/Ld6J2BmdHck?...
youtu.be/Ld6J2BmdHck?...
Borrell took 18 months before deciding to replace Josh Wolff with a guy whose team averaged .8 ppg this year.
Yeah I think Austin fans were expecting a little bit more.
bsky.app/profile/stlc...
Yeah I think Austin fans were expecting a little bit more.
bsky.app/profile/stlc...
Doesn’t it seem like Borrell would have been more daring in his manager pick? I wasn’t expecting this.
October 25, 2024 at 3:55 PM
Borrell took 18 months before deciding to replace Josh Wolff with a guy whose team averaged .8 ppg this year.
Yeah I think Austin fans were expecting a little bit more.
bsky.app/profile/stlc...
Yeah I think Austin fans were expecting a little bit more.
bsky.app/profile/stlc...
Software Testing Training in Whitefield
Learnmore Technologies provides job-oriented Software Testing Training in Whitefield for students, freshers, and working professionals. The course covers Manual Testing, SDLC, STLC,Test Case Design, Defect Tracking.
learnmoretechnologies.in/software-tes...
Learnmore Technologies provides job-oriented Software Testing Training in Whitefield for students, freshers, and working professionals. The course covers Manual Testing, SDLC, STLC,Test Case Design, Defect Tracking.
learnmoretechnologies.in/software-tes...
September 25, 2026 at 5:29 AM
Software Testing Training in Whitefield
Learnmore Technologies provides job-oriented Software Testing Training in Whitefield for students, freshers, and working professionals. The course covers Manual Testing, SDLC, STLC,Test Case Design, Defect Tracking.
learnmoretechnologies.in/software-tes...
Learnmore Technologies provides job-oriented Software Testing Training in Whitefield for students, freshers, and working professionals. The course covers Manual Testing, SDLC, STLC,Test Case Design, Defect Tracking.
learnmoretechnologies.in/software-tes...
STLC with pairs and sums maybe? Are you wanting inference, bidirectional, or all functions annotated with their type?
January 10, 2025 at 6:55 PM
STLC with pairs and sums maybe? Are you wanting inference, bidirectional, or all functions annotated with their type?