teiferer

29 ms·

601.
by teiferer 9mo ago
Opens with "self-hosting" and then brings claude code into the mix. You realize it's not actually running locally right? Privcy-wise that's a nightmare. A non-deterministic blackbox running in somebody's AI cloud is
602.
by teiferer 9mo ago
I understand what you are saying about efficiency in theory . Though I must say, 20 years ago, I used X based desktop environments on hardware at the time and they were blazingly fast. Today's Gnome doesn't even come close. How c
603.
by teiferer 9mo ago
An issue with this approach is that it may not be robust. That is, you could run into a casr where a minor modification of your program is suddenly not provable anymore, even though it is still correct. The heuristic (AI or otherwise) has n
604.
by teiferer 9mo ago
Calling Lean "AI" is quite a stretch. Though I'm also in the camp that dislikes the inflationary use of "AI" for LLMs, so I have sympathies for your viewpoint.
605.
by teiferer 9mo ago
One nuance you are missing is that the discussion is about formalizing the statement (the theorem), not the proof. The latter is what the article is about, but that doesn't suffice if you can't trust that the statement is also cor
606.
by teiferer 9mo ago
I'm normally in the camp of "why flood HN with AI crap" and if you are not a musician then I can see why this seems unnecessary. But as a musician, this is a great learning tool. Every musician should be able to play by ear (
607.
by teiferer 9mo ago
He is not being criticized for talking about his fuckups but for ranting endlessly about how other people were not doing what he wanted, putting the blame squarely on them.
608.
by teiferer 9mo ago
And ironically, after going on and on about all the details of those failures, he asks the reader for a job. Does he really think that this overly long text is a good ad for getting people to hire him? As a potential employer, I already see
609.
by teiferer 10mo ago
Depends on "adequate". The average western diet over-consumes protein.
610.
by teiferer 10mo ago
Also, don't vaccinate your kids against measles. And if you happen to run over a bear cub, drive it to Manhattan and dump it in Central Park.
611.
by teiferer 10mo ago
At that earlier time, some preparatory action was likely already on its way.
612.
by teiferer 10mo ago
There is something by that name, but it doesn't mean much. On the international level, it's all voluntary. States can choose to be part of the international courts. The US (and many other high profile countries) famously are not p
613.
by teiferer 10mo ago
Don't need to go that far. Refugees coming to the U.S. is called an invasion.
614.
by teiferer 10mo ago
> One way that Silicon Valley and the Communist Party resemble each other is that both are serious, self-serious, and indeed, completely humorless. There is a commedy show literally called Silicon Valley making fun of what's going o
615.
by teiferer 10mo ago
> I think it's possible to get around the problem Could you articulate what you perceive to be a problem with all that?
616.
by teiferer 10mo ago
> If I were doing rock climbing, I still wouldn't enjoy talking about rock climbing the entire day with my rock climbing friends Um, have you actually tried? I have a "rock climbing" friends group, and it's rare that
617.
by teiferer 10mo ago
That may all be true, but there are other benefits that could make it worth it. For example it could be, in theory, self-sufficient forever if something else breaks down making it unable to maneuver. Then you can at least sit in the middle
618.
by teiferer 10mo ago
If it can charge while sailing there is no downside. At least as long as a substantial percentage of total charge can come from the integrated solar.
619.
by teiferer 10mo ago
> If we have any hope of continuing to live at something resembling the quality of life that we've grown up in Chances are, developed countries won't be hit that hard, at least for a generation or two.
620.
by teiferer 10mo ago
> I would rather live near a nuclear waste site than a CO2 Site. If it's between immediate death and a slow one of cancer, I'm not sure your choice is the obvious one.
621.
by teiferer 10mo ago
As long as leading figures either claim it's a hoax or that it's not necessary to do sth about it, none of this matters anywhere. This is less of a technogical problem than it is a political one, I'm afraid.
622.
by teiferer 10mo ago
With ice caps melted off, just removing all the excess CO2 isn't even enough since with that reflective surface gone, more energy from sunlight stays in the atmosphere than previously when more of it was reflected back into space inste
623.
by teiferer 10mo ago
So, use that information at the next election. If enough people care then it changes outcomes. Again, try that with Putin or Khamenei. (If such an article even gets published instead of ending the career or life of the journalist.)
624.
by teiferer 10mo ago
> more often than not Do you have any evidence for that claim or is it a gut feeling? > in the UK it's what Starmer doesn't want to hear. In a literal sense that can't be true, since upon change of government, the hate
625.
by teiferer 10mo ago
That's such a great use of an LLM! Thanks for sharing! Unfortunately the ever-present desire for the moneys made folks use LLMs to produce lots and lots of slop, polluting not just the web but even the trust to each other. The default
626.
by teiferer 10mo ago
> I am adding context. Ah, that's apprecitated. Indeed, he didn't provide that "why" and tbf that wasn't the point of the article. But thanks for adding that context. > You missed the whole "real world sy
627.
by teiferer 10mo ago
Two quotes from the article you are criticizing: "As a programmer, I don’t like it." "As mentioned before, this is not a post about what’s practically a good idea. All I’m arguing is that mathematically, we can extend divisio
628.
by teiferer 10mo ago
I'd love to know whether that story is actually true. Some dude hears somebody tell a story about sth 20 years ago, puts it in a blog, and here we are on HN, nobody questioning whether it's actually accurate. Of course Raymond Che
629.
by teiferer 10mo ago
I love that article of Hillel's!
630.
by teiferer 10mo ago
> Theorem 1. The third coordinate of the rational number 1/2 is a bijection. What is a coordinate in the context of a rational number? How many coordinates does it have?

More ›