Nostr notes by Dave

oh, I hatched a plan in the afterglow of experiencing next-gen ...

2026-10-25T18:28:55Z

In reply to nevent1q…q3sv
_________________________

oh, I hatched a plan in the afterglow of experiencing next-gen US-American tortilla technology, didn't I

does anyone remember what i had planned for the diced green ...

2026-10-25T16:17:48Z

does anyone remember what i had planned for the diced green chiles on my grocery list

RE: https://mathstodon.xyz/@tao/117207856734787448 "In most ...

2026-09-06T11:02:23Z

RE: https://mathstodon.xyz/@tao/117207856734787448

"In most cases...the problems are posed not because we desperately want the solution to these problems in and of themselves, but because we have seen from past experience that human-directed efforts to solve these problems tend to spur further development of the field..."

quoting
note1gkd…zglg

Fundamentally, problems in pure mathematics, such as the global regularity problem, serve a different purpose than immediately practical problems, such as that of finding a cure to a specific disease, or increasing the energy efficiency of some engine. In most cases in pure mathematics, the problems are posed not because we desperately want the solution to these problems in and of themselves, but because we have seen from past experience that human-directed efforts to solve these problems tends to spur further development of the field through the efforts to solve such problems, and then to digest any partial or complete solutions that emerge for further insights. Prematurely solving the problem by purely AI-powered methods can contaminate this process to the point where it actually becomes a net negative for the progress of mathematics as a whole. (6/6)

was this .plan file a public TODO or calling for anarchy or what

2026-09-05T15:10:39Z

In reply to nevent1q…ufw6
_________________________

was this .plan file a public TODO or calling for anarchy or what

This proglang for physical calculations with units is blowing my ...

2026-08-11T20:36:34Z

This proglang for physical calculations with units is blowing my mind

https://futureboy.us/frinkdocs/

"All blasphemers are doomed to reinvent two-phase ...

2025-08-20T10:14:21Z

"All blasphemers are doomed to reinvent two-phase commit."

https://taylor.town/pg-task

we'll have to agree to disagree — if the feds or states ...

2025-07-18T19:01:59Z

In reply to nevent1q…7e0k
_________________________

we'll have to agree to disagree — if the feds or states remove the ability of locals to prevent density with zoning (as CA is doing), NIMBY locals will wither

"the biggest determinant is the reluctance of volume builders ...

2025-07-18T14:14:23Z

In reply to nevent1q…4h7c
_________________________

"the biggest determinant is the reluctance of volume builders to over-supply the market" seems worth at least an attempt at a citation or persuasive argument :/

More specifically, it's genuinely odd to mention geographic limits while tap-dancing around the topic of density, which is primarily blocked not by suppliers but by incumbents. Wouldn't the Klein/Thompson approach bust the owner-occupier cartel?

link much appreciated. I don't think I follow your Primary ...

2025-03-23T14:43:13Z

In reply to nevent1q…wugr
_________________________

link much appreciated.

I don't think I follow your Primary Energy Fallacy paragraph. Regardless of efficiency gains, electrifying heat+transpo involves a 3-5x increase in total electricity consumption. Even the most ambitious solar+wind projections in northern Europe don't cover this, at least from what I've seen. Am I missing something?

I can’t tell to what extent you’re taking into account ...

2025-03-23T13:29:08Z

In reply to nevent1q…0kyq
_________________________

I can’t tell to what extent you’re taking into account increased electricity needs of a decarbonized future. What estimates are you working with on that side?

“He who deals the honey licks his fingers” –Turkish proverb

2025-01-16T14:15:34Z

In reply to nevent1q…07ht
_________________________

“He who deals the honey licks his fingers” –Turkish proverb

"AI can save you say 2 hours of reading the docs. But ...

2024-12-08T12:47:47Z

"AI can save you say 2 hours of reading the docs. But it's probably gonna cost you 4 hours of runtime debugging... It's way more fun to be competent."

(My phrasing has always been "I don't want to eat my own seed corn".)

https://www.youtube.com/watch?v=qLC2pHw3tHM