verstra

joined 3 years ago
[โ€“] verstra@programming.dev 1 points 4 days ago

I say mantra because there is a large amount of people just hating AI outright, without a grounded reasoning.

Granted, coding agents are insecure by default - they are built to execute remote code - but that does not mean they are generally useless/harmful/bad. I run them in a container, with access to the codebase only.

Also, they hallucinate, produce over-convoluted abstractions, do not know when to reject instead of blindly trying to find a way trough a brick wall.

But also, they can answer questions about gigantic codebases way faster than I could. They can generate tests, find missing test coverage, review code, and many other things.

[โ€“] verstra@programming.dev 8 points 5 days ago

Well, yes, but also - you don't have to pay them. There are open-weights models you can run locally that contain most of that common-wealth knowledge.

[โ€“] verstra@programming.dev 12 points 5 days ago (2 children)

Well, these are some kind of lightweight container, no? But without isolating network, or /etc, /proc, /usr, /var or dbus.

I do agree that linux needs a notion of an "app" (isolated, with access only to its config and files you give it, and a small, well-designed set of APIs for interacting with the system). For coding agents, I think a better answer are development containers, because that would be needed to prevent npm/cargo/python build scripts from causing harm anyway.

[โ€“] verstra@programming.dev 12 points 5 days ago (8 children)

It's probably something like "I've disabled agent's removeFile tool, but LLM figured out that it can use the bash tool, still".

It looks like "AI bad" or "Claude insecure" mantra.

[โ€“] verstra@programming.dev 1 points 1 week ago

This looks awesome

[โ€“] verstra@programming.dev 2 points 2 weeks ago

Think of them as operating on the whole column at once.

For example LAG would be like selecting a whole column in excel and copy pasting it one row down

[โ€“] verstra@programming.dev 1 points 4 weeks ago

No, I've removed the indentation of the first ul

[โ€“] verstra@programming.dev 3 points 1 month ago (4 children)

Too much list indentation. Cool glow effect

[โ€“] verstra@programming.dev 2 points 2 months ago

It would, but it does not have SATA. You can find much cheaper computers that do have it

[โ€“] verstra@programming.dev 2 points 2 months ago (2 children)

For a server like this 4GB of DDR4 is enough. And that is cheap still.

[โ€“] verstra@programming.dev 68 points 2 months ago (1 children)

Linux really is the reason I dont' play anymore. Thank you linux.

 

If imperioum has made a mistake a sent a man that was released back to some other level, how does that tell prisoners that all released inmates are just being sent to another prison?

20
submitted 6 months ago* (last edited 6 months ago) by verstra@programming.dev to c/programming@programming.dev
 

For the last year, I've been working on a query language that aims to replace SQL and data frame libraries. It's continuation of my work on PRQL and EdgeQL.

Now I need feedback on usability, ergonomics and overall design. Read trough the examples, check out the CLI & tell me what could be better.

 

For the last year, I've been working on a query language that aims to replace SQL and data frame libraries. It's continuation of my work on PRQL and EdgeQL.

Now I need feedback on usability, ergonomics and overall design. Read trough the examples, check out the CLI & tell me what could be better.

 

Is anyone here running Sandstorm? If yes, what's your experience?

I really like the idea of "grains" where an instance of the app runs for each document/project/unit of data your app has. It does improve security a lot, because it is very similar as running root-less docker.

I also like the unified auth and user management sandstorm provides.

 

I don't have much to say, only that I expected flutter to be a bloated fragile abstraction on top of different native GUI APIs, but no.

It's quite fast, relatively easy to develop and it just works.

I'm working on a desktop app that needs a high-perf rust impl, and (for now) flutter looks like a much better choice than tauri.

 

When I was in high school I found Sublime Text and learned "multiple cursors". Since then, I've transitioned to vscode, mainly because I need LSP (without too much configuration work) for my work.

I keep hearing about how modal editing is faster and I would like to switch to a more performant editor. I've been looking at helix, as the 4th generation of the vi line of editors. Is anyone using it? Is it any good for the main code editor?

The problem that I have is that learning new editing keybindings would probably take me a month of time, before I get to the same amount of productivity (if I ever get here at all). So I'm looking for advice of people who have already done that before.

My code editing does involve a lot of "ctrl-arrow" to move around words, "ctrl-shift-arrow" to select words, "home/end" to move to beginning/end of the line, "ctrl-d" for "new cursor at next occurrence", "shift-alt-down" for "new cursor in the line below", "ctrl-shift-f" for "format file" and a few more to move around using LSP-provided "declaration"/"usages".

I would have to unlearn all of that.

Also, I do use "ctrl-arrow" to edit this post. Have you changed keybindings in firefox too?

 

Anyone using soucehut (sr.ht)? Can you please explain to me how you navigate the site?

I really like the minimalist approach and extremely fast website UI, but I just cannot navigate the site.

If I'm looking at source of a repo on https://git.sr.ht/ and want to see open tickets, how do I navigate to https://todo.sr.ht/ ? If I click on "todo" at the top, it takes me to my todo lists, not todo of the project I was just looking at.

 

I'd expect the state to have a list of all its citizens and their basic personal info (age) which could be used to determine their eligibility for voting. In my country, we get a "invitation" to the vote, with your voter station and info on how to change it.

Instead, I'm seeing posts about USA's "voter rolls", which are sometimes purged, which prevents people from voting. Isn't this an attack on the voting system and democracy itself?

So why doesn't USA have a list of voters? Are they stupid?

 

I know that the answer is yes, I should, but outlets near the setup are not grounded (even though they look like they are) and I don't want to have wires running though my living room.

The real question is what are potential problems ? Occasional system reboots? Permanent damage to PSU? Permanent damage to other components?

view more: next โ€บ