one-punch

9 ms·

31.
by one-punch 3y ago
> static analysis isn't going to deal with every scenario like access based on inputs. Not true. With proper abstraction, static analysis proves the absence of bugs under all relevant inputs, which gives stronger guarantees than t
32.
by one-punch 3y ago
Thanks for the great note, I learned something today.
33.
by one-punch 3y ago
> this seems like a lot to go through to solve something that isn't much of an issue in the first place...but with more explicit iteration and runtime checks they are almost never a problem I see anymore. If you can afford runtime c
34.
by one-punch 3y ago
> C++ doesn't have this problem at all, bounds checks are in the std library in debug mode only. Rust and Julia make it very easy to take the bounds checks out. Haskell can do that too, with unsafeTake and unsafeDrop [1], you can op
35.
by one-punch 3y ago
Liquid Types enabled a 6x speed up in high-performance parsing of UDP packets, according to "Scrap your Bounds Checks with Liquid Haskell" of Gabriella Gonzalez [1]. With Liquid Haskell, the bound checks are moved from runtime to
36.
by one-punch 3y ago
Yes, but I meant the trend set by Vision Pro may spill over to similar (commodity) hardware, and we may need to interact with 3D Linux “desktop” in the future.
37.
by one-punch 3y ago
My wish is a scrollable-tiling Wayland compositor (Niri or otherwise) to have nice animations (think hyprland or wayfire), compositionality/extensibility (IPC sockets of hyprland, and lately wayfire), and optionally be 3D-aware (wayfir
38.
Niri: A scrollable-tiling Wayland compositor(github.com)
81 points by one-punch 3y ago|37 comments
39.
The moment I realized ChatGPT Plus was a game-changer for my business(zdnet.com)
7 points by one-punch 3y ago|0 comments
40.
by one-punch 3y ago
Monads are there in computations that we care about, regardless of the implementing programming languages (e.g., Python, C, Assembly, Turing Machines). Just that Haskell is famous for considering Monads as a first class concept, while many
41.
by one-punch 3y ago
Glass dip pens are easier to clean than fountain pens, especially for shimmering inks. The pens themselves also allow for different/more playful artistic expressions than fountain pens, due to very disparate materials. It may not be fo
42.
by one-punch 3y ago
The second chart is bucketed by year, while the first chart is not (appears to have more continual changes). Also, the discrepancy you observed around 2023 is on the edge of the second chart, which can be the result of bucketing and it may
43.
by one-punch 3y ago
> If so then we should look at the slope of the graph for 'growth', and it in fact appears to have flattened recently. The second graph shows the number of job posts per year, and it seems to reflect the bigger macro-economic s
44.
How to consistently hit the front page of Hacker News(indiehackers.com)
2 points by one-punch 3y ago|2 comments
45.
by one-punch 4y ago
Linear Type/Arrow makes sure values are consumed exactly once (as they cannot be duplicated nor destroyed), and such runtime can be used for efficient resource management without reference counting or garbage collection [1]. For Linear
46.
by one-punch 4y ago
Golang prioritizes compile time (hence it took them so long to get Generics), which Rust and Haskell are unlikely to beat, as they both prioritize high-levels of abstractions (more compile time for zero cost abstractions at runtime). That s
47.
by one-punch 4y ago
> I really wished there was a GC-ed but strictly-evaluating Haskell. To answer this question literally, there are PureScript (transpile to JavaScript), Idris (dependently typed), OCaml, and Standard ML (as discarded1023 pointed out). But
48.
by one-punch 4y ago
> For example, if you Ctrl-C while its downloading an update, you get in a weird state where nothing works. … There is a new Nix installer from Determinate Systems, a company heavily invested in Nix, which should make installing Nix more
49.
by one-punch 4y ago
An alternative to have both `shfmt` and `shellcheck` and all pre-commit hooks managed (that is, automatically installed until no longer used and garbage collected) is to use https://devenv.sh/ . After `devenv init`, update `
50.
by one-punch 4y ago
> Nix has an install step to use a package Not true. See "Using Nix to run software with no installation steps" https://determinate.systems/posts/nix-run for example. This feature has been one of the main
51.
by one-punch 4y ago
> There’s no shebang support in nix3. This is a pain point, but there appears to be discussions and a PR for Shebang support with flakes: https://github.com/NixOS/nix/pull/5189
52.
by one-punch 4y ago
1. Not sure how AppFS could have lower overhead than Nix in terms of removing the install step. 2. AppFS appears to be written by a user named rkeene, and I am replying to a comment by rkeene2. I think a disclosure would be helpful when com
53.
by one-punch 5y ago
(disclosure: not a PL person, so my question could be really dumb.) > Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. This line reminds me of (the opposite of) de
54.
Prison Mathematics Project(prisonmathproject.org)
2 points by one-punch 5y ago|0 comments
55.
Release of NASA's Ogma, a runtime verification language for hard-realtime C(old.reddit.com)
6 points by one-punch 5y ago|0 comments
56.
by one-punch 5y ago
TL;DR: Can we have an experience similar to `guix refresh` with content-addressed nix? (Disclosure: experimenting with the content-addressed nix now, have not used guix before, but heard good things about it.) It seems to me that there are
57.
by one-punch 6y ago
> Starbucks and ... use it I have heard of Haskell used in companies mentioned by other comments, but I am surprised, pleasantly, that Starbucks uses Haskell. Do you have a pointer (job posting, blog post, etc.) to Starbucks using Haskel
58.
by one-punch 6y ago
This is new to me. I have heard of Haskell used in companies mentioned by other comments, but I am surprised, pleasantly, that Starbucks uses Haskell. Do you have a pointer (job posting, blog post, etc.) to Starbucks using Haskell? It could
59.
by one-punch 6y ago
> I hate that brew is good enough that it’s got some kind of local maximum such that there’s no replacement forthcoming. You may be interested in trying out nix for package management [1], or even for configurations and providing develop
60.
by one-punch 6y ago
I use nixpkgs and home-manager for a consistent package management and configuration across MacOS and Linux (NixOS), which others also reported great success [1]. As noted in the article [1], home-manager has a steeper learning curve, but i

More ›