throwaway17_17

10 ms·

61.
by throwaway17_17 9mo ago
I know it wasn’t the whole point of your comment, but I fervently hope the legitimacy of art (of any kind and in any medium) is not conferred by the ‘market’. Plays or shows that end having been seen by under 100 people should still be art
62.
by throwaway17_17 9mo ago
I think your statement about familiarity is spot on. One of the ‘promises’ of the early functional language efforts (late 70s through mid 90s) was that the invariants made it conceptually simple to have a magical, super compiler take the co
63.
by throwaway17_17 9mo ago
I wrote the following and then realized maybe it is just a quirk of the example in the reader that the ‘set’/‘=‘ pair comes at the end of the chain. If so, it is just a unique syntax sugar for a function, I don’t think it is, so I’m le
64.
by throwaway17_17 9mo ago
Your assumption is somewhat correct, for both Erlang and Elixir, however the phrase under discussion doesn’t mean the same thing for immutable languages. Both are ‘pass-by-value’ but that term is being overloaded in a particular way. As I s
65.
by throwaway17_17 9mo ago
Quick note then a more wordy response (and after being dinged in another thread yesterday, the tl;dr is your usage is correct, ignore purposely avoiding context criticism of wording): SML has mutation, but only for Ref Cells, which humorous
66.
by throwaway17_17 9mo ago
Whereas uniqueness qualifiers on values or references are a semantic component of a languages terms, FIP is more akin to a polymorphic System F based language having restrictions on term formation to enable decidable type inference. Uniquen
67.
by throwaway17_17 9mo ago
The TL;DR was exhaustion and medication make me chatty. I didn’t realize how long the comment was until I got back on just now.
68.
by throwaway17_17 9mo ago
Since you are in the comments, I’ll just ask directly… Are you planning to enable a local only version of chat history and maybe an option for local first instancing? In my line of work Slack is basically a non-starter due to the off sight
69.
by throwaway17_17 9mo ago
While I’m always thankful when people give the broad perspective and context in a discussion, which your comment does. The specifics of this particular project’s usage of almost-C is not something I could have quickly figured out, so thanks
70.
by throwaway17_17 9mo ago
I’m apparently comment happy on this OP, but, the typing of it looks funny because it starts the sentence, I’m pretty sure OP was saying safER, as opposed to SAFE (as in totally safe instead of comparatively safer). I have been quite charit
71.
by throwaway17_17 9mo ago
I know this reply is late, but what the hell. Your comment is certainly correct and I agree that the various implementations of LLM probably can not actually partition attempts to find proofs into any given logical system. My comment was mo
72.
by throwaway17_17 9mo ago
I’m pretty sure there is not any realistically feasible way to ever prove your statement. But I hope a majority of people can recognize the sheer magnitude of C++ as a language and take a position that it may not be possible to master the w
73.
by throwaway17_17 9mo ago
I’m going to start this comment by specifying that I don’t know what OP was considering complex about Rust and, unfortunately, a large amount of discussion on the topic tends toward strawman-ing by people looking to argue the ‘anti-Rust’ si
74.
by throwaway17_17 9mo ago
I would love for this to turn out to be some internal constraint where the LLM can not ‘reason’ about LEM and will always go to an understanding based in constructive logic. However, I am more ready to accept that LLM aren’t actually ‘reaso
75.
by throwaway17_17 9mo ago
Thanks, my parent’s comment is almost a thought-terminating cliche in this kind of discussion. However, Chisnall’s now classic ‘C is not a low level language’ article is one of my favorite papers on language theory and potential hardware de
76.
by throwaway17_17 9mo ago
Jai does not compile to C. It has a bytecode representation that is used primarily for compile time execution of code, a native backend used mostly for iteration speed and debug builds, and a LLVM target for optimized release builds.
77.
by throwaway17_17 9mo ago
Seriously, in the discussion happening in this thread C is clearly not a high-level language in context. I get your statement and even agree with it in certain contexts. But in a discussion where high-level languages are presumed (in contex
78.
by throwaway17_17 9mo ago
I’d say that the point of async/await is to create a syntax demarcation between functions which may suspend themselves (or be suspended by a supervisory system) and those functions that process through completely and cannot be suspende
79.
by throwaway17_17 9mo ago
There are two distinct constructs that are referred to using the name variable in computer science: 1) A ‘variable’ is an identifier which is bound to a fixed value by a definition; 2) a ‘variable’ is a memory location, or a higher level ap
80.
by throwaway17_17 9mo ago
BOTW hit me like a truck. I think that’s the only game as an adult, with a job and family, that I have over 500 hours in. I think it is also illustrative to consider the next closest game in play time for me is Elden Ring at ~400 hours. The
81.
by throwaway17_17 9mo ago
I certainly appreciate the shout-out to the artists and designers from the era, These techniques were bent, twisted, and pulled in every way a development team could to produce artistic results that in some case genuine “moments” worth reme
82.
by throwaway17_17 9mo ago
I know it was probably said just as a joke, but are you really writing papers using Rust? I don’ t use Rust, BUT if you’ve got a better way to write symbol heavy type theory and/or logic than having to make PNG’s and put them in as ima
83.
by throwaway17_17 9mo ago
In this particular case, Hughes’ arrows are a practical implementation of a Profunctor Categorical Structure. They are roughly a generalization of what arrows (as in function types or more accurately relations) are. In the article, author i
84.
by throwaway17_17 9mo ago
I understood the sibling comment recommending Ocaml and to a lesser extent Borgo, but OP is looking for a high level functional programming language based on giving Gleam as the reference point. How does C# fit here. I do think the compilat
85.
by throwaway17_17 9mo ago
Are you implying that Fil-C has this sort of reaction to people confused about why it does certain things in the name of safety, or are you saying Fil-C is just sprinkling magic fairy dust on C and declaring it safe?
86.
by throwaway17_17 9mo ago
Can you explain what mean by a “language not being efficiently AOT compileable”? I am guessing you are referring to languages that emphasize REPL based development or languages that are ‘image’ based (I think Smalltalk is the most common ex
87.
by throwaway17_17 10mo ago
In case someone is reading and wonders: RnRS - Revised n Report on Scheme (where 1 <= n <= 7) These are basically Scheme Editions. R5RS, R6RS, and R7RS are the ‘big ones’ that are commonly referenced, R7RS being issued in 2013 (5 — 19
88.
by throwaway17_17 10mo ago
I’m not sure what I wrote to give the impression that Rust was unable to write a compiler, let alone implied it was impossible. Rust is certainly full featured enough to write a very well performing compiler. I find my comment more an indic
89.
by throwaway17_17 10mo ago
Can you expand on Oberon-07 minimalism in the context of bootstrapping or working at the lowest level of abstractions? Your posts about the Wirth tradition languages and their implementations are typically well founded and I haven’t read mu
90.
by throwaway17_17 10mo ago
tl;dr - Rust wants to be a foundational language of the computing stack and holding it to the standard of being bootstrapped, instead of relying on another language, is a reasonable critique. Clearly Rust the language and the associated org

More ›