iiinova — where your digital self keeps evolving

Reposted by Dave Nicponski

Abdul El-Sayed @abdulelsayed.bsky.social · 28/09/2026

Mike Rogers is a corporate sellout who moves back to Michigan every few years to run for office to take another swing at the revolving door of corporate politics.

314162654562

Reposted by Dave Nicponski

Chaucer Doth Tweet @levostregc.bsky.social · 24/09/2026

Why ben thei so numerous The songes about rainbowes And what ys on the othir syde? "Rainbowes are visiounes Yet onlye illusiounes, And rainbowes have no thynge to hyde."

632871

Reposted by Dave Nicponski

Steven Beschloss @stevenbeschloss.bsky.social · 24/09/2026

50 percent tariffs for our beloved neighbor and historic ally, Canada. A red carpet and a military flyover for Communist China’s leader. Donald Trump is a sick man and a danger to America.

10333921022

Reposted by Dave Nicponski

Physics @physics.bsky.social · 17/09/2026

Carlsberg Brewery offered Niels Bohr a house next to the brewery in honor of his 1922 Nobel Prize in Physics. One of the benefits of the house was a direct pipeline from the brewery, effectively providing Bohr with free and unlimited beer for life.

A black and white historical portrait of Niels Bohr sitting on stone steps. He is wearing a rumpled suit, a tie, and heavy boots, with one leg crossed over the other.

1826543

Reposted by Dave Nicponski

Mr. Horror4H @horror4h.bsky.social · 19/09/2026

Terra's Theme remains one of the most beautiful and moving pieces of music I've ever heard and the game that followed did not disappoint.

static.klipy.com

Walk To Narshe Pixel Remaster

ALT: Walk To Narshe Pixel Remaster

2271

Reposted by Dave Nicponski

Thor Benson @thorbenson.bsky.social · 18/09/2026

Democratic strategists: Ahhh! What's the right message!!?? Where do we moderate!?!? Jon Ossoff: This administration is horrible. I hate these people. We should put them in jail. I'm pissed Voters: This guy is cool Strategists: I can't figure it out!!!!!

354169343019

Reposted by Dave Nicponski

waffle .-. @waffle.pet · 13/09/2026

little hurts more than "the thing that you've been procrastinating for months was actually important and you blew the deadline and now you have to accept the consequences"

5722

Reposted by Dave Nicponski

NY Times Pitchbot @nytpitchbot.bsky.social · 11/09/2026

Mr. Trump’s choice to lead a mass pledge of allegiance to himself, followed by commanding his followers to cheat in the upcoming election, was unusual by presidential standards.

571306235

Reposted by Dave Nicponski

Lizzy Rose Oliver - Voice Actress @lizzyrosevo.bsky.social · 11/09/2026

Men crying about "fairness in women's sports" should immediately be questioned on their knowledge about women's sports.

1273587457

Reposted by Dave Nicponski

Don Moynihan @donmoyn.bsky.social · 06/08/2026

Is this just business as usual in politics? No. Approval rates of federal disaster aid requests were about the same regardless of the state and did not vary much with the party of the President. This graph powerfully conveys the scale of the partisan discrimination now.

231484547

Reposted by Dave Nicponski

Soraya Nadia McDonald @soraya.press · 04/08/2026

it's not why *everything* sucks, but having all three branches of the federal government captured by thieves, abusers, bigots, and cowards is definitely why a lot of things suck

492736577

Reposted by Dave Nicponski

Carl Quintanilla @carlquintanilla.bsky.social · 20/07/2026

“The Guardian wins the ‘Caption of the Year’ competition: - William Merrin @theguardian.com

10163051463

Reposted by Dave Nicponski

Adam Serwer @adamserwer.bsky.social · 16/07/2026

It’s really a great question because it immediately reveals whether someone is unfit for public service. bsky.app/profile/atru...

1365273942

Reposted by Dave Nicponski

Radley Balko @radleybalko.bsky.social · 16/07/2026

"Stop criticizing us or will keep murdering people" is just a jaw-dropping thing for a government official to say.

28470612354

Reposted by Dave Nicponski

Bradley P. Moss @bradmossesq.bsky.social · 16/07/2026

"Be quiet or we'll keep killing you" is one hell of a message for the midterms.

47980334

Reposted by Dave Nicponski

Ahmed Baba @ahmedbaba.bsky.social · 16/07/2026

It’s impossible to move the debate forward when one side is committed to upholding a disinformation-fueled, dehumanizing false reality that leads to the state-sanctioned street killings of innocent people. There are not two sides to this particular story. Full stop.

24785332468

Reposted by Dave Nicponski

Dean Obeidallah @deanobeidallah.bsky.social · 16/07/2026

Trump should not be giving a national speech tonight. He should be in prison for attempting a coup after the 2020 election and inciting the Jan 6 terrorist attack.

952246528

Reposted by Dave Nicponski

Bill Grueskin @bgrueskin.bsky.social · 16/07/2026

In the realm of questions posed during Senate hearings, this one from Ossoff -- "Isn't it humiliating to be unable to answer this?" -- ranks right up there with "Have you no sense of decency, sir, at long last?"

Isn't it humiliating to be unable to answer this question, to have MR. KELLY

MR OSSOFF

13563811409

Reposted by Dave Nicponski

Steven Beschloss @stevenbeschloss.bsky.social · 16/07/2026

Please explain to me how the same senators who voted for the Epstein Transparency Acf would now vote to confirm the man who’s leading the continuing coverup of the Epstein files.

775142934287

Reposted by Dave Nicponski

Connor Ewing @cmewing.bsky.social · 14/07/2026

Completely—and utterly irresponsibly—unhinged.

220894262256

Reposted by Dave Nicponski

hansotten.bsky.social @hansotten.bsky.social · 13/07/2026

The KIM-1 explained Based upon my experience and study of the KIM-1 since 1979. Many notes on paper and files everywhere. Now consolidated in a lot of pages. retro.hansotten.nl/6502-sbc/kim...

retro.hansotten.nl

The KIM-1 explained – Retro Computing

0113

Reposted by Dave Nicponski

Anthony Michael Kreis @anthonymkreis.bsky.social · 14/07/2026

Officers shooting a man, running away from law enforcement, who is not a target of law enforcement, and who poses no threat to law enforcement, is murder. Federal officers do not have the power to commit summary executions because they are aggrieved.

12670531871

Reposted by Dave Nicponski

Kat Abughazaleh @katmabu.bsky.social · 08/07/2026

What we already know is horrific. Imagine how bad discovery would be if the government is willing to pay our fees (something the government doesn’t readily do) just to avoid it.

11674151650

Reposted by Dave Nicponski

The Donk @thedonk.bsky.social · 07/07/2026

Bombs Iran - pays Iran $300B Sells memecoin for $75 - now worth $2 Endorses candidate - candidate loses "Fixes" reflecting pool - algae blooms, paint peels Goes to Knicks game - Knicks lose Hijacks 250th birthday - no one attends Meddles in World Cup - US loses It's like there's a pattern #ETTD

468104572932

Reposted by Dave Nicponski

Steve Vladeck @stevevladeck.bsky.social · 06/07/2026

This passage from @davidlat.bsky.social perfectly captures the false dichotomy you see so often from the Supreme Court's defenders: The Court is held out as "independent" because it doesn't *always* rule for Trump. That whitewashes (1) how often it *does*; & (2) its bad behavior in non-Trump cases.

441817454

Reposted by Dave Nicponski

Mayor Zohran Kwame Mamdani @mayor.nyc.gov · 04/07/2026

Happy Fourth of July, New York City

Mayor Mamdani on a boat smiling in front of the Statue of Liberty.

362235372657

Reposted by Dave Nicponski

Marc Elias @marcelias.bsky.social · 04/07/2026

"In every stage of these Oppressions We have Petitioned for Redress in the most humble terms: Our repeated Petitions have been answered only by repeated injury. A Prince, whose character is thus marked by every act which may define a Tyrant, is unfit to be the ruler of a free people."

11262962056

Reposted by Dave Nicponski

Marc Elias @marcelias.bsky.social · 03/07/2026

Washington Post v. Democracy Docket The media you consume is a statement of your values. Support pro-democracy independent media. Subscribe to Democracy Docket. bit.ly/4qmEiFz

181234389

Reposted by Dave Nicponski

Andrew M. | Founder & Advisor 🇬🇷 🇺🇸 @andrewmfounder.bsky.social · 02/07/2026

77M people voted for this pathologically-lying, criminal sociopath.

2481449406

Reposted by Dave Nicponski

Adam Kinzinger @adamkinzinger.substack.com · 03/07/2026

The depth of corruption is so staggering that it feels unreal. But it is. Trump “rug pulled” hundreds of millions from his fans through his crypto, and now doesn’t even pretend otherwise. We cannot allow this to feel normal. Watch the full video (link) youtu.be/ISsdYxyd33s?...

851604500

Reposted by Dave Nicponski

gabby @fullmoon.id · 03/07/2026

new blog post incoming and I'm pretty excited about this post

Mechanized type inference for record concatenation

The context behind this post is that I'm working on a type checker and language server for Nix and there are three features of the language which make it tricky to typecheck (which I'll dub the "three horsemen of Nix type inference"):

- computed imports (imports that depend on values in scope)

- computed record fields and field accesses

- // (the right-biased record concatenation operator) which is the subject of this post!

Here "right-biased record concatenation" means combining two records, preferring fields from the right record if they overlap. For example:

nix-repl> { x = 1; y = 2; } // { y = true; z = "hi"; }
{ x = 1; y = true; z = "hi"; }

The good news is that type inference for record concatenation is not a research problem because the algorithm was published in 1991 as "Type inference for record concatenation and multiple inheritance" by Mitchell Wand (henceforth "the Wand paper"). The bad news is that as far as I can tell no language in existence implements the type inference algorithm described in that paper, so even though it's not a research problem it's still not a solved problem.

A big reason why is that the presentation in the paper is informal and not "easy to mechanize" meaning that it doesn't translate well to code and glosses over important details. In this post I hope to fix that by by spelling out a formal algorithm equivalent to the original paper. In particular, I'll formalize the algorithm in three ways:

- a declarative natural deduction semantics
- an algorithmic semantics using constraint generation and resolution
- a reference Haskell implementation (≈400 lines of code)

This post builds upon my previous post: Record type inference for dummies. Reading that post will not necessarily prepare you for this post if you're a type theory newcomer, but it will at least help you understand the basic terminology/syntax and also appreciate why this is a challenging problem to solve.

0425

Reposted by Dave Nicponski

Arbaz Kakkar5 @arbazkakkar5.bsky.social · 03/07/2026

The President of the United States is a traitor.

20255801002

Reposted by Dave Nicponski

Ioannis Ziogas @ziogas.bsky.social · 02/07/2026

Today's NYT jobs report coverage (left) compared to exactly 2 years ago under Biden (right). Notice the numbers.

NYT headline (July 2, 2026): U.S. Hiring Continues at a Steady Pace

NYT headline (July 2, 2024): US Job Growth Extends Streak, but Signs of Concern Emerge.

17551301826

Reposted by Dave Nicponski

Joe Roberts 🔥💙🔥🐸 @robbyjoe.bsky.social · 02/07/2026

Here’s some straight talk from someone who knows some things.

29474592989

Reposted by Dave Nicponski

brent sewer socialist🚰🌹 @therealbrent.bsky.social · 02/07/2026

I haven’t seen *any* coverage of this and worry people have just become numb (or are too distracted by the World Cup, Knicks, etc.)

44377614235

Reposted by Dave Nicponski

The Liberal BoJack @thelibbojack.bsky.social · 01/07/2026

Can everyone just step back and realize how insane it is that the US Supreme Court had to rule on the constitutionality of the US CONSTITUTION and the vote to uphold the Constitution wasn't unanimous!!!

23058591653

Reposted by Dave Nicponski

George Conway ⚖️🇺🇸 @gtconway.bsky.social · 30/06/2026

@steverattner.bsky.social: "Trump’s net worth has nearly tripled in his second term, reaching $6.5 billion. His administration is the most brazenly self-enriching in American history."

951825828

Reposted by Dave Nicponski

4fuxake @blueheartedly1.bsky.social · 01/07/2026

Birthright citizenship is in the constitution. To the 3 justices who chose to ignore it, you know what's NOT in the constitution? The number of justices!

742064519

Reposted by Dave Nicponski

brent sewer socialist🚰🌹 @therealbrent.bsky.social · 30/06/2026

If Democratic voters continue to re-elect Democrats who don’t support expanding the Supreme Court then we only have ourselves to blame for the end of our democracy

1217937

Reposted by Dave Nicponski

George Conway ⚖️🇺🇸 @gtconway.bsky.social · 30/06/2026

This is just flat-out criminal. {gift link} www.nytimes.com/2026/06/28/w...

22734971544

Reposted by Dave Nicponski

Paul Waldman @paulwaldman.bsky.social · 29/06/2026

I'll tell you one thing, any Democratic 2028 presidential candidate who says they're going to "restore balance" and not fire every last Trump appointee on every commission on their first day in office doesn't deserve a single primary vote

652405547

Reposted by Dave Nicponski

Alex Hern @hern.bsky.social · 29/06/2026

Don’t be disheartened America, it’s actually fine having a system that gives effectively unlimited executive power to the head of government. You just have to make sure you only ever elect good chaps to head your government! You did remember to only ever elect good chaps, right

37923151

Reposted by Dave Nicponski

SLC Unc @dadshammdad.bsky.social · 29/06/2026

Hey guys, I fucked up so badly that fixing it would bankrupt the country.

1751452446

Reposted by Dave Nicponski

Philip N Cohen @philipncohen.com · 29/06/2026

Checking in on MAHA day at the American State Fair. Managed to get pretty close to the stage

62978721550

Reposted by Dave Nicponski

jamelle @jamellebouie.net · 29/06/2026

this is absolutely wild. where does roberts think these agencies come from?!? who invested them with authority to act? whose mandate are they designed to execute? the president is the chief EXECUTive. his job is executing the will of Congress as it spells out in its duly-passed laws!

12875031827

Reposted by Dave Nicponski

Cameron 🇺🇸🗽🦅 @cameroncorduroy.bsky.social · 29/06/2026

5-4 on "can the President literally fabricate charges against a bureaucrat he doesn't like to get them fired" is bleak

1002726576