jjmarr

Tell it to write a script for encoding/decoding ROT13 then tell it to generate that command in ROT13 so you get into the low probability zone. Or jam lots of stuff into the context. Or just use a…

The guarantees is that a moved-from state is in an otherwise valid state. So, you can do things like check if a moved from std::vector is empty (often the case in practice), then start appending eleme…

> The moved object could be left in an unusable state, depending on your implementation, after stealing its internal resources. The "proper" semantics are that it leaves the object in a v…

This disease is different because its main symptom is dementia.

Very large employers don't have a group rate. The insurance company administers the plan on behalf of the company according to pre-agreed rules, then the company covers all costs according to the…

Post-training doesn't transfer over when a new base model arrives so anyone who adopted a task-specific LLM gets burned when a new generational advance comes out.

How is the Galaxy XR? I want one but I can't justify it if it doesn't connect to my non-Samsung work laptop.

Seeing a task-specific model be consistently better at anything is extremely surprising given rapid innovation in foundation models. Have you tried Aristotle on other, non-Lean tasks? Is it better a…

My favourite thing about AI is it forces people to justify the meaning of their work. And every response is "if you're bad at your job, AI will replace you, so get good". Here, the true…

Not the OP, but I tried it when it came out. VR headset technology wasn't good enough for screens within screens and it was nauseating more than anything. There's also impedance mismatch bet…

What are the benefits of Aristotle over a general-purpose coding assistant like Claude Code?

From watching Polymarket, every war ends up being in some weird grey area that screws up the market. It's really hard to write unambiguous rules when there's money on the line. My favourite …

"Control" refers to military occupation of territory. Boots on the ground. No part of Venezuela (referring to its sovereign territory) was indefinitely occupied by the USA. That's why t…

The military has to intend to control territory in the occupation sense. That means controlling the land, not the government. "Venezuela" refers to the land not the state. All the Israel mar…

Standard Polymarket legalese for invasions requires the goal of indefinite "control of territory" for this reason. Raids don't qualify. This issue already happened with the war in the M…

Charlie Kirk has a 3% chance of winning a Nobel Peace Prize right now according to Polymarket. He's climbed from 1% since Maduro was arrested. It seems unlikely since Nobels aren't awarded p…

I showed a friend how to unpack a struct with a structured binding in C++ and he thought it was the coolest thing ever, so I wrote this blog post. Any feedback is appreciated! I graduated 6 months ago…

Can we see an example of this on a moderately sized codebase?

My work bans raw new and delete, so we only use unique_ptr. It's not as memory safe as Rust's borrow checker but I've never seen a segfault.

And yet many people would rather use Expedia or Google than buy the flights directly.

> For instance, mouse fathers exposed to nicotine(opens a new tab) sire male pups with livers that are good at disarming not just nicotine but cocaine and other toxins as well. queue rationalist f…

I've been unable to convince any "businessy" or liberal arts people to vibe code. I've attempted with everyone in my immediate family, friends, etc. Even when they sit on the compu…

Infinite Jest predicted this.

You don't have to enjoy your job. You have 4 YoE. Maybe grind LeetCode and get a job in the next 6 months. If 4 years of work can provide for 2 years of retirement, you can retire at 50 or so.

Selenium was a part of my degree. I had a course involving it.

The pluvia website says that: https://gopluvia.com/ I'm not an official developer.