nyrikki

16 ms·

181.
by nyrikki 1y ago
SO(3) contains all of the orthogonal 3x3 matrices of determinant 1. If you are dealing with rigid bodies rotated though the origin like with the product of linear translations you can avoid the problem. At least with an orthonormal basis R^
182.
by nyrikki 1y ago
> You can do rotation with a 3x3 matrix. You can do a rotation or some rotations but SO(3) is not simply connected. It mostly works for rigid bodies centered on the origin, but gimbal lock or Dirac's Plate Trick are good counter
183.
by nyrikki 1y ago
the set of all matrices of a fixed size are a vector space because matrix addition and scalar multiplication are well-defined and follow all vector space axioms. But be careful of the map–territory relation. If you can find a model that is
184.
by nyrikki 1y ago
That is because typing in this case is converting a semantic (run time) property into a trivial property (T/F). It is just making a trade off that is often a reasonable pragmatic default, but if taken as an absolute truth, can lead to
185.
by nyrikki 1y ago
That is a bit of a simplification, many users found value in wysiwyg, there was an aborted low-code visual programming movement. Microsoft drank early OOP koolaid and thus powershell suffered from problems that were well covered by the time
186.
by nyrikki 1y ago
I can't answer on the acidic water question but as someone at 7000 ft; I have been told that ~3000 ft is when you need to make adjustments in some foods. Even at ~15F / ~7C lower it only takes a few min more for pasta for me usual
187.
by nyrikki 1y ago
There are multiple schools to TDD, sounds like you were exposed to the kind that aims for coverage vs domain behavior. Like any framework they all have costs,benefits, and places they work and others that they don’t. Unless taking time to f
188.
by nyrikki 1y ago
A formalized form of this is the red-green-refactor pattern common in TDD. Self created or formalized methods work, but they have to have habits or practices in place that prevent disengagement and complacency. With LLMs there is the proble
189.
by nyrikki 1y ago
Dell also had this problem, you still needed to provide a password, it simply didn’t check the password.
190.
by nyrikki 1y ago
Here is John Backus' original paper[0], which is an easy read, but note what he calls functional programming_ has nothing to do with lambda calculus, Haskel etc... it is the APL family. He is absolutely one of IBM's historical roc
191.
by nyrikki 1y ago
You are correct I should have specified pico2 That said AVH-lite is called lite because it is a simplified form of the arm norm. The RP2350 can issue one fetch and one load/store per cycle, and that is that almost everything called a C
192.
by nyrikki 1y ago
Nit, ARM processors primarily use a modified Harvard architecture, including the raspberry pi pico.
193.
by nyrikki 1y ago
Trying to be helpful here, sorry if it doesn’t map to your field of which I am not familiar. The _algebra_ you learn in school is elementary algebra, using variables. In modern math, _algebra_ or _modern_ algebra or _abstract_algebra, is th
194.
by nyrikki 1y ago
> Larger models (e.g., Opus 4.1) often fail on semantic or algorithmic correctness in large, multi-file edits, whereas smaller models (e.g., Qwen 3 32B) more frequently fail due to issues in syntax and formatting, tool use, or context ma
195.
by nyrikki 1y ago
But not on vmware, just zen and/or kvm with various management front ends. VMware has always been a PITA, even in the late 2000's, we pivoted and bought several thousand physical machines for a new datacenter after they started to
196.
by nyrikki 1y ago
Any non-trivial property on CA is undecidable in any dimensions, IIRC you resort to Medvedev reducibility, oracles, etc... pretty quick with them. IMHO this is semi interesting because having ANNs predict the outcome of deterministic dynami
197.
by nyrikki 1y ago
The map-territory relation is possibly a better fit? More specifically how Alfred Korzybski put it: "The map is not the territory". The map will never be the territory, and we are just looking for better maps.
198.
by nyrikki 1y ago
A) Hinton is quite vocal about desiring to be an outsider/outlier as he says it is what lets him innovate . B) He is also famous for his Doomerism, which often depends on machines doing "reasoning". So...it's complicate
199.
by nyrikki 1y ago
It was common to set up your own CA at one point, especially when DNS management was more manual, However it presented a huge attack surface and was challenging to manage. A compromised private CA can lead to widespread breaches, affecting
200.
by nyrikki 1y ago
Even more connections, the UPs Big Boy was designed to replace double header or helper engines to reduce labor costs because they were using the cheapest bismuth coal. It wasn't until after WWII when coal and labor costs and the develo
201.
by nyrikki 1y ago
Funny I fought for a good 5 min trying to convert everything to semantic on my phone, and finally gave up, figuring it also proved I wasn't a bot :) I have fixed it now. But yes: semantic, run-time, extensional, etc... from Rice&#x2F
202.
by nyrikki 1y ago
Topos theory can be added to type theory to provide a categorical semantics. But even with Grothendieck topology (total and co-total categories) requires sets with least upper bound (join) and a greatest lower bound (meet). The problem is
203.
by nyrikki 1y ago
Even with compute performance it is probably closer than you expect. Python isn't evaluated line-by-line, even in micropython, which is about the only common implementation that doesn't work in the same way. Cython VM will produce
204.
by nyrikki 1y ago
The 200-100 times slower is a bit cherry picked, but use case does matter. Typically from a user perspective, the initial starting time is either manageable or imperceptible in the cases of long running services, although there are other co
205.
by nyrikki 1y ago
Ceph RBD can technically support multi-writer access through exclusive locking, but it won't be the same as multi-writer. You can set up a radosgw outside of the proxmox and use objects. But ceph is fundamentally a distributed object s
206.
by nyrikki 1y ago
I may be old. But use to use the pure Lisp Chatlin included in C with his papers to learn languages a few times. Not as complete as this version of the language, but apparently ~300 lines of even REXX was enough although I never tried REX
207.
by nyrikki 1y ago
I usually ignore ad hominem attacks but I am trying to convey a kindness here. Who do you think is going to be successful, those who realize the limitations and strength of a system and leverage them, or those who are complacent, with a unw
208.
by nyrikki 1y ago
IIRC that isn't possible under current models at least in general, for multiple reasons, including attention cannot attend to future tokens, the fact that they are existential logic, that they are really NLP and not NLU, etc... Even pr
209.
by nyrikki 1y ago
RK35XX only worked well because volunteer maintainers like Joshua Riek were doing hard work, the support of those boards falls when people like him burn out. For me personally, much of the value of the RPI products is knowing they will have
210.
by nyrikki 1y ago
One thing that may help is to drop the typing for generic words or pidgin holes, that will help with the FORTRAN example. The IBM 704 had 3 index registers, which could be combined together with a bitwise OR, then was subtracted from a ba

More ›