verstra

joined 3 years ago
[–] verstra@programming.dev 2 points 5 days ago (2 children)

Does things like gmail, google maps and g calendar work? If not, are there workarounds?

[–] verstra@programming.dev 6 points 1 week ago (5 children)

Which mobile OS are you guys using? How well do they work? How do they compare to stock android?

I'm thinking about flashing /e/OS over Android.

[–] verstra@programming.dev 86 points 1 week ago (9 children)

What? You list metaprogramming as a plus? And functional programming as a minus?

You should rewrite this meme in rust.

[–] verstra@programming.dev 1 points 1 week ago

18kB?! Bravo, dear sir

[–] verstra@programming.dev 1 points 2 weeks 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 158 points 2 weeks ago (57 children)

We could really use a covid-style lockdown for a few years.

[–] verstra@programming.dev 8 points 2 weeks 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 2 weeks 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 2 weeks 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 3 weeks ago

This looks awesome

[–] verstra@programming.dev 2 points 3 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 1 month ago

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

 

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've played driller with all possible weapons and when going on a haz 5 dreadnought mission, I figured cryo was the best main weapon.

And it sucked. Real low damage output. I've tried to freeze it and then throw the axe, but it was not dealing much damage.

Is it just me, or should we be picking 2 engies and 2 gunners for dreadnoughts?

 

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?

 

An interesting take. Not sure if it goes here.

 

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?

 
view more: next ›