one-punch

5 ms·

1.
by one-punch 5mo ago
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 situations, the go-to framework is home-manager (not NixOS,
2.
by one-punch 9mo ago
You have implemented a form of ‘ad-hoc polymorphism’. This is different from ‘parametric polymorphism’, which is what people call generics.
3.
by one-punch 1y ago
For context, see the recent HN discussion on “The Expression Problem and its solutions”: https://news.ycombinator.com/item?id=45155877
4.
by one-punch 2y ago
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 functional configuration, built-in validation
5.
by one-punch 2y ago
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.
6.
by one-punch 2y ago
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 vulnerability GHSA-wf4c-57rh-9pjg [3]. To use lix instead
7.
by one-punch 2y ago
> 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 `<>` and do monadic binds etc.) You are right
8.
by one-punch 2y ago
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 Haskell’s QuickCheck can shrink functions, and with parametr
9.
by one-punch 2y ago
Thanks for the information. The linked page shows only integrating Hotwire with Ruby on Rails, giving me my original impression.
10.
Hyperbole – Interactive HTML applications in serverside Haskell, like typed HTMX(discourse.haskell.org)
6 points by one-punch 2y ago|0 comments
11.
by one-punch 2y ago
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 had the same question, then watched th
12.
by one-punch 2y ago
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. It enables me to locate expensive build steps, and possibly
13.
by one-punch 2y ago
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 outside viewport
14.
by one-punch 2y ago
Reminds me of the “Chase your reality” commencement speech by Christopher Nolan at Princeton in 2015. https://www.youtube.com/watch?v=QoWEhQlS9yY
15.
Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput(verdagon.dev)
5 points by one-punch 2y ago|0 comments
16.
Hyprscroller: Scrolling Hyprland layout plugin like PaperWM(github.com)
1 points by one-punch 2y ago|0 comments
17.
by one-punch 2y ago
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. their development shells: for build dependencies (compilers, SDK
18.
by one-punch 2y ago
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 existing files are used to derive ne
19.
China's Taobao working with startup on deliveries by reusable rocket(reuters.com)
2 points by one-punch 2y ago|1 comments
20.
by one-punch 3y ago
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?id=39296559 > Insightful Reddit comment
21.
by one-punch 3y ago
> 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 for typical use cases now. (Not having used either.) [1]:
22.
by one-punch 3y ago
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 also talks about “Explorable Explanations”. For more examples
23.
by one-punch 3y ago
> 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. https://news.ycombinator.com/item?id=3740
24.
by one-punch 3y ago
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 Checks with Liquid Haskell", giving a 6x speed up
25.
by one-punch 3y ago
> 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 not designed to support such applications as b
26.
by one-punch 3y ago
Safety. For pointer checks. https://news.ycombinator.com/item?id=37440896
27.
by one-punch 3y ago
(Can't resist this one line rebuttal) > So your solution is to rewrite the haskell standard library yourself? No need--the simplest solution is to pass flags correctly to the dependent library (set all flags BoundsChecks, UnsafeChec
28.
by one-punch 3y ago
> C++ doesn't have bounds checks in the std library in release builds by default, so you can't get better than that. In Haskell you can provide your own prelude, which uses unsafe functions without bounds checks by default. Wit
29.
by one-punch 3y ago
It is not fair to think this is a complication specific to Haskell, because you can opt-out of runtime bounds checks as easily as C++, Rust, and Julia, with functions such as unsafeTake and unsafeDrop. https://news.ycombinator.c
30.
by one-punch 3y ago
I think the main confusion is that, "Scrap your Bounds Checks with Liquid Haskell" presented a toy example/implementation which scales to real implementations, for the task of high-performance parsing of UDP packets (used by

More ›