Viewing profile — one-punch

To have your Nix-based setup reproducible across different OS (Arch, Debian, Ubuntu, WSL2, MacOS, and NixOS), and have an extensible base config that can be customized to different…

You have implemented a form of ‘ad-hoc polymorphism’. This is different from ‘parametric polymorphism’, which is what people call generics.

For context, see the recent HN discussion on “The Expression Problem and its solutions”: https://news.ycombinator.com/item?id=45155877

You might be interested in nickel ( https://nickel-lang.org/ ), which is a modern take on configuration management based on the experience of Nix/NixOS configurations: purely funct…

I have not been following closely this back story, so I am not aware of such ban, or that (allegedly) Lix is Pierre Bourdon’s software. I am not affiliated with Nix (Cppnix) or Lix…

lix [1] might be less affected. Pierre Bourdon noticed that lix refactored surrounding code 4 months ago [2], and a comment claims that this Lix commit at least patched a different…

> In Hypothesis shrinking is based on the generation process. In Hypothesis generators act a bit like 'Functors' in Haskell, ie you can map over them. (You can also filter and ` ` …

Do you have examples where Python’s Hypothesis (and its shrinking) works better than Haskell’s QuickCheck? This would let us improve Haskell’s QuickCheck. My understanding is that …

Thanks for the information. The linked page shows only integrating Hotwire with Ruby on Rails, giving me my original impression.

Hotwire integrates with Ruby on Rails. (EDIT: The linked page shows how to integrate Hotwire with Ruby on Rails. See fxn's comment https://news.ycombinator.com/item?id=40555577 ) I…

Reminds me of nix-output-monitor [1], for example see [2]. It makes it easy to understand how individual steps are progressing, and how individual steps relate to the overall plan.…

For those on hyprland: [1] hyprslidr: https://gitlab.com/magus/hyprslidr [2] hyprscroller: https://github.com/dawsers/hyprscroller Though need to extend hyprland to support layout …

Reminds me of the “Chase your reality” commencement speech by Christopher Nolan at Princeton in 2015. https://www.youtube.com/watch?v=QoWEhQlS9yY

Software developers often want to customize: 1. their home environments: for packages (some reach for brew on MacOS) and configurations (dotfiles, and some reach for stow). 2. thei…

Quoting https://nix.dev/tutorials/nix-language.html : The Nix language is designed for conveniently creating and composing derivations – precise descriptions of how contents of exi…

Chris, how would you respond to the remark that the article is comparing a flawed Mojo implementation against a more correct Rust implementation? https://news.ycombinator.com/item?…

> Does elixir have an lsp as good as Typescripts? I’m a bit addicted to static types at the moment. I wonder how IHP [1], the liveview in Haskell, compares with Phoenix liveview fo…

Some of these interactive simulations for learning are called “Explorable Explanations” [1], coined in 2011 by Bret Victor, the author of your second link (worrydream.com), which a…

> As Nix Flakes become more prevalent, perhaps there needs to be some way to containerize them. You may be interested in nix snapshotter, which can run nix packages in containerd. …

Liquid Types [1] achieve the same in existing programming languages: no bounds checks at runtime, and reject programs without an in-bounds proof. For a demo, see "Scrap your Bounds…

> But why have a separate type system instead of just building it into the language. Excellent question. The existing "mainstream" languages (C++, Rust, Julia, or even Haskell) are…