0xפנתן‎

Like I said a couple years ago, leftist antisemitism is getting worse. Like, we're at the Naming The Jew stage and next I guess will be the triple parentheses

Starting a new project in 2026: trying to drink a coffee in as many Seattle neighborhoods as I possibly can.

Seattle's coffee scene is truly one of my favorite things about this city and this will be a great excuse to fully explore it.

This was one of the bosses' explicit goals in getting Trump elected - crush the strong Biden era labor market in order to discipline workers and make them submit to abuse and exploitation. That, not burrito taxi prices, was the actual economic stakes of the 2024 election

No. It does not make me mad. If I need to relate those, the pointer I want is void*.

Why are you doing this to us?

i havent stopped thinking about this ttrpg cover for 2 years

Next time somebody tries to get me to justify the existence of the humanities, I’ll just point out how for the past two Super Bowls we’ve all jumped online and engaged in collective semiotics and hermeneutics of the half-time show as text.

Really feels like *gestures* the NFL is on this side of the MAGA/others divide and that's just weird.

Maybe we should have gone out trying to find owls to photograph.

The game isn't moving fast, the ads are mostly insane, and I haven't been outside enough.

Computers have the same sorts of errors, and languages have to express them.

Like a gas car always fails when it runs out of gas.

Retelling Eden: Feminism, Folklore and Narrative Reclamation As a formerly Orthodox, now secular, deeply online millennial woman who loves the incredible extended chain of shared imagination that makes up the Jewish people’s collective narrative world-building,...

Shalom friends! Enjoy this blog I wrote for Reboot, a case study in adapting tales from a deeply patriarchal tradition, shaped by male storytellers, into modern feminist Midrash…while STILL having each plot twist and character trait rooted in those same ancient texts!
rebooting.com/article/jewi...

Whatever the programmer defines for a given program.

So I booted up lean and instructed the latest Claude to act entirely as a TA and critique & instruct.

Well, it's been a long time since I wrote proofs, and this is a hard go. But I have a robot instructor which has time to spare.

I now have some theorems about concat. Whee.

finé/

A core issue with proven code has been the sheer /work/ it's taken to prove it to date.

Well, cost of codegen is crashing.

We still need to have rock solid programs.

Where does that leave us?

Well...

Let's prove it works.

2/

Today I started the serious grind to learn Lean.

I have a rough hypothesis of one approach to future programming. It involves a formal method system being set up to specify the system, then AI is used to generate the code, then the prover ensures the qualities are held.

1/

We had goals at my shop last year - and this year - for using AI.

As silly as the hype men get, AI is becoming quite effective if you put your head down and think about it.

Rust vs. C++ in 2026: We Rewrote Our Core Engine And Killed The Safety Tax Myth Last March, a six-line lambda cost my company $2.3 million.

"A bug in our app cost us $2.3mn. We re-wrote it in Rust, and our C++ senior devs swore it would be slower. It turned out to be faster. The safety tax is real, but we were paying it in the wrong language." medium.com/@ArkProtocol...

What is your actual question? That's a very vague question to a programmer.

Those hep cats.

judge enquired if he was mentally ill.

on the balance, plausibly. I hope he gets the help he clearly needs.

Did not launch product by Jan 5. Sigh. Bummed

A Seattle transit goal set in 2015 was for 72% of the city to be a 10 min walk to 10 min frequency transit. We hit that goal in early 2020 and since 2023, have not reported on it.

Today, just 53% of the city is walking distance to frequent transit and with new openings it'll be 55% in 2027

When you have the president you win. It's like chess.

Knuths taocp

Dude is an anti Semite under the increasingly transparent cloak of anti Zionism. A common affliction...

200+ homeschool alumni joined our advocacy efforts last year and we are ready to support more.

CRHE is founded and led by homeschool alumni - but we’re powered by donors who believe in our mission. We need your end-of-year gift to amplify more voices in 2026. Donate here: crhe.org/support-crhe/

Never heard of those people.

Why are they so contagiously bad?

Lots of makeup on her, and, I think, a little bit better contrast on the camera the photog used.

the lie is very popular. As I've gotten more into the photography world, the more that has become... obvious. Obvious like a 10 foot troll hitting me with a club.

People really, really, really don't want truth. There's something very revealing about how people react to accurate images.

A lot of photographers have no ethical concerns about doing crazy cakes with the lighting to the point where it's effectively not even the same scene. And deep edits to insert and remove people are a thing. Or to make someone thin, or, or, or.

The demand for a lie is there.

Xhanike not mentioned, fail.