verstra

joined 2 years ago
[–] verstra@programming.dev 6 points 2 weeks ago (4 children)

Also computer science, parsing

[–] verstra@programming.dev 3 points 1 month ago

Nice. I knew something was in the works for Material for MkDocs and it turned out to be exactly what I wanted. Which is a binary executable that you point to a repo and it gives you a static website.

[–] verstra@programming.dev 11 points 1 month ago

Meanwhile, I'm using Pixel 3a for my main phone (for quite a few years now) and consider it a relatively up-to-date phone.

[–] verstra@programming.dev 1 points 1 month ago* (last edited 1 month ago)

Cool, looks like garnix is fast. I wanted to use it, but home page and docs are hard to parse. Too big fonts, required scrolling and bad docs organization. Why can't all projects just use material for mkdocs?

[–] verstra@programming.dev 7 points 2 months ago

Ok, good point, most languages I know use "C-style sequential function-calling" paradigm. Is there a specific idea that you have for a language that would better utilize our CPUs?

Notation that treats asynchronous message-passing as fundamental rather than exceptional.

I'm pretty sure there exists at least one research paper about notation for the actor pattern.

You explain pretty well why you don't think C is a good fit for hardware we have today, but that warrants a proposal for something better. Because I for sure don't want to debug programs where everything is happening in parallel (as it does in pong).

[–] verstra@programming.dev 1 points 2 months ago (3 children)

Pigs is a blanket? Why, americans, why do you invent such strange names for normal food, such as "sausage in bread"^1?

[–] verstra@programming.dev 1 points 2 months ago

Yes, very much this. There are still my coworkers's PRs in the feed, but not all of them and there is many other things there too.

What I'd want is to have notifications on the frontpage.

[–] verstra@programming.dev 2 points 2 months ago

I've just realized that no, I don't use bookmarks anymore. I used to use them, but nowadays, I just start typing the name of what I want to open and firefox omni-bar will find it in my history.

[–] verstra@programming.dev 4 points 2 months ago

Ah here is the difference: I maintain a few gh repos and our company works exclusively on github. So in the morning, I open github.com to see notifications (via g-n shortcut).

[–] verstra@programming.dev 7 points 2 months ago (10 children)

Do you never open https://github.com/ where there is a "Feed" in the center of the site?

[–] verstra@programming.dev 1 points 3 months ago (1 children)

I wouldn't say so - it's not streaming app views from the server, it provides containers for apps, segmented into "grains". So each open document gets it's own container. Other than that, it's just normal web apps (like immich or seafile).

[–] verstra@programming.dev 2 points 3 months ago

For example, ether pad (document editor) is a) packaged to be single-click deployable on sandstorm (this is similar to dokploy), but also b) modified so that it runs each document as a "grain".

In sandstorm, "grain" is some chunk of data + an instance of the app running. So when you open a document, it will spawn a new process for it on the server and attach the data needed to that process (similar to how you would attach volumes to docker containers). This grain is isolated from other open documents, which is good for security, but also good for development:

  • apps don't need to handle the organization or storage of documents (they just write to a dir and sandstorm associates it with the grain),
  • apps don't need to handle user auth or permissions,
 

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.

 

If it compiles it works, right?

I'm not gonna act like I read it all.

 

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.

 

An interesting take. Not sure if it goes here.

 
 

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 ›