c7b

9 ms·

151.
by c7b 5mo ago
I don't like it. It's inevitable, but no reason to cheer it on. I find it similar to Google Mail or YouTube autotranslating content without opt-in (and sometimes opt-out). It's continuing a trend of you can't really trus
152.
by c7b 5mo ago
Lean isn't the most loved proof assistant by mathematicians, it's not the most suited to formal verification of software, it just sort of works for both. Yet it's got the thing that's arguably the hardest to achieve, mom
153.
by c7b 6mo ago
They do also make a lot of money selling hardware, and as things stand today that business happens to make them look like the first tech giant to actually profit from the AI boom (because the hardware they've been developing internally
154.
by c7b 6mo ago
> they look kinda like QR codes Hexagonal, with shaded colors? QR Codes are, by definition, square and binary and traditionally use black and white. They're also used for a different purpose typically. They could easily have made th
155.
by c7b 6mo ago
How would you say it compares to nixOS?
156.
by c7b 6mo ago
As one lecturer put it: modern probability theory derived from two foundations - measure theory and gambling. The latter explains why it has long lacked mainstream mathematical recognition :) But that's all in the past. Probability is
157.
by c7b 6mo ago
Genuinely curious, what does that mean? Is the PDF standard now open and free, or does Adobe wield any power? Does it own trademarks (for pdf itself, not Acrobat Reader or sth like that)?
158.
by c7b 6mo ago
Maybe someone with more time at hands could look up what Google said with respect to ads and what happened later. This is one of the rare instances where it's very easy to predict the future: the prompt auction market will look similar
159.
by c7b 6mo ago
Ok, forgive my snark. But I think the point stands that for a lot of sites being found by agents is just another form of SEO.
160.
by c7b 6mo ago
Is an agent-ready website so obvious poison? If I'm running a plumber shop in East London, then I'd want agents to know that just as much as I want Google (Search) to know that. The same will be true for most real-world businesses
161.
by c7b 6mo ago
So the difference between a theoretically pure prediction market and Kalshi is ... this interview? The CEO saying that he thinks others, who do not answer to him in any way, will be doing something to enforce some notion of fairness. If you
162.
by c7b 6mo ago
Why would it be insane? We have globally accepted answers for the area of each country (modulo territorial disputes, geological changes and similar). One would expect the same thing to be possible for the circumference. So to most people it
163.
by c7b 6mo ago
Where do you see a difference? Like you said, there is a libertarian argument that can be made for why insider trading is desirable. If the bet is easily manipulable, like how many times someone will visit a place, then the rational respons
164.
by c7b 6mo ago
It's in no way a meaningful solution. If you're settling for a resolution, you don't need a ball-rolling analogy. We already know the length of a given coastline at given resolutions (ignoring the constant changing of the coa
165.
by c7b 6mo ago
Awe-inspring. But one thing I don't get: he says he wants every building to be included, but the buildings in NYC are anything but permanent. Did he pick a particular timestamp for everything, or is it a mosaic of different epochs? Kee
166.
by c7b 6mo ago
In what sense was the policy wrong? Emphasizing independence when it comes to security doesn't strike me as self-evidently wrong. Curious to hear your arguments. "They were very happy about it 60 years later" alone isn't
167.
by c7b 6mo ago
He also called Brexit before the UK had even joined.
168.
by c7b 6mo ago
And operating systems...
169.
by c7b 6mo ago
There are many good options for text editing, some for presentations, but what about spreadsheets? Using Python/R/SQL everywhere ain't no panacea, spreadsheets are really useful in some cases and LO has the best implementatio
170.
by c7b 7mo ago
The Venn diagram of people who have deep understanding of capital markets and people who like betting on stuff will have non-negligible overlap. Read some of the stories about Wall Street, especially from before it was all algorithms. Moreo
171.
by c7b 7mo ago
Interestingly, Overleaf is open source [0], although I can't speak to how well the open source version works. [0] https://github.com/overleaf/overleaf
172.
by c7b 7mo ago
Paying to write someone (ie, physical mail) was the standard for all communication before we had widespread telefax/internet messaging adoption. I don't know how bad the spam problem was there, but the concept doesn't strike
173.
by c7b 8mo ago
I'm not a Lidar critic. I'm really just curious how they're addressing it, or plan to.
174.
by c7b 8mo ago
My understanding is that there's more data processing required with cameras because you need to estimate distance from stereoscopic vision. And as it happens, the required chips for that have shot up in price because of the AI boom. Bu
175.
by c7b 8mo ago
Technically, infinite scroll is of course finite, too. Unless it adds newly created content, but if you count that as infinite then logs can be infinite too. That's exactly why you don't write legislation to ban infinite scroll bu
176.
by c7b 8mo ago
> Theoretically Apple can spend just as much. What are the outcomes though? The GP was talking about Google specifically, and their outcomes on AI are nothing to scoff at. They had a rocky late start, but they seem to have gotten over th
177.
by c7b 8mo ago
I think today's LLMs and their derivatives (agents,.. ) are an impressive technological/research achievement with amazing real-world utility. Innovation at its best. I don't see the enshittification of commercial products bas
178.
by c7b 8mo ago
> and the best monetization plans is ads.... Again? Several of the biggest companies today are fueled by ads, and OpenAI has the perfect ad vehicle. What else were you expecting? That's why local LLMs are important, and to preserve
179.
by c7b 8mo ago
One thing I always found a bit of a puzzle: it's widely understood, and scientifically backed up afaik, that strength training is healthy and good for longevity. Yet, if you look at people whose everyday jobs look a lot like functional
180.
by c7b 8mo ago
Supported Agent Types: ClawdBot - Anthropic Claude-powered agents. Use agentType: "clawdbot" MoltBot - Gemini/Gecko-based agents. Use agentType: "moltbot" OpenClaw - OpenAI GPT-powered agents. Use agentType: "o

More ›