steinuil

7 ms·

31.
by steinuil 2y ago
I know, but sadly I did not have enough time to stay there for more than an hour and try it out.
32.
by steinuil 2y ago
I like to scan the "specialized" bar/QR codes I come across in my daily life in case they're not just URLs. Sometimes I find some interesting stuff and possibly some opportunities for mild exploits. The other day I was a
33.
by steinuil 2y ago
I switched my gaming PC to NixOS a few months ago, I couldn't be happier. Other than a few games that also had issues on Windows and VR, everything I run through Proton just works. I also own a Steam Deck, which is a wonderful little d
34.
by steinuil 2y ago
To all the comments who expressed doubts on how this would work in practice: please read the FAQ, it answers a lot of questions and gives concrete examples. https://www.stopkillinggames.com/faq
35.
by steinuil 2y ago
I was almost a bit shocked when I wanted to install vaultwarden on my VPS that I hadn't touched in months and all I had to do was set `services.vaultwarden.enable = true` and reverse proxy it in the nginx config. It was like "...t
36.
by steinuil 2y ago
I don't think the benefits of defining your system config in this way are immediately visible after one month. I kind of loathed reinstalling Linux before NixOS because I knew I'd have to spend a lot of time remembering how to rei
37.
by steinuil 2y ago
I say this as a Rust enjoyer, but I think what most people mean when they say this is that there's a lot going on, especially in the function definition syntax. When you start adding in lifetimes and generics with bounds, async, &m
38.
by steinuil 2y ago
That's really neat, I've been looking exactly for a spreadsheet TUI to browse and edit SQLite dbs. Cheers!
39.
by steinuil 2y ago
dune supports Reason syntax out of the box, you just have to change the file extension to .re. https://dune.readthedocs.io/en/stable/reference/dune-project...
40.
by steinuil 2y ago
I'm not an expert on the theory, but OCaml has a very fast compiler and while it is (almost) capable of fully reconstructing the types from a program with no annotations, it doesn't have to deal with ad-hoc polymorphism and take
41.
Do I not like Ruby anymore?(sgt.hootr.club)
7 points by steinuil 2y ago|3 comments
42.
by steinuil 2y ago
I think the main objection was Anduril sponsoring NixCon, because a lot of people see it as the Nix community advertising a miltech company in exchange for money the foundation doesn't necessarily need.
43.
by steinuil 2y ago
I personally hope some sort of reasonable policy will come from this whole situation and that the community will be stronger for it. I've seen some discussions over this on Discourse, but the community doesn't seem to be in any st
44.
by steinuil 2y ago
I coincidentally started lurking and responding to some support threads the NixOS discourse a few weeks ago, because I appreciate the project and I wanted to get more involved in it. In the past couple days I've seen this train wreck p
45.
by steinuil 3y ago
If you're interested in this I would also recommend you check out Logica[0], which is a datalog-like language that is explicitly made to compile to SQL queries. 0: https://logica.dev/
46.
by steinuil 3y ago
I just looked it up. Looks like he didn't get banned for anything related to Linux or programming, but for posting a video titled "71% of Gaza wants all Jews to die (according to new Gaza polling)". https://rumble.
47.
by steinuil 3y ago
Definitely agree. My first few gigs were in consultancy and after seeing how the sausage is made I don't feel much like calling out these kinds of old systems anymore. The budgets and deadlines are tight, the people working on them are
48.
by steinuil 3y ago
There's libraries like these for many languages and no, they are not satire. I see it as a misguided attempt to bring some patterns from languages that are "better" (by some metrics) into a language that doesn't have goo
49.
by steinuil 3y ago
ed is the standard text editor.
50.
by steinuil 3y ago
> trusting a URL which you shouldn't trust That's actually a feature in Ur/Web, which is a (very niche) language explicitly built for making web servers. It's sort of a domain-specific language though, so maybe it doe
51.
by steinuil 3y ago
This post is not very good, sorry. Let's start with the first example about IEF: first of all, I think that the security advisory was mostly referring to web APIs that allow users without the necessary permissions to perform actions
52.
by steinuil 3y ago
Sorry, didn't notice the reply; if you let it running for a few while eventually it'll collect enough samples to show you the power consumption of the processes you have running in the terminal UI. Then you just look at the top on
53.
by steinuil 3y ago
I've used Ur/Web for an old project ( https://github.com/steinuil/negoto ). It's a very cool language with a lot of great ideas, and once you get going it really makes it easy to set up a server that inter
54.
by steinuil 3y ago
I have a Framework 13 12th gen i5 as well, running NixOS, but I definitely get a lot more than 3 hours! I'm usually running some terminals and Firefox. I definitely had to play with powertop a bit and remove some programs that consumed
55.
by steinuil 3y ago
That is also not shared by everyone. If you have written enough Rust to have internalized designing for the borrow checker, you don't have to spend much time in a design phase. The only time I find I have to "fight the compiler&qu
56.
by steinuil 3y ago
I actually just looked at their application form for a systems software developer position. They really want to know how good you were at maths and native language in high school for some reason, and not only do they ask what top percentage
57.
by steinuil 3y ago
...I completely forgot that I was also introduced to Last and First Men by that same dialogue in Deus Ex. It's a great book!
58.
by steinuil 3y ago
A lot of this advice is about turning vim into a "modern" text editor with a language server configured. I used to use vim but lately I switched to Helix, which is basically vim but with all the good features and plugins built int
59.
by steinuil 3y ago
Sure, you can write or run your own fediverse server that renders HTML-only page, and every time you see a Mastodon link you paste it in your server's lookup form and browse it from there. Honk ( https://humungus.tedunangst.c
60.
by steinuil 3y ago
That is a matter of habit and not something that is "easier for humans", I think. I've written enough OCaml, which also enforces linear dependence of modules and definitions, that I often find it jarring to read code the othe

More ›