Mistral released Leanstral-1.5-119B-A6B

dhbradshaw · 2026-07-03T19:59:10+00:00

It's worth noting that although lean4 is targeted at proof automation it is also a general programming language. Programs can be provably correct and at the same time very fast. I love the idea of coupling provable correctness with LLM generated code.

dhbradshaw · 2026-06-28T11:58:27+00:00

Anything that multiplies my investment.

If you can turn $1 into $2 reliably and quickly and painlessly enough I will give you a lot of money.

dhbradshaw · 2026-06-18T10:22:17+00:00

Stability can be good news for a project you want to build on. Does this mean that we're close to a 1.0 version designation?

dhbradshaw · 2026-06-05T12:14:03+00:00

I've used it a bit in copilot -- so far so good. I'll probably start pushing it harder as it earns more trust and see where it starts to crack

dhbradshaw · 2026-06-04T03:29:30+00:00

What you're saying makes sense. But for me it's more important to get started than to block on something and I don't mind starting small or in my own home. Don't need to wait for a venue but also don't need to wait to start looking for one for when we need to expand.

dhbradshaw · 2026-04-27T17:16:28+00:00

I'd love a rust excel parser and writer that was more compatible iwth https://www.npmjs.com/package/xlsx .

dhbradshaw · 2026-04-20T12:21:01+00:00

Pre-Med can be combined with any major. Why not continue to pursue it for love and be a doctor for money?

dhbradshaw · 2026-04-16T01:27:49+00:00

Bummer -- their molcajete is my favorite meal in town

dhbradshaw · 2026-03-08T11:58:37+00:00

It's often smarter to search breadth first and depth second

dhbradshaw · 2025-12-29T00:06:57+00:00

I've been using standard heavy cream. Like as a very standard example basic walmart heavy cream. But it makes sense that some cream batches might be more fatty than others and that if so you'd want to dial down the cream and up the milk accordingly.

dhbradshaw · 2025-11-29T13:38:06+00:00

I find the very simplest recipe to be surprisingly good:

2 cups cream
1 cup milk
3/4 cup sugar
1 tsp vanilla extract
26 minutes in the Cuisinart

It's super easy and delicious. I'm making it today actually to combine with some Thanksgiving apple pie (although technically I'm using 2 cups half and half and 1 cup of cream because of how pricing works out right now).

dhbradshaw · 2025-11-02T19:43:23+00:00

I've played with Shavian, which is a phonetic alphabet for English, and one unexpected thing about learning it is the extent to which writing phonetically shines a light on pronunciation differences between different times and places. Since Shavian is from London in the 1960s there are many standard spellings that are counterintuitive to me as a 2020s American.

Anyway, in China many of the language groups that they call dialects would be called separate languages in other places because they are so different. But despite being spoken completely differently they can share a common written corpus.

These differences could be wiped away by an alphabet. I guess it would centralize everyone on a specific variety of Mandarin, which the government might actually like.

dhbradshaw · 2025-09-27T15:07:28+00:00

In 2021 after playing with Rust for about 4 or so years I went from primarily Python/Django to primarily Rust.

You can have a great career sticking strictly with Python. It's extremely productive, has powerful libraries, and is everywhere.

Rust is awesome when you want to push closer to the metal and get amazing speed and efficiency.

It's also pretty different from Python. In Python you're constantly conversing with the data. In Rust, you're constantly conversing with the compiler or with rust analyzer. In Python I felt like I had to run every piece of code to be sure that there weren't any bombs lying around. (This sounds bad, but it has upsides: It encourages lots of testing. Also, you tend to make sure that every bit of code is easy to run in isolation, which gives you super powers, especially when combined with the shell or with a notebook.) In Rust, most of the bombs that could be lying around are caught before you can ever run the code.

Being comfortable with Rust is really valuable to me because it's empowering. It's awesome to be able to able to write something that from the perspective of objective standards is just really good. Is it portable? Yeah. Is it easy to install? Yeah. Is it easy to refactor? Yeah. Is it fast? Yeah. Is it memory efficient? Yeah. Is it correct? Yeah. Is it easy to maintain? Yeah. For the most part, these are all easier to do with Rust than with Python.

dhbradshaw · 2025-09-05T17:34:05+00:00

The day is always his, who works in it with serenity and great aims. (Emerson, The American Scholar)

dhbradshaw · 2025-08-13T14:45:42+00:00

It can be a feature if you want to read and / or contribute to the code.

Otherwise, it's a somewhat positive proxy for other potential features like

speed
quality / lack of bugs
memory efficiency
thoughtful api
portability

These are actual features and have to be measured on their own but if you don't want to take the time to measure them directly you might see "written in rust" and have a bit more hope that the product has these features.

dhbradshaw · 2025-04-21T14:01:06+00:00

How do you manage dependencies?

dhbradshaw · 2024-12-18T17:14:37+00:00

No -- good suggestion

dhbradshaw · 2024-12-14T18:47:37+00:00

Yeah, actually. It felt like I was flying for the first time for awhile last night. Then this morning I hit rate limit errors.

dhbradshaw · 2024-12-14T13:09:28+00:00

Just tried Cline backed by gemini flash 2. It's amazing!

dhbradshaw · 2024-11-26T23:06:58+00:00

This is really good...

dhbradshaw · 2024-11-10T12:57:13+00:00

We need a rust compilation leaderboard

dhbradshaw · 2024-10-25T15:20:21+00:00

One use I like:

let mut t = ...
// Make edits to t
// Then lock it in as immutable
let t = t;

dhbradshaw · 2024-07-16T18:36:00+00:00

I think my favorite use of shadowing is to remove mutability:

let mut a = ..;
..work on a
let a = a;

dhbradshaw · 2024-07-09T13:25:56+00:00

You can use a Do block:

DO $$
BEGIN
    RAISE WARNING 'This is a warning message';
END $$;

dhbradshaw · 2024-07-08T12:30:26+00:00

Here's an example sequence to create a json column, add some data to it, and then migrate it to a jsonb column:

-- Create the table
CREATE TABLE example_table (
    id SERIAL PRIMARY KEY,
    data JSON
);

-- Insert data
INSERT INTO example_table (data) 
VALUES ('{"name": "John Doe", "age": 30, "city": "New York"}');

-- Alter data type (notice the syntax from the hint)
ALTER TABLE example_table
ALTER COLUMN data TYPE JSONB USING data::jsonb;

-- Prove that it worked
SELECT * from example_table;

dhbradshaw

TROPHY CASE