markisus

21 ms·

301.
by markisus 4y ago
Is it even theoretically possible to waveguide gravity? The electric field can be positive and negative, but gravity is unsigned -- there is no anti-gravity. This is probably related to what you're saying about faraday cages.
302.
by markisus 4y ago
I wonder if the artist is an example of a "10x programmer" in this particular niche, even just for the fact that only a small percentage of programmers has this level of artistic fluency.
303.
by markisus 4y ago
I think there is a project quite similar to this one called Verifiable Software Toolchain (VST) in which you can write a C program, convert it into a massive Coq expression, and then write theorems about that expression in Coq. The Software
304.
by markisus 5y ago
Eigen is really nice for getting code that looks like the underlying math and it also optimizes away unnecessary temporaries by using template expressions. However, when you mess up, you get a screen full of template errors that take some e
305.
by markisus 5y ago
Multiple other users confirmed the results and that one answer's author never followed up.
306.
by markisus 5y ago
Can confirm the poor performance on small matrices (less than 20x20). This is a problem particularly for robotics applications when your entities are positions, velocities, etc. https://stackoverflow.com/questions/58071
307.
by markisus 5y ago
The author describes a process called "ontological remodeling", which is when a change in viewpoint radically simplifies a previously intractable problem. This is the story, not just of Sudoku, but all of mathematics.
308.
Show HN: Hacking C++ to support Structure of Arrays(github.com)
7 points by markisus 5y ago|1 comments
309.
by markisus 5y ago
See the demo page for example applications of inside out tracking and virtual metrology. https://github.com/markisus/pytagmapper/blob/main/DEMO.md
310.
Show HN: Pytagmapper – python3 SLAM library for square fiducial tags(github.com)
2 points by markisus 5y ago|1 comments
311.
by markisus 6y ago
The projection viewpoint for a rotation matrix using dot products is totally valid, but I think the column viewpoint is more intuitive. A 3x3 matrix can be viewed as something that acts on the standard unit basis vectors. The action on the
312.
The Multivariate Gaussian for Programmers(biro.ai)
3 points by markisus 6y ago|0 comments
313.
by markisus 6y ago
I really like the animations and graphs. Anyone know what library if any was used for those?
314.
by markisus 6y ago
Source: https://github.com/markisus/aces.io
315.
Show HN: Host a poker game for friends with one click(aces.io)
2 points by markisus 6y ago|2 comments
316.
by markisus 6y ago
Spawn a room by visiting http://www.aces.io/your-room-name Features: open source, no registration, anyone with the link can join, fake money, copy/pastable auto-updating ledger
317.
Is Eigen slow at multiplying small matrices?(stackoverflow.com)
1 points by markisus 6y ago|0 comments
318.
We Learned the Wrong Way to Matrix Multiply(blog.biro.ai)
2 points by markisus 6y ago|0 comments
319.
by markisus 6y ago
If anyone wants to play around with the geometric algebra over R^3 in C++, I wrote a little library a while back which handles vectors (3d), quaternions (4d), bivectors (3d, quaternions without the scalar part), multivectors (8d) https:&#x
320.
by markisus 7y ago
Maybe an example will help me understand. Let's say I wanted to have the leading digits 921, and I start with a guess of X=5. What do I do now?
321.
by markisus 7y ago
Okay I think I buy it. Great proof, thanks!
322.
by markisus 7y ago
I'm not sure you only need that many steps. As you start out, each step gives you a lot of distance. But log gets flatter and flatter the more steps you take. If you knew the number of steps, I think you could only make a lower bound o
323.
by markisus 7y ago
What does "multiplying by N" mean? Like if my current guess is X! and that doesn't work, I should try (N*M)! ? What does "increase by at least 0.5" mean? If my leading digits are 999, how do you increase them at all
324.
by markisus 7y ago
The approximation holds only for b << 10^k. Then you don't get to take O(10^k) steps to work you way around the unit interval, do you? After the approximation breaks down, you don't know that the spacing is approximately uni
325.
by markisus 7y ago
I'm also not getting your proof. What does it mean every time you hit a power of 10? The sequence n! does not hit powers of 10 since all terms of the sequence after n=3 are at least divisible by 3. I agree though, density in (0,1) of t
326.
by markisus 7y ago
How do you know these prices? I generally find these companies do not publish them on their websites
327.
by markisus 7y ago
And it can get even worse because your adversary can choose A and B as close together as they want.
328.
by markisus 7y ago
I think I drew a picture that could explain the effect. In the picture, player 2's lower number is A, and their higher number is B. https://imgur.com/a/DKCtH81/ Red is the region where you lose, and Green is
329.
by markisus 8y ago
I was able to find this page through Google search: https://chronicdata.cdc.gov/Behavioral-Risk-Factors/Behavior... and I found the survey question by searching with the filter Question > contains > "firearm
330.
by markisus 8y ago
I wonder what the author means when he says the CDC did not report their results? In the final paragraph he says, "Regardless of how the decision was made, it was a disservice to the American people, who paid for the survey and the inf

More ›