ocschwar's comments

ocschwar · 2026-11-05T03:52:52 1793850772

Also cost cutting.

HQ gets a time-based discount for electricity? Time for all the freezers to go into a deeper freeze. HQ gets a message from the Demand Response program asking for a curtailment? Time for the freezers to let the goods come closer to their safe higher temperatures.

ocschwar · 2026-11-05T02:54:56 1793847296

And hooking systems into the cloud over the WAN helps them how?

ocschwar · 2026-10-21T03:17:45 1792552665

"What is a Hilbert space?"

-- David Hilbert.

cgio · 2026-10-21T03:29:00 1792553340

The nice additional reading is that you could even know what a Hilbert space is, but not what is a Hilbert space.

ocschwar · 2026-10-08T17:34:38 1791480878

Because you either continue paying rent for the room you're renting the rest of the year, or you risk not having digs in the fall.

For those European workers, a US wage more than pays for the rent for their vacant rent back home.

ocschwar · 2026-08-16T21:09:08 1786914548

> But how do you verify Facebook? Facebook computes what?

You start by verifying the permissions structure for Facebook posts.

And by verifying the shortest, least complex functions in Facebook's server side code base.

AlotOfReading · 2026-08-16T21:22:41 1786915361

The final proof you get from formal methods is often irrelevant in my opinion. Most of the benefit comes from architecting the system so as much as possible can be verified and forcing yourself to make intentional decisions on the edge cases. The results are for other people.

I'm not sure you want to create a record of intentional decisions if you're at Facebook though.

ocschwar · 2026-08-08T10:59:51 1786186791

The trouble is the simulation tools are either proprietary and thus have only a small mind share among software developers, or academic, and either way, PLC programmers have not gone near them yet.

But a decent LLM should be able to translate the description of a plant to a TLA+ model (or Alloy, or something similar.)

ocschwar · 2026-07-28T14:03:29 1785247409

> My fraternity was more tame and we used to have guys gazing each other in the main room during parties.

Joining a fraternity makes you jointly and severally liable for anything your frat brothers do. It's the very opposite of working or investing in a limited liability company. Makes sense for a fraternity to be more tame...

ocschwar · 2026-07-28T14:01:15 1785247275

Which is why I am sitting right now in a meeting and the presenter is logged in from Bangalore and I don't even want to know what `TZ=Asia/Kolkata date` will tell me.

ocschwar · 2026-05-12T02:19:35 1778552375

Seems to me these LLMs have a critical mass of Python training data and Rust training data, so there's no advantage for Python there.

So as the article points out, an iterative process that catches the mistakes at compile time is much more suited for an AI than one that catches them at runtime.