IshKebab

11 ms·

271.
by IshKebab 3mo ago
I didn't know who this is but it seems to be some guy who writes about bitcoin and dark web markets and was sort of trying to stay anonymous but put a doxxing bounty on himself (of like $39). He was discovered thusly: > At this link
272.
by IshKebab 3mo ago
Power poses, imposter syndrome, Stanford prison experiment, marshmallow test... It seems like the overlap between "real psychological effect" and "subtle enough that it requires research to discover" is vanishingly small
273.
by IshKebab 3mo ago
Damn if only this article actually explained why you see this effect from random data. Unfortunately it doesn't seem like they understand the maths enough to know. Does anyone fancy reading those papers and giving us a TL;DR?
274.
by IshKebab 3mo ago
> But it doesn’t lead to confusion when doing mathematics in a theorem prover. This is demonstrably untrue. In any case that post is pretty unpersuasive. Basically saying it's too tedious to do it right, in a language whose whole pu
275.
by IshKebab 3mo ago
Is it too much to ask for non-slop blog posts these days? It's awful.
276.
by IshKebab 3mo ago
F* seems to be a collection of like five different languages and proof systems. Honestly I never figured it out. Does it get basic stuff like subtraction and u8 right, unlike Lean?
277.
by IshKebab 3mo ago
It doesn't matter that much. Probably 10x slower than C++/Rust is fine. 100x is a bit much though.
278.
by IshKebab 3mo ago
Not all books are sacrosanct. There doesn't seem to be any evidence that they are destroying rare and valuable books.
279.
by IshKebab 3mo ago
It doesn't look like it has found a set of serious flaws to me. Just nitpicking.
280.
by IshKebab 3mo ago
If you increase the date range to 12 months you can see that ChromeOS is several times larger than Linux but recently there must have been an update so ChromeOS is now incorrectly detected as Linux.
281.
by IshKebab 3mo ago
Yeah I think they at least put some light effort into making it readable though. Obviously slop but not quite as bad as most slop articles.
282.
by IshKebab 3mo ago
What locations? In the UK they give you actual money. You can withdraw it.
283.
by IshKebab 3mo ago
Yeah I think people vastly underestimate the value of free CI runners - especially free Windows/Mac runners. Big projects with dozens of members can afford the effort to set up their own runners but small one-man projects aren't g
284.
by IshKebab 3mo ago
But unless you're off-grid you can always use extra PV energy by selling it to the grid.
285.
by IshKebab 3mo ago
Really? It's chock full of poorly written and irrelevant chain-of-thought rambling.
286.
by IshKebab 3mo ago
> Ten years worth of HN comments finally became useful for something! This is a great idea! How do you do it practically? I assume you don't feed the whole corpus in every prompt - do you condense it somehow?
287.
by IshKebab 3mo ago
I have no idea what you're trying to say. With PV, if you consume one additional kWh your bank balance will be 20c lower than it would otherwise have been. You can argue semantics about whether that is a "cost" all you want,
288.
by IshKebab 3mo ago
In the UK you can sell electricity domestically for 20c/kWh so at least here that's the cost if you have PV. If you don't, the cost is higher.
289.
by IshKebab 3mo ago
I thought they were going to use Swift? Huh they gave up on that apparently. https://ladybird.org/posts/adopting-rust/
290.
by IshKebab 3mo ago
Pre-Rust "serious C++ folks" used it because it was the best option if you wanted essentially zero performance overhead no heavy runtime and GC spikes. They didn't like the lack of memory safety but it was seen as an unfort
291.
by IshKebab 3mo ago
Also irrespective of the merits of LLMs, it's simply unpleasant to read LLM generated prose. It can't write well. The annoyance is compounded when you read the same poor writing everywhere . I don't know how people that shov
292.
by IshKebab 3mo ago
Yeah this persuaded me more than I thought it would, but there are still some pretty big differences IMO. A frontier AI model is a lot harder and more costly to produce than an encryption algorithm. Especially if we believe Anthropic that t
293.
by IshKebab 3mo ago
Look at some level you want a "thing that is reviewed and has CI run on it" right? Unless you work alone you need that. Let us call that unit of work, a flob. When you have written and submitted a flob for review, you often want t
294.
by IshKebab 3mo ago
Splitting changes into multiple commits is a much worse experience if you actually have self-contained dependent changes. 1. The whole review interface isn't set up for reviewing individual commits. 2. You can't merge changes prog
295.
by IshKebab 3mo ago
First I've heard of "dynamic verification" tbh. Is that just everything that isn't static analysis? Not sure I understand the question!
296.
by IshKebab 3mo ago
It's not "so little". I've wanted this for ages. Trying to submit a chain of PRs is a horrible experience without support for it. This is nothing to do with AI.
297.
by IshKebab 3mo ago
As I said, it's a continuum. I'm drawing the line somewhere further along it than Rust's type system.
298.
by IshKebab 3mo ago
It definitely isn't. People have wanted this for many years. It's an obvious workflow. There's been a feature request since at least 2020 and I'm sure there were earlier ones: https://github.com/cli/
299.
by IshKebab 3mo ago
> it adds very little on top of what I was already able to do by saying "this is PR 1 out of 7, this is PR2 out of 7 and build on top of the branch that I used for PR1/7, etc". That's literally all it's supposed
300.
by IshKebab 3mo ago
1. Github's UI doesn't really support reviewing individual commits in a big PR. 2. It also can't merge subsets of commits from a single PR. E.g. if you have two commits, A and B, where B depends on A... sure you can make a PR

More ›