HNHacker News
TopNewBestAskShowJobs

olzd

43 karma · joined October 30, 2017

submissionscomments
olzd··on Bun support is now limited and deprecated
Are you aware this is satire?
olzd··on Parser generators vs. handwritten parsers: surveying major languages in 2021
Probably Brzozowski’s derivative of regular expressions, e.g https://matt.might.net/papers/might2011derivatives.pdf
olzd··on Beating C with Dyalog APL
How nice of you to copy/paste my reddit comment!
olzd··on Why Ada Is the Language You Want to Be Programming Your Systems With
You type 'proc' and let the editor autocomplete that for you: this is a long solved issue.
olzd··on Hy
I like the parens for the structured editing they allow. Also, you don't need parens to be homoiconic.
olzd··on Recursive fibonacci benchmark using top languages on GitHub
The -O3 switch removes a recursive call, among other things (https://godbolt.org/z/oS3Cju).
olzd··on The Problem With APLs
> 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.

olzd··on The Problem With APLs
I disagree: it's not that hard to gradually get to a solution via the REPL.
olzd··on Apple can delete purchased movies from your library without telling you
Actually there is: be a EU resident. It's even explicitely stated there.
olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
> 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 write a proof to sort a list in Idris. So you're not being honest with your comparison.

olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
If only people could properly argument...
olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
Latest release is June 28, 2018. SBCL REPL kinda sucks by itself but nobody uses it that way.
olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
I hope you realize the Idris code actually prove that the list will be correctly sorted, unlike your python code.
olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
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 you won't ever recognize you have a problem.

Anyone can write bad code. Lisp certainly makes it easier, I won't deny it. And no, I don't have a problem, thank you.

olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
Alright, do you have an actual example to show?
olzd··on The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
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.
olzd··on Hyper 2, Electron based terminal
So? If you want a lightweight app, both JavaFX and Electron are bad.
olzd··on F* – An ML-like functional programming language aimed at program verification
Idris certainly is nice but I doubt anyone uses it for real stuff.