turboponyy

8 ms·

61.
by turboponyy 2y ago
The best graphical, modal text editor is Emacs.
62.
by turboponyy 2y ago
> By the way, is there a way to create minimal NixOS VMs without systemd? No, systemd is a hard dependency for NixOS.
63.
by turboponyy 3y ago
> They’re advocating deploying a binary as preferable to using docker, fair enough, but what about the host running the binary? One of the reasons for using containers is to wrap your security hardening into your deployment so that anyti
64.
by turboponyy 3y ago
> Rust-style returned tuples of {:ok, val} or {:error, e}. Tuples fall under product types. Rust's APIs return errors as sum types. A more apt comparison would be with Go, where errors are actually returned in tuples. Edit: nevermin
65.
by turboponyy 3y ago
Could you give examples? There is a lot of hard work and magic going on in the build system, but you're not really supposed to interact with it as a user. As long as you pull in nixpkgs' library, package definitions are as trivial
66.
by turboponyy 3y ago
Completely opposite experience for me. I think Nixlang is exceptionally well designed and makes sense for the usecases it wants to cover, and it is exactly what I would expect from a DSL tackling the problems it tackles.
67.
by turboponyy 3y ago
The stuff Nix lets you declare really are very arbitrary. I even specify my Firefox extensions in my home-manager config.
68.
by turboponyy 3y ago
The backslash is unsightly, I agree. Codifying template expression evaluators as a core part of the language, however, is a rational choice. Java is surprisingly foresightful in this regard - it means idioms in the language itself can guide
69.
by turboponyy 3y ago
Not really in the programming mainstream, but in research-oriented languages with dependent typing like Lean or Idris, constraining your "implementation search space" with types and leveraging the type system to prove properties
70.
by turboponyy 3y ago
In Haskell and other pure functional programming languages, monads are used to model arbitrary contexts. For example, in Haskell, there is a package which provides the Tardis monad which provides a time traveling context[1]. It can be used
71.
by turboponyy 3y ago
From elsewhere in this thread: > Also worth checking out for more general use of LLMs in emacs: https://github.com/karthink/gptel
72.
NixTheWorld – run macOS, Windows/DOS via a single Nix command(github.com)
5 points by turboponyy 3y ago|0 comments
73.
by turboponyy 3y ago
If you're reinventing a language, it's probably not a bad idea to reinvent the simplest one!
74.
by turboponyy 3y ago
I've stumbled on the ontological argument without knowing that it's called that myself - not as an argument for god, but for multiple universes. Namely, one can conceive a universe so powerful that one of its properties is that it
75.
by turboponyy 3y ago
I'm very surprised you haven't heard of org mode - your product is essentially a reimplementation.
76.
by turboponyy 3y ago
> Where do you push the changes? You make a fork on GitHub. Go to magit, press a couple of keys to add a remote, name it the same as your GitHub username, magit automatically sets the URL correctly. Or, just use the magit-forge package b
77.
by turboponyy 3y ago
Less people outside -> less scoots
78.
by turboponyy 3y ago
I think we've mostly agreed on editorconfig[1], though it doesn't concern itself with language-specific formatting - it's even built into a lot of editors. For language-specific formatting, you can run formatters in pre-commi
79.
by turboponyy 3y ago
What's described in the title of the article is old news. What might be novel, however, is the application of detecting typing on laptop keyboards. This type of detection was previously only reliable for mechanical keyboards.
80.
by turboponyy 3y ago
> "I don't really listen to music" == "I don't breathe much". Could you elaborate? I definitely used to be a person who just didn't listen to music - I found it quite boring, really. I've since fou
81.
by turboponyy 3y ago
My ideal world would have no timezones and be entirely Anglophone (English is not my first language, so I'm not even biased in that regard). This is probably an extremely controversial take, considering how much interesting culture and
82.
by turboponyy 3y ago
Darwin is one of the supported architectures, yes, though it is a bit of a second class citizen in the Nix ecosystem when compared to x86_64-linux.
83.
Evil-Nix – Nix library to fetch files without specifying a hash(github.com)
1 points by turboponyy 3y ago|0 comments
84.
by turboponyy 3y ago
I think you got the wrong guy!
85.
by turboponyy 3y ago
Yeah, all of these can be essentially boiled down to "use Maybe String, where String supports Unicode". Amusing, nonetheless!
86.
by turboponyy 3y ago
As a somewhat avid user of Nix, I can say that this is by far the best piece of writing that serves as an introduction to Nix that I've read. It leaves nothing unsaid, whilst serving as a perfectly crystallized version of what I'd
87.
by turboponyy 3y ago
No, it is not. It has no plans to introduce type classes and allows for impure (effectful) functions. It is perhaps most similar to OCaml.
88.
by turboponyy 3y ago
This isn't really specific to Rust's type system, though. It's more related to the philosophy of the language and how the standard library is implemented. You could have the same behaviour in most other traditional programmin
89.
by turboponyy 3y ago
It seems that every language, given enough time, wants to tend towards Haskell!
90.
by turboponyy 3y ago
I don't get it - Is this an LSP, or specific to SCode? If it is an LSP, it would be nice if the project advertised this in the README.

More ›