snthpy

Agreed. Considering the range from neaderthals to homo florensis etc...

Yup, like the Easter Islanders, what were they thinking when they cut down the last tree?

How does a sign error pass a Lean proof?

If it doesn't have a Lean proof, why would we bother with it? And they really shouldn't publish it! We don't need math slop too.

Also Canary 180m since we're going for small size here. That's what I'm using currently on Handy.

Lol is this some kind of meta joke?

"I can calculate the movement of the stars, but not the madness of the people."

Isaac Newton

Exactly!

Why do we view using the level of abstraction immediately below as cheating while the levels below that are taken for granted?

Why do we view using the level of abstraction immediately below as cheating while the levels below that are taken for granted?

Indeed. It didn't write it's own TCP implementation either. Nor operating system, nor compiler, nor build its own wafer etcher...

My comment probably sounds facetious but I'm actually intrigued by why we seem to view using the level immediately underneath as cheating whereas the levels below that are taken for granted?

Smarmy and weird was probably just the vibe i was giving off. Incidentally, I've always found Claude easier to talk to than most people lol

Hey, when i was in my twenties i told every girl that i was "pacing the frontier"... The right pace makes the denouement just that much sweeter.

What?

Thanks for pointing this out. I'm only reading these comments because i liked the interaction combinator Bend language.

Pivots are cool but why reuse the name and cause confusion? What is the old Bend called now?

DSPy seems like the right comparison and this is the first comment I've seen mentioning it.

Thanks for putting this together. I'm surprised the cost saving is so little though. I expected much more based on the post.

tl;dr templating language/tool for markdown from Obsidian

Looks useful!

I was hoping this would be about a new way to augur the events of the day from my morning toast to ensemble with the tea leaves at the bottom of my morning cuppa, alas ...

Thank you for this. Knowing both those words, i could never work out the original/history of the terms.