NieDzejkob

10 ms·

31.
by NieDzejkob 5y ago
That sounds like something that could be solved with a linter for prose. Though, I can't think of the search terms that would let me find such a solution, if it exists.
32.
by NieDzejkob 5y ago
Ah, it's still exponential, but in the size of the type, and the constants of the complexity are a bit different, so you need around x30.
33.
by NieDzejkob 5y ago
The fact that x1 is \y -> (y, y) is superficial, though. Something like x1 = Just also increases exponentially, and makes clear that using a deduplicated DAG for representing type terms doesn't solve this.
34.
by NieDzejkob 5y ago
It still needs to ensure that one of the arms will always match. (just not executing any branch in that case is tricky, because the arms can return values)
35.
Compiling Rust is NP-hard(niedzejkob.p4.team)
8 points by NieDzejkob 5y ago|1 comments
36.
by NieDzejkob 5y ago
It is a feature present on some headsets, though...
37.
Branches: No Assembly Required(niedzejkob.p4.team)
11 points by NieDzejkob 5y ago|0 comments
38.
by NieDzejkob 5y ago
> Backblaze has no redundancy. That does not seem to be the case. https://help.backblaze.com/hc/en-us/articles/217667468-B2-Se...
39.
by NieDzejkob 5y ago
I can't see how you'd even begin to think that.
40.
No branches? No problem – a Forth assembler(niedzejkob.p4.team)
4 points by NieDzejkob 5y ago|0 comments
41.
by NieDzejkob 5y ago
So you're claiming that needing help to fix an issue in a language you don't at all know is bad? How is it supposed to work otherwise? In my opinion, the fact that you have an option of asking an expert in this situation is a good
42.
by NieDzejkob 5y ago
This reminds me of this video on a text processing example with Forth: https://www.youtube.com/watch?v=mvrE2ZGe-rs
43.
by NieDzejkob 5y ago
Workarounds exist, like for every other example I mentioned. I am mostly referring to the commonly used dependency graph.
44.
by NieDzejkob 5y ago
I suppose that prior art influences things. In my case, I went "a separate text editor won't fit, I need a REPL", and that basically filtered to just Forth and Lisp. It would be interesting to see what subset of Lisp would fi
45.
Ask HN: Should a User Subscribe to a Blog
1 points by NieDzejkob 5y ago|1 comments
46.
by NieDzejkob 5y ago
Another solution that seems to be Android-only: YouTube Vanced. Includes AdBlock, SponsorBlock (if enabled in settings), and other Premium features like picture-in-picture and listening to music in the background.
47.
by NieDzejkob 5y ago
Yes, they are highlighting the importance of research towards model explainability.
48.
by NieDzejkob 5y ago
Apart from adapting proprietary or hard-to-compile software to non-FHS distros like NixOS or Guix, what are the usecases of patchelf?
49.
by NieDzejkob 5y ago
Except that brainfuck was actively designed to make programming difficult, and as you can only increment and decrement, the performance is abysmal.
50.
by NieDzejkob 5y ago
Perhaps I'm blind, but I can't actually see the number of commits on this page.
51.
by NieDzejkob 5y ago
It is interesting how readable the proofs produced by ACL2 are. Also, the automation applies induction and generalizes conjectures, which is something that no other proof assistant I'm aware of does. The same authors also wrote "A
52.
A Flying Demo of ACL2 (2000)(cs.utexas.edu)
2 points by NieDzejkob 5y ago|1 comments
53.
Odd Comments and Strange Doings in Unix (2002?)(cm.bell-labs.co)
3 points by NieDzejkob 6y ago|0 comments
54.
by NieDzejkob 6y ago
Aren't 255 bit codes the optimal choice for an input distribution skewed enough?
55.
A Brief, Incomplete, and Mostly Wrong History of Programming Languages (2009)(james-iry.blogspot.com)
1 points by NieDzejkob 6y ago|0 comments
56.
by NieDzejkob 6y ago
Perhaps this standard allows specifying the BSSID instead, somehow?
57.
by NieDzejkob 6y ago
> But it comes with costs. Someone has to learn Rust and then convert all of these programs. Someone has to learn compiler engineering and then design and implement a 'safe' ABI. Unlike learning Rust, this is probably worthy of
58.
by NieDzejkob 6y ago
I don't think it's a good idea to make a password reset take 3 entire days. In this case, I'd say the costs outweigh the benefits.
59.
by NieDzejkob 6y ago
I suppose one downside of this approach is that you need a bigger datatype to contain the result.
60.
by NieDzejkob 6y ago
GCC is no longer written in C, but in C++. They switched after GCC 4.7.

More ›