olzd

5 ms·

1.
by olzd 4mo ago
Are you aware this is satire?
2.
by olzd 5y ago
Probably Brzozowski’s derivative of regular expressions, e.g https://matt.might.net/papers/might2011derivatives.pdf
3.
by olzd 7y ago
How nice of you to copy/paste my reddit comment!
4.
by olzd 7y ago
You type 'proc' and let the editor autocomplete that for you: this is a long solved issue.
5.
by olzd 7y ago
I like the parens for the structured editing they allow. Also, you don't need parens to be homoiconic.
6.
by olzd 8y ago
The -O3 switch removes a recursive call, among other things ( https://godbolt.org/z/oS3Cju ).
7.
by olzd 8y ago
> When I get a request for something slightly different, I almost have to start from scratch. You don't really start from scratch though (at least I don't): most of the time you can reuse idioms with minimal adaptation.
8.
by olzd 8y ago
I disagree: it's not that hard to gradually get to a solution via the REPL.
9.
by olzd 8y ago
Actually there is: be a EU resident. It's even explicitely stated there.
10.
by olzd 8y ago
> Reading and understanding the Idris proof is actually more work than understanding the untyped Python version, therefore it's actually harder to say whether it's correct or not in a semantic sense. But you don't have to
11.
by olzd 8y ago
If only people could properly argument...
12.
by olzd 8y ago
Latest release is June 28, 2018. SBCL REPL kinda sucks by itself but nobody uses it that way.
13.
by olzd 8y ago
I hope you realize the Idris code actually prove that the list will be correctly sorted, unlike your python code.
14.
by olzd 8y ago
Yeah, you managed to link a comment with some code (although I agree it looks useless)... I expected a github link to some lib relying on undocumented macros. > I don't know what's the worst. That you can't help it or that
15.
by olzd 8y ago
Alright, do you have an actual example to show?
16.
by olzd 8y ago
Come on. A lack of tests or documentation isn't specific to Lisp. TBH, I'd rather use a well-designed DSL than a shitty API.
17.
by olzd 8y ago
So? If you want a lightweight app, both JavaFX and Electron are bad.
18.
by olzd 9y ago
Idris certainly is nice but I doubt anyone uses it for real stuff.