gugagore

6 ms·

1.
by gugagore 4d ago
> For "basic” abstraction, lambda calculus is the canonical approach. There is no equivalent for concurrency. There are multiple different approaches. Which one is canonical? Simply-typed lambda calculus guarantees that the computat
2.
by gugagore 14d ago
> All the bad-ass biped robots that actually look natural? It's PID controls wrapped with control barrier functions constraining the QPs that are being solved in real time. That's not entirely true. Locomotion is well addressed
3.
by gugagore 2mo ago
https://xenaproject.wordpress.com/2020/07/05/division-by-zer...
4.
by gugagore 2mo ago
> they encourage grouping everything that concerns a value ("put this value in a dependent type that encodes everything known about it") I understood you to be saying "bundling is encouraged", in the sense of https:&
5.
by gugagore 3mo ago
To say nothing of "Swift for TensorFlow" when Julialang was an option. To each their own!
6.
by gugagore 3mo ago
I follow your connection, though I think your unit analogy is a strawman. Do you want to give two different types to complex numbers, depending on whether a given complex number represents a point versus a transformation (an amplitwist)?
7.
by gugagore 3mo ago
https://math.ucr.edu/home/baez/torsors.html The distinction is whether zero is meaningful independent of a choice of origin. Zero displacement is meaningful. Zero position is arbitrary. Are you thinking of displac
8.
by gugagore 3mo ago
The part in this that I most question / deviate from is what I've quoted below about having distinctions (syntactically?) between objects and operations. Conceptually, it's a good distinction. But is it so clearly wise to bak
9.
by gugagore 3mo ago
People are jumping on it being an important file to review. You don't want to ignore the diff. Even if that's true, you definitely do not want to attempt merge two lock files, and using the .gitattributes file to set the merge st
10.
by gugagore 5mo ago
https://en.wikipedia.org/wiki/Floptical A related technology with a name that already answers your question.
11.
by gugagore 5mo ago
If there is a stack of size n and you make a modification at the first change, closest to the trunk, is there a single git command you can run to rebase the other n-1 branches and ensure they remote branches are updated?
12.
by gugagore 5mo ago
https://en.wikipedia.org/wiki/Mead%E2%80%93Conway_VLSI_chip_... I'm guessing is what they're really talking about. Which is not about NAND gates.
13.
by gugagore 5mo ago
They are referring to the comment ("You're pointing out a real conceptual issue ..."), not the article.
14.
by gugagore 7mo ago
Have you heard the thought that LLM hallucinations when coding within an API / framework are feature requests against the same? I have a suspicion that Julia, owing to multiple dispatch, has a sort of regularity that makes that you sai
15.
by gugagore 7mo ago
Woodworking is, like, the quintessential craft. I think it is very useful to bring it in when discussion "craft"! I am not myself a woodworker, however I have understood that part of what makes it "crafty" is that the wo
16.
by gugagore 8mo ago
"sound bites pop radio" of 1999 has made a comeback, But worse.
17.
by gugagore 8mo ago
https://en.wikipedia.org/wiki/Subsumption_architecture
18.
by gugagore 9mo ago
For some more depth into the "bloat" of bazel, I like this reference: https://fzakaria.com/2024/02/27/hermetic-but-at-what-cost
19.
Object oriented design in the first 16-bit processor?(en.wikipedia.org)
3 points by gugagore 10mo ago|2 comments
20.
by gugagore 10mo ago
> Intel's first 32-bit microprocessor was the iAPX 432, which was introduced in 1981, but was not a commercial success. It had an advanced capability-based object-oriented architecture, but poor performance compared to contemporary
21.
CUDA Ontology(jamesakl.com)
271 points by gugagore 10mo ago|40 comments
22.
by gugagore 10mo ago
Are the 50 for loops truly necessary in the manual C code example of a Kalman filter? At least introduce a few functions (that could be inlined and loop-fused) for some matrix operations?
23.
by gugagore 10mo ago
Another way to make the same point is to observe that every single society has language. But only some groups have the ability to systematically encode language as writing. Writing is a technological marvel.
24.
by gugagore 11mo ago
Does anyone have a reference to the original thread or issue about sleep(1)?
25.
by gugagore 11mo ago
The bug being "perturbation confusion"?
26.
by gugagore 11mo ago
This is the first time I see "SGD" to mean "standard gradient descent" and not "stochastic gradient descent".
27.
by gugagore 11mo ago
Please share your understanding!
28.
by gugagore 11mo ago
We're not using "type theory" the same way, I think. I'm thinking in terms of - simply typed lambda calculus - System F - dependent type theory (MLTT) - linear types - row types - and so on B
29.
by gugagore 11mo ago
> people who like type systems tend to dislike Julia's type system. This is true. As far as I understand it, there is not a type theory basis for Julia's design (type theory seems to have little to say about subtyping type latt
30.
by gugagore 1y ago
I think of context parameters as a replacement for dynamic scoping. I think it can be all of these things, which in my opinion partially undermines the GP's point. Recommended related musings: https://wiki.c2.com/?Closu

More ›