gugagore

16 ms·

61.
by gugagore 1y ago
I think you're describing "gradual typing", which had lots of promise and attention, but arguably achieves the worst of both worlds: https://www.ncameron.org/blog/a-response-to-a-decade-of-deve... What i
62.
by gugagore 1y ago
Can you comment on the relation been a live programming environment (no separate "staged" compilation. There is always a dev environment, the REPL, in a deployment), and dynamic types? The typing available in CL, is it like Python
63.
by gugagore 1y ago
Could you provide an example of one of the well written explanations?
64.
by gugagore 1y ago
Interrupts are a hardware feature on CPUs. You could have software that is effectively checking for events on each tick (clock cycle), and emulates interrupts. But that's what polling is.
65.
by gugagore 1y ago
I wonder why not embed this in Lean or other theorem prover? There is often a discussion drawn between a computer algebra system and an interactive theorem prover, but to be honest, I don't fully understand what the distinction means.
66.
by gugagore 1y ago
I think the quickest way to say it is that there is only one head on a page, and every HTML file needs a head. So if you include one into the other, you either have two heads, or the inner document didn't have a head.
67.
by gugagore 1y ago
DACs do a zero-order hold, which is equivalent to a pixel as a square.
68.
by gugagore 2y ago
> But I like to praise it because it represents a hint of what I wish my tooling were like, and would like to see this concept of moldable development spread outside of the Pharo community. You might like this talk! "Liberating the
69.
by gugagore 2y ago
I did spend a day or two on the discord a few years ago, and the conversation was dominated by some conflict over a refector... What due diligence are you talking about? Personal research? (Genuine curiosity)
70.
by gugagore 2y ago
I was a bit confused about the key point of patch-based versus snapshot-based, but I got some clarity in this thread: https://news.ycombinator.com/item?id=39453146
71.
by gugagore 2y ago
Many comments are comparing Glamorous Toolkit to a JuPyteR notebook. It's worth noting that the comparison falls short because Glamorous Toolkit itself, including all of the UI [1], is implemented in the target language. [1] https:&#x
72.
by gugagore 2y ago
I think I know what math is, though I'm not sure. Logical systems of axioms and inference rules? But I'm even less sure what conceptual reasoning is.
73.
by gugagore 2y ago
Subtyping is one form of type polymorphism. Others include: - parametric polymorphism (generics, templates, ...) - ad hoc polymorphism (type classes are the nicest example) - https://en.wikipedia.org/wiki/Row_polymorphi
74.
Ask HN: Interactive Demonstration of Video Codec
1 points by gugagore 2y ago|0 comments
75.
by gugagore 2y ago
I thought it spoke to windows and macOS woes that package management was a third-party concern. What is the gap between e.g. `apt` and Homebrew?
76.
by gugagore 2y ago
> While Rust doesn’t fill the same niche as Julia with respect to scientific computing, I really like the safety guarantees around ownership and borrow checker. From the same discourse thread. Interoperability across languages with FFI i
77.
by gugagore 2y ago
> programming is about telling a computer how to actually add 156 with 1571 by adding bit to bit programming can also be about producing generic solutions that commit to some minimal set of assumptions so that solutions work across a v
78.
by gugagore 2y ago
I don't think "type unions" correspond neatly to sums. When I think of a type union in mypy, typescript, Julia, etc, those languages have Union[int, int] as equal to int. But int + int is isomorphic to bool*int. The unions yo
79.
by gugagore 2y ago
Does pip-compile do the same? Or what's the difference?
80.
by gugagore 2y ago
I was looking for a blogpost from many years back about features Windows cannot provide, because it would result in logical inconsistencies if multiple applications used the feature. The blogpost gave examples like setting the desktop backg
81.
by gugagore 2y ago
fixed link: https://goosetaco.notion.site/Drinking-SICP-hatorade-and-why...
82.
by gugagore 2y ago
If you have any light to shed, I'm wondering about inductive data types and their expressive necessity here: https://news.ycombinator.com/item?id=42166709
83.
by gugagore 2y ago
I recently came across the notion that you need inductive data types (and can't just use Church encodings) if you want to do theorem proving, like proving that `0 != 1`. I threw up some content up here: https://intellec7.n
84.
by gugagore 2y ago
The problem you describe with waiting for tests for unrelated code changes (or potentially related but you want to skip it for the reasons you describe) is a problem that seems to deserve a solution even within a single monorepo. What are t
85.
by gugagore 2y ago
Surely the git SHA is "a form of versioning", isn't it? Yet I don't see how that form of versioning helps.
86.
by gugagore 2y ago
What robot is performing what surgery unassisted?
87.
by gugagore 2y ago
Generally (not just for LLMs) this is called student-teacher training and/or knowledge distillation.
88.
by gugagore 2y ago
Lego education used to be called "Lego Dacta". https://www.brothers-brick.com/2020/01/31/a-history-of-lego-...
89.
by gugagore 2y ago
The question then emerges: how do we program these things? Sara Acour has some answers, e.g. https://scholar.google.com/citations?view_op=view_citation&h...
90.
by gugagore 2y ago
I thought that rust's compiler was indeed written to be incremental first. Check a sibling comment of mine for reasons why I thought so.

More ›