Max S. New

(Complimentary)

Of course without functional dependency you have to deal with non-determinism/partiality

I’m looking for participants for a paid user study on a prototype system for tabular programming (programming with tables / data frames).
2 hours • $50 Visa prepaid card
Hoping to finish sessions by March 13.
Details + sign up in 🧵
Reposts appreciated! 🙏

The Man Who Stole Infinity | Quanta Magazine In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.

www.quantamagazine.org/the-man-who-...
Wow, this rewrites history. I skipped forward a bit, but the parts I didn't know were fascinating.

Statements made by the utterly deranged

Reminder: the entire NSF budget is 9B and NIH like 47B. And they have 500B that they don’t know how to spend.

remember: if the USA loses, 3-on-3 overtime is a travesty. if the USA wins the people complaining about it are sore losers

join our study pls

a text editor is a projective visual direct manipulation programming tool which converts abtract syntax to a tangible, material, spatialized substance (text), and uses a tactile peripheral (keyboard) to effect rich semantic transformations in a physicalized humanized ergonomic milieu

Any particular examples you have in mind here?

Congrats!

Successfully defended my dissertation today. Now Dr. Joe!

Syntax being inductive and semantics being structurally recursive over syntax is the entire idea of compositional/denotational semantics

Who do you order from

|- is syntax and |= is semantics so makes sense to me

The current regime took a week to abolish USAID, which is three times as old and was not in the news every day for brutalizing children

on the balance i think partisan gerrymandering is bad but the only way it ends is if democrats weaponize it against republicans everywhere they can. wiping out republican lawmakers in blue states might bring the GOP to the table to end the practice.

At press time, it remained unclear whether adults should be held responsible for their actions.

Note from the editors: ProPublica is publishing the names of the two federal immigration agents involved in the fatal shooting of Minnesota protester Alex Pretti. We believe there are few investigations that deserve more sunlight and public scrutiny than this one, in which two masked agents fired 10 shots at Pretti as he lay on the ground after being pepper-sprayed. The Department of Justice said it is investigating the incident, but the names of the two agents have been withheld from Congress and from state and local law enforcement. The policy of shielding officers’ identities, particularly after a public shooting, is a stark departure from standard law enforcement protocols, according to lawmakers, state attorneys general and former federal officials. Such secrecy, in our view, deprives the public of the most fundamental tool for accountability.

A note from our editors:

I am really angry about all of the scientists who cozied up to Epstein even after it was known who he was.

I am nearly as angry at how many people are justifying this as "they had to, it's how academia works"

NO IT FUCKING WELL ISN'T

I was just telling Carlo Angiuli that "type safety" is a bad term and we shouldn't use it.

Elm obviously. It made functional programming mainstream

A moment of silence that ends with someone shouting "fuck ICE!" and the crowd roaring in response

DHS has shot 12 people during immigration enforcement operations since September:

Gov. Tim Walz: "Thank God we have video, because according to DHS, these seven heroic guys took an onslaught of a battalion against them or something. It's nonsense, people. It's nonsense and it is lies."

Yall outside of MN need to know that observers are STILL out protecting their neighbors. Right now. They know the news and they’re still out there.

We've got federal agents executing people on the street in Minneapolis this is FUCKED

Carney: "American hegemony in particular helped provide public goods, a stable financial system... this bargain no longer works. Let me be direct. We are in the midst of a rupture, not a transition... recently, great powers have begun using economic integration as a weapon. Tariffs as leverage ... "

If Indiana can do it then I’ll keep hoping Northwestern can too #CongratsHoosiers