bmitc

4 ms·

91.
by bmitc 2mo ago
And we've advertised it to the entire world. And we've destroyed our economy. And we've further isolated ourselves from the world, culturally, politically, and economically. Good job everyone with the voting. All those people
92.
by bmitc 2mo ago
How do you run Qwen? I tried setting it up the other day and got really confused with all the options between Ollama, LM Studio, and llama.cpp and also the bazillion different Qwen models available.
93.
by bmitc 2mo ago
Musk hasn't ever been intellectually successful in anything. He's a grifter.
94.
by bmitc 2mo ago
Also, Jane Street.
95.
by bmitc 2mo ago
That language is basically F#, except for perhaps the performance claims. But F# is definitely not a slow language.
96.
by bmitc 2mo ago
Two clicks take you to the tutorial: https://fstar-lang.org/tutorial/
97.
by bmitc 2mo ago
You'll be disappointed in F* then.
98.
by bmitc 2mo ago
> There is no liquid water on the moon. That is not definitive. There is frozen water and even water that sublimates on the bright side of the Moon. And the internal core of the Moon is quite hot. It is not beyond the realm of possibilit
99.
by bmitc 2mo ago
> lifeless rock Do you know that for a fact? Unlikely sure, but the question isn't helped by ramming a thing that might have Earth-born life on it into it.
100.
by bmitc 2mo ago
From the pictures I just saw online, it seems like there have indeed been cases of rocket debris as well.
101.
by bmitc 2mo ago
> Generally speaking, such objects are very poorly tracked. Why is there not any regulations about this stuff? So we can't throw a napkin out the window (not that I condone littering), but SpaceX can just literally throw stuff into
102.
by bmitc 2mo ago
The linked blob post says "public preview". That doesn't mean actually released or live, does it?
103.
by bmitc 2mo ago
You're basically just agreeing with the original comment that these tools don't do what's stated. And in my experience, Claude Code will often ignore LSPs, despite instructing Claude to use them and have them installed throug
104.
by bmitc 2mo ago
> And there is a lot missing in the actual harnesses frankly that isn't about more parallel agent ninjutsu. Like why isn't there a 'move this function from this file to this file' tool (copy/paste char range) and
105.
by bmitc 2mo ago
I've seen this particular in the post and others from Anthropic make similar claims of "oh, just do this or that", and I've always been of the opinion: "isn't this what everyone is paying Anthropic to do?"
106.
by bmitc 2mo ago
Seems like something they should work on, not customers. Reinventing my workflow every six months because a company/product is lazy is not high on my list.
107.
by bmitc 2mo ago
Nothing like taking in government money and then making billions off of it without giving anything back.
108.
by bmitc 3mo ago
Capital sigma doesn't always mean sum and certainly lowercase sigma never means sum. If mathematics used plain language, the ability to meaningfully manipulate and understand would go way down. Proofs would become massively tedius. Of
109.
by bmitc 3mo ago
Yes, math is hard. People in their second year of graduate school only get to about the early 20th century in terms of understanding. Third year is getting to about the mid-century. Fourth and fifth years get kind of to modern times but wit
110.
by bmitc 3mo ago
Qwen was mentioned in the comment I replied to and can run locally.
111.
by bmitc 3mo ago
Why is token efficiency a concern with free models?
112.
by bmitc 3mo ago
Interesting. Thanks for the details.
113.
by bmitc 3mo ago
> USA has settled a USA case and they think all is cool for the entire world. Who said that?
114.
by bmitc 3mo ago
The animations, in this case, are not helpful. They distract from what you're trying to do. And components that don't give feedback are bad. It's trivial to have different color palettes for over, click, release, etc.
115.
by bmitc 3mo ago
What happens when you have 50 tabs open using this "engine"?
116.
by bmitc 3mo ago
The grandparent mentioned debt, but the U.S. spends over a trillion every year in defense spending, which doesn't include other funding and tax breaks. Nearly every major technological innovation and thus corporations that use those ha
117.
by bmitc 3mo ago
How much is it?
118.
by bmitc 3mo ago
Why do people always bring up state support when it comes to China? As if the U.S. doesn't provide massive tax breaks and explicit funding to industry? It's on every tech post about China, as if it gives them some sort of "un
119.
by bmitc 3mo ago
> The lesson of the last 50 years of the computer and software marketplace is that free and low-end eventually wins. Is that actually true? There are very large markets that make a lot of money from paid software. And I would honestly pr
120.
by bmitc 3mo ago
He knew he wasn't going to throw out the code when he made that comment.

More ›