sestep

10 ms·

121.
by sestep 2y ago
This is a weird take. Sure, plenty of cool/nice things from old languages (e.g. variable-sized stack frames in Ada) get lost, and some then get rediscovered by future languages, potentially wasting effort. And I don't know COBOL,
122.
by sestep 2y ago
By "three different kinds of code" are you referring to the Domain, Substance, and Style DSLs of the original Penrose? Just to clarify, Bloom is an alternative to those DSLs, only requiring you to write in one language (JavaScript
123.
Bloom: Optimization-Driven Interactive Diagramming(penrose.cs.cmu.edu)
14 points by sestep 2y ago|2 comments
124.
by sestep 2y ago
Tiny note: Stack Exchange also allows spaces in display names, and they make @ functionality work regardless: https://meta.stackexchange.com/a/43020/297476 Agreed that it makes it more complicated though.
125.
by sestep 2y ago
Amortized analysis actually provides a guarantee (either deterministic or probabilistic) that things will tend to even out in the long run. Unless I misunderstand something, conservative GC provides no such guarantee, and there are no hard
126.
by sestep 2y ago
Yeah... I can't imagine trying to debug that. "We kept getting memory leaks, so we dug into it and realized that the language was interpreting local integer variables as pointers and refusing to free memory, but this only happened
127.
by sestep 2y ago
That 2022 post is amazing, thanks for the link!
128.
by sestep 2y ago
You're thinking of 3.6: https://stackoverflow.com/a/39980744/5044950
129.
by sestep 2y ago
Even for 3.6 it's still true, just not guaranteed in writing: https://stackoverflow.com/a/39980744/5044950 And Python <=3.7 is already end-of-life anyways: https://devguide.python.org/versi
130.
by sestep 2y ago
Not true at the top-level.
131.
by sestep 2y ago
Thanks, I understand this; but what I don't understand is, wouldn't it be easier for the same attacker to do the same thing by exploiting a vulnerability in a different crate, and include that other crate as a dependency? As for c
132.
by sestep 2y ago
Oh sad! Dang I actually really liked the feature, it's super convenient for keeping developer environments in sync. I left a comment in that thread asking for clarification.
133.
by sestep 2y ago
If I understand correctly, Rust acts similarly: if you have a `rust-toolchain.toml` file in your repo, any usages of `cargo` will automatically install and use that version of Rust. https://rust-lang.github.io/rustup/ov
134.
by sestep 2y ago
Could you give some specific examples of those new languages with their own backends for faster builds?
135.
by sestep 2y ago
Could you shed some light on the degree to which it's simpler? I've heard that algebraic effects are complex but I don't have much of a feel for why that is.
136.
by sestep 2y ago
Maybe I'm missing something, but this just seems like a less general construct than algebraic effects; for instance, see the exn effect in Koka: https://koka-lang.github.io/koka/doc/book.html#why-effects Is t
137.
by sestep 2y ago
Thanks, I didn't know about that! I'm curious though; even LSB 5.0 only demands Python 2.4: https://refspecs.linuxfoundation.org/LSB_5.0.0/LSB-Languages... Do people really write scripts against Python 2 just
138.
by sestep 2y ago
What does LSB stand for?
139.
by sestep 2y ago
Could you elaborate further on this? Is it not the case that they'll still need to support numpy 1.x for at least the near-term future? My understanding was the parent comment was specifically talking about the technical difficulty of
140.
by sestep 2y ago
This is exactly what my first step was going to be. Thanks for the link! Saves a lot of time for someone to have already done it.
141.
by sestep 2y ago
Is the book enlightening beyond what one can learn from sources like this post and the aforementioned paper by Rompf and Amin? I'm trying to decide whether I should spend the time to dig deeper into it.
142.
by sestep 2y ago
Is this ChatGPT? Also, I feel like this would be more useful if it included import statements.
143.
by sestep 2y ago
Rust uses the same syntax: https://doc.rust-lang.org/book/ch13-01-closures.html
144.
Pincket's Law(pincketslaw.com)
5 points by sestep 2y ago|0 comments
145.
by sestep 2y ago
Seems like a different focus, no? Aren't linear programming solvers a much narrower domain than general linear algebra libraries?
146.
by sestep 2y ago
I'm so spoiled by the quality of modern closed-source models, I laughed out loud when the beginning of its answer just said [duplicate].
147.
by sestep 3y ago
It is a fun proof! I'm trying to understand why it's not actually valid; is the idea similar to the sorites paradox?
148.
by sestep 3y ago
Ah cool, I didn't realize Scala has them too!
149.
by sestep 3y ago
Idris has implicit parameters: https://idris2.readthedocs.io/en/latest/tutorial/miscellany.... As does Lean: https://lean-lang.org/lean4/doc/implicit.html Would yours look different
150.
by sestep 3y ago
Flipping this around, could you elaborate on which specific design aspects you wouldn't have chosen?

More ›