gobdovan

17 ms·

181.
by gobdovan 6mo ago
Pretty cool. Would be nice to have the equation system as well in a recap, and the math not collapsed by default. Also had to look up other resources to understad that time correction refers to correcting a relatively short window of time,
182.
by gobdovan 6mo ago
A way for what? Evolution does not have a will, does not work for anybody in particular, and it's statistically likely that it will work against you, as almost all species that ever were went extinct and almost no individual from just
183.
by gobdovan 6mo ago
Yeah, but it's not a great way to do it. Short term, you pay the cost of fake signaling, which is simply deadweight loss. People spend resources to inflate signals instead of improving the actual thing. Medium term, I suppose you could
184.
by gobdovan 6mo ago
These kinds of articles make you feel like there are specific, actionable problems that just need an adjustment and then they disappear. However, the system is much worse than you'd expect. Studies like this are extremely valuable, but
185.
by gobdovan 6mo ago
About protocols in this vicinity, I've been noticing a missing piece in OSS around transport as well. In Python, you often need incompatible dependency sets in one app, and the usual choices are either ad-hoc subprocess RPC that gets m
186.
by gobdovan 6mo ago
also Sussman's propagators are nice to check out [0] [0] The Art of the Propagator (mit url down for the moment)
187.
by gobdovan 6mo ago
there's a few more semantic families: verilog, petri nets and variants, Kahn process networks and dataflow machines, process calculi, reactive, term rewriting, constraint solvers/theorem provers (not the same with Prolog), probabi
188.
by gobdovan 6mo ago
When I present TLA+ [0], I am referencing game pauses (pause buffer / item duplication Legend of Zelda exploit, Dark Souls menuing to cancel animations) and deliberate crashes as mechanics to exploit games, as those are still valid act
189.
by gobdovan 6mo ago
> The "neither" case is excluded by the law of totality. We literally said the same thing. It doesn't follow from antisymmetry. My point is precisely that: (x <= y /\ y <= x) -> x = y does not entail x <=
190.
by gobdovan 6mo ago
Your reply only works if the article were consistently talking about a strict order. However, it is not. It explicitly introduces linear order using reflexivity and antisymmetry, in other words, a non-strict `<=`-style relation, in which
191.
by gobdovan 6mo ago
The syntax in the article is not scheme, you can clearly see it in my comment you're responding to. As for your 'light introduction' comment: even ignoring the code, these are not pedantic complaints but basic mathematical an
192.
by gobdovan 6mo ago
Ok, let's say that it is not JS, but an untyped, closure-based programming language with a strikingly similar array and sort API to JS. Sadly, this comparator is still wrong for any sorting API that expects a general three-way comparis
193.
by gobdovan 6mo ago
Disclaimer for the book, and for category theory in general: most books are optimized for people who already master mathematics at an undergraduate level. If you're not familiar with algebraic structures, linear algebra, or topology, b
194.
by gobdovan 6mo ago
If someone does not want to check the mathematics line by line and prefers to give the article the benefit of the doubt, note that it also presents this JavaScript: [1, 3, 2].sort((a, b) => { if (a > b) { return true } else
195.
by gobdovan 6mo ago
My comment is not long enough either to get lost in. The prose "It also means that no ties are permitted - either I am better than my grandmother at soccer or she is better at it than me" is inaccurate for describing antisymmetry.
196.
by gobdovan 6mo ago
You're more right than you'd think. The whole point of mathematics is precise thinking, yet the article is very inaccurate. Nobody seems to care or notice. I'm watching in disbelief how nobody is pointing out the article is f
197.
by gobdovan 6mo ago
If this is meant to be an explainer, that can't be simply implicit. The text actually seems full of imprecise claims, such as: "All diagrams that look something different than the said chain diagram represent partial orders"
198.
by gobdovan 6mo ago
Unless there's some idiosyncratic meaning for the `=>`, the Antisymmetry one basically says `Orange -> Yellow => Yellow -/> Orange`. The diagram is not acurate. The prose is very imprecise. "It also means that no
199.
by gobdovan 6mo ago
It's so interesting to think about how there's fewer 'Le Petit Prince' versions in French (which there seems to be only one) vs in Chinese, where there seem to be at least 50 versions. [0] You could argue that there&#x27
200.
by gobdovan 6mo ago
I am starting to believe a significant number of humans run a computation that goes something like this: "Can I control AI? Will I meet people that control AI personally? If no, why would I care if they're treated unfairly in the
201.
by gobdovan 6mo ago
I think grandparent comments were talking about how Codex designers try to push LLMs to displace the interface to code, not necessarily code itself. In that view, code could stay as the execution substrate, but the default human interaction
202.
by gobdovan 6mo ago
Words are acts, as formalized in speech act theory. https://en.wikipedia.org/wiki/Speech_act
203.
by gobdovan 6mo ago
Now two popular articles argue about if cybersecurity can be seen as proof of work. Interestingly enough, I was thinking of writing an article about how cybersecurity (both access models and operational assumptions) can be modeled as a proo
204.
by gobdovan 6mo ago
Yes, the whole comment is tongue in cheek for pointless manual optimizations.
205.
by gobdovan 6mo ago
..and reliably generate it for decades, but you can still manually do it in C for bonus stylistic points!
206.
by gobdovan 6mo ago
The XOR trick is only cool in its undefined-behavior form: a^=b^=a^=b; Which allegedly saves you 0.5 seconds of typing in competitive programming competitions from 20 years ago and is known to work reliably (on MinGW under Windows XP). Bonu
207.
by gobdovan 6mo ago
Mandatory RealTalk/Dynamicland mention [0] [1] [0] https://www.youtube.com/watch?v=7wa3nm0qcfM [1] https://dynamicland.org/
208.
by gobdovan 6mo ago
Or it could simply be that you perceive your life as more happy and can find clearer goals when you exercise, eat healthier food and get good sleep, which is overwhelmingly the case and pretty obvious once you once you stop treating willpow
209.
by gobdovan 6mo ago
By the logic that today's news is fundamental to know as true, there really is no point in reading books older than 6 months old. If Einstein woke up from a coma, he'd be useless, as he doesn't even know who won the World Cup
210.
by gobdovan 6mo ago
Compilers are broad enough that when someone recommends a "compiler book", it's rarely exactly the slice you wanted. So this made me do a runnable cheat sheet for Crafting Interpreters. I keep parsing demonstrative, and the A

More ›