sestep

6 ms·

31.
by sestep 10mo ago
Alternatively you can use Nix! :P https://github.com/pranshuparmar/witr/pull/5
32.
by sestep 10mo ago
That's a 404; here's a working link: https://algassert.com/post/2500
33.
by sestep 10mo ago
For fiction I read a lot of Brandon Sanderson: the second Mistborn series, plus a few of the Secret Projects. I quite liked Tress of the Emerald Sea . Also currently reading R. F. Kuang's Katabasis which I'm really enjoying so
34.
by sestep 10mo ago
This is correct; in Nix lingo these are referred to as "fixed output derivations". For some other interesting context, see this Nix forum post from last year in which they discussed deleting some stuff from cache.nixos.org to save
35.
by sestep 10mo ago
This is exactly what Nix does, if I understand correctly: the "mirror" is cache.nixos.org as mentioned in XorNot's reply to the same parent post.
36.
by sestep 10mo ago
Agreed, this is the default testing methodology I reach for. Other methodologies are useful in some situations, but those are the minority.
37.
by sestep 10mo ago
I think actually Scala does exactly this style of inferring the container instance from its type: https://docs.scala-lang.org/scala3/book/ca-context-parameter... But from what I understand (being a nonexpert on Sc
38.
by sestep 10mo ago
My hypothesis is that handles are underused because programming languages make it very easy to dereference a pointer (you just need the pointer) whereas "dereferencing" a handle requires also having the lookup table in hand at the
39.
by sestep 10mo ago
Interesting; I've been using WebAssembly as a compilation target for various projects for the past four years, and have been fairly happy with the state of documentation. I've never heard of that book you mentioned (I should check
40.
by sestep 10mo ago
Heh, sounds like you'd love the work-in-progress I'm about to present at MWPLS 2025 :)
41.
by sestep 10mo ago
Could you clarify what you mean regarding Zed? I checked just now and it looks like Nixpkgs had the latest version 0.214.7 within 24 hours of its release: https://github.com/NixOS/nixpkgs/pull/466449
42.
by sestep 10mo ago
(disclaimer: self-plug) I similarly found `nix flake update` frustrating for a while, especially when using unstable Nixpkgs. I wrote a tool called `npc` that basically solved the problem for me by letting me bisect whatever Nixpkgs channel
43.
by sestep 1y ago
Amy is great, thank you for the link!
44.
by sestep 1y ago
Speaking as an academic PL researcher: you are right that this math-centered view is common in the PL research community, but that doesn't make the opposing view "wrong". There is also plenty of work in the intersection of PL
45.
by sestep 1y ago
For anyone else reading this comment who was confused because this seems like the opposite of what you'd expect about Nix: Hacker News ate the asterisks and turned them into italics.
46.
by sestep 1y ago
Ah thank you! Sorry I missed that.
47.
The Church of Interruption (2011)(sambleckley.com)
7 points by sestep 1y ago|3 comments
48.
by sestep 1y ago
Saw this in a comment on a different post and thought it was interesting enough to submit as its own item: https://news.ycombinator.com/item?id=45637392 Previous discussion (I don't know why the date was listed as 2018
49.
by sestep 1y ago
I assume it's a typo from slide-to-type on a phone keyboard.
50.
Show HN: npc, a CLI to bisect Nixpkgs channel history in flakes(github.com)
1 points by sestep 1y ago|0 comments
51.
by sestep 1y ago
Indeed, the original copy-and-patch paper explicitly compares against Cranelift: https://fredrikbk.com/publications/copy-and-patch.pdf
52.
by sestep 1y ago
If I understand correctly, cols (replicate 0 "x") would not typecheck, so I'm not sure I understand your example; could you clarify?
53.
by sestep 1y ago
Could you clarify what you mean? TypeScript already has structural types, but I already examined it in my post; if that were the only thing I was saying then my post would have just used TypeScript at the top.
54.
by sestep 1y ago
It's similar to the Rust example from my post: there are no anonymous records, so in order to be able to construct something with named fields, you need to first define those record types outside. In contrast, my proposed syntax depend
55.
by sestep 1y ago
I see, so similar to the other languages I mentioned in my post, it looks like Haskell doesn't let you colocate the types with the leaves of the binding form?
56.
by sestep 1y ago
Oh interesting; is that actually true? I'm not aware of Haskell features that allow it to do better than any of the three other languages I compared to in my post. What would my running example look like in Haskell?
57.
by sestep 1y ago
I personally kind of feel like no existing language provides great syntax for structured function parameters. I recently wrote a post about how I think languages could make this better in general (although one thing I didn't tackle in
58.
by sestep 1y ago
Could you explain why you interpreted my question as a complaint? I clearly indicated that I was asking in good faith by even providing two possible explanations that seem reasonable.
59.
by sestep 1y ago
Just to clarify, are you saying that you recommend that writeup over the lecture, or just linking the writeup for people who'd prefer it over watching a video?
60.
by sestep 1y ago
Genuine question: why do people sometimes write comments like this instead of Googling? Two guesses I have: - HN responses might contain more first-hand experience and thus be richer than what one could find via Google or an LLM. - Some ter

More ›