LiamPowell

3 ms·

1.
by LiamPowell 6d ago
You know what I mean, there's no clever on-chain reward script.
2.
by LiamPowell 7d ago
There is no script.
3.
by LiamPowell 7d ago
I can't believe that statistic about 186 pickups per day, that would be every 5 minutes on average assuming 16 hours awake.
4.
by LiamPowell 8d ago
The problem with using subagents is that you often have to rewrite a chunk of a program in a more proof-friendly way, just saying "go prove this code, don't edit it" doesn't work. Maybe I'm underestimating how effec
5.
by LiamPowell 8d ago
You don't have to let the ATP do everything, you can speed it up immensely with well placed assertions where it struggles. Maybe a hybrid approach is best where we run ATPs with a very low timeout to get all the easy stuff and then hav
6.
by LiamPowell 8d ago
I feel that that's the worst option because it only leaves people who have read it without the added context at the start. If someone convinces me that I'm wrong then I'm happy to do so though.
7.
by LiamPowell 8d ago
Yes, I used Bend as an example because it is recent and high profile, and I also wanted to present my issues with it. I did not mean to conflate it with the main idea I was trying to present to the degree that I obviously did after reading
8.
by LiamPowell 8d ago
> you can use tools to automate the proof-work, as you said so yourself. The language doesn't appear to be designed around supporting existing tools (either by exporting to Why3 or manually interfacing with existing tools). I'm
9.
by LiamPowell 8d ago
ATPs go quite a bit beyond what a SMT can do, however you're not stuck with just using ATPs when they are supported. You can still allow for proofs to be manually written with an ATP doesn't work, and in fact SARK allows for this
10.
by LiamPowell 8d ago
> But it is misleading, if not just a bit malicious, to claim I "vibe-coded" a language without knowing about a field I've spent a decade researching about. Sorry. See the edit at the top if you haven't already. I did
11.
by LiamPowell 8d ago
> "horribly broken or decades behind the current state of the art" This is just about vibe-coded programs in general when the approach assumed by the article is taken. For all I know they did make an informed decision regarding
12.
by LiamPowell 8d ago
I don't want to change that sentence now that people have discussed it, but I have added a note to the top to make it clear that I'm just taking it as an example of a vibe-coded program because it's recent and high profile. M
13.
by LiamPowell 8d ago
Yes, I didn't realise how much it comes off as a critique of the author personally when I wrote it. I have added a note to that effect to the top of the article.
14.
by LiamPowell 8d ago
> the author is clearly aware of formal verification, they've written several implementations of dependently typed languages I'm not familiar with the author, I just saw the language posted the other day. I'll add a note t
15.
Bend 2 and the Vibe-Coding Trap(blog.liampwll.com)
181 points by LiamPowell 8d ago|97 comments
16.
by LiamPowell 12d ago
MBD is a thing, however that doesn't really matter here, for making accessories you can more or less just assume all dimensions are perfect since you need some compliance for the accessory to be installable. What I'm talking about
17.
by LiamPowell 13d ago
No decent engineering firm is going to want to work with FBX or Blender files. In fact they probably wouldn't even know what to do with them. Even proper model formats such as STEP files don't give you the details that are on a dr
18.
by LiamPowell 15d ago
Why do you want you coding agents to be in a terminal? A terminal is missing latex rendering, inline images, a browser showing what the agent is clicking on, being able to view a spreadsheet and then select a region to reference in the conv
19.
by LiamPowell 15d ago
I don't understand the trend of forcing everything into terminals. It's needlessly constraining and it's much more work that just using Qt (or any other UI framework).
20.
by LiamPowell 15d ago
It also incorrectly says that Emacs has no mouse support. When you first open Emacs the default buffer has clickable links in it, it's impossible to miss the fact that Emacs has mouse support if you ever even open it.
21.
by LiamPowell 17d ago
That's not what the comment you're replying to or the article says. I feel like I'm going crazy reading comments here and elsewhere, am I not reading the same articles as everyone else?
22.
by LiamPowell 18d ago
Note that all of the authors of this paper work for a company that sells this snake oil. This entire idea of charging or discharging your body for some physiological effect is fundamentally flawed. It is indeed true that touching the ground
23.
by LiamPowell 19d ago
Were you one of those people who said "strawberry is the best icecream flavour"? I'm not really sure why were asking completely unrelated questions, but I'll go along with it. Though for the record, there was no communit
24.
by LiamPowell 19d ago
I can't tell if this is really good satire or genuine. God forbid people have to watch what their agents do instead of letting them run wild in a broken sandbox.
25.
by LiamPowell 21d ago
Not just that, some actions spawn an entire Chromium instance. For example, any time you click on a music video (not a new thread, an actual full Chromium instance).
26.
by LiamPowell 21d ago
It's not even a build flag, it's a setting that you can just go and enable in Chrome's own settings menu (chrome://settings/content/v8).
27.
Day: Create native apps for every platform from a single Rust codebase(daybrite.dev)
3 points by LiamPowell 26d ago|0 comments
28.
Firefox's password "security" is mind-numbingly stupid(blog.liampwll.com)
6 points by LiamPowell 26d ago|1 comments
29.
by LiamPowell 1mo ago
It's useful to have all your tools automatically apply metadata in a standard way instead of having to keep track of it manually. Most cameras already add metadata that says what camera and lens were used, but you lose that as soon as
30.
by LiamPowell 1mo ago
> However I question the value-add when e.g. the BBC website is already authenticated by nature of being served over HTTPS, and anyone who redistributes BBC content can and should link back to the source. The value would be in images rep

More ›