helix278

6 ms·

1.
by helix278 2mo ago
Depends on what you mean by functional language. I was considering main-stream languages that support some form of functional programming. So Rust, F#, C#, Kotlin, Swift, Typescript, etc
2.
by helix278 2mo ago
Superficially, I find the syntax very untuitive to read. Most languages opt to use <> for typevariables. Is there a specific reason you chose to deviate from that and use []?
3.
by helix278 2mo ago
I write all production code by hand, it's the only way I'm sure I know what the code does. Moreover, when the problem space or code base is more complex, it is necessary to keep in touch with reality and test your understanding by
4.
by helix278 5mo ago
> That is not a benchmark result. That is a different way of thinking about how AI models get built. tiresome
5.
by helix278 5mo ago
I'm always surprised at the high frequency of major typos in titles from HN posts
6.
by helix278 10mo ago
Letting the bytes go by
7.
by helix278 10mo ago
Ligatures exist
8.
by helix278 11mo ago
You make it sound like reducing the big O complexity is a dumb thing to do in research, but this is really the only way to make lasting progress in computer science. Computer architectures become obsolete as hardware changes, but any theore
9.
by helix278 11mo ago
I have had treesitter crashes in the past editing markdown, causing helix to segfault, but the particular bug that caused my crashes has been fixed since years.
10.
First-Order Laziness [pdf](microsoft.com)
1 points by helix278 1y ago|0 comments
11.
by helix278 1y ago
Although I'm more of a functional programmer and ADT addict, I still find this language appealing. Reading the manual, it feels like a lot of correct design decision have been made, contrary to languages like C++. Most notably for me:
12.
by helix278 1y ago
I'm not a compiler dev, but I know that many functional programming languages struggle with this in the same manner if the target platform does not support TCE itself, and therefore require trampolining.
13.
by helix278 1y ago
But entirely definable in user code, so an effect is essentially a set of possibly impure operations you can perform (like I/O or exception throwing), and a function that exhibits that effect has access to those operations. Of course t
14.
by helix278 1y ago
TCO (tail call optimization) is often confused with TCE (tail call elimination), the latter is a runtime guarantee whereas the former is a compiler's best effort attempt to statically optimize tail calls.
15.
by helix278 1y ago
So cutting edge you wouldn't even need a kitchen knife
16.
by helix278 1y ago
I like that there is plenty of room for comments, and the multiline extension is also cool. The backslash almost looks like what I would write on paper if I wanted to sneak something into the previous line :)
17.
by helix278 1y ago
Quite nice. Though I like texts with exercises better
18.
by helix278 2y ago
You're right, but history has shown that increasing the productivity also leads to increased demand, which is good news as long as humans remain involved for some percentage of the work
19.
by helix278 2y ago
What is the main difference with just?
20.
Notcursus v3.0.10 Released(github.com)
20 points by helix278 2y ago|7 comments
21.
by helix278 2y ago
Would it be feasible to build a larger application using a language like Factor? I have no experience with concatenative programming, and it seems interesting, but I also get the feeling that larger systems would become rather complex and h
22.
The .NET Show (2001) [video](youtube.com)
2 points by helix278 2y ago|0 comments
23.
by helix278 2y ago
There is a .NET library that also wraps DOT and provides programmability: https://github.com/Rubjerg/Graphviz.NetWrapper
24.
by helix278 2y ago
Very nice. I would like this for Helix, and allow bringing your own config!
25.
by helix278 2y ago
Note that this won't solve all cases. For example, you still have to watch out when merging branches with different submodule commit hashes that you run submodule update while merging.
26.
by helix278 2y ago
You might find this git option helpful: https://git-scm.com/docs/git-config#Documentation/git-config...
27.
by helix278 2y ago
Software Unscripted, by Richard Feldman
28.
by helix278 2y ago
This sounds like a weaker form of algebraic effects, but it is still cool to see such a language and see what you can do with it.
29.
by helix278 2y ago
Wrong thread?
30.
Monaspace font 1.1 released(github.com)
50 points by helix278 2y ago|3 comments

More ›