Viewing profile — boxfire

This is not bidirectional. The Davis-Putnam-Robinson-Matiyasevich theorem shows we can make a Diophantine equation that acts as a universal Turing machine, but there’s Diophantine …

It actually took only 9 months to work around, and the new method is actually quite effective. After fixing some early bugs it’s as effective as the original drill technique.

Mars 2020 has a microphone. You can probably find audio out there but here’s some: https://science.nasa.gov/mission/mars-2020-perseverance/soun...

So yeah topological sorting is one element, but that global stack is a data race! You need to test set inclusion AND insert into it in an ordered way. Global mutex is gross. To do …

Very cool! Just wanna point out that Mirror + Rotate is really just 3 different mirrors. Of course it may be more interesting to try to characterize the visual domains in terms of …

I am a huge fan of the work towards putting this in kanren as λKanren: https://www.proquest.com/openview/2a5f2e00e8df7ea3f1fd3e8619... A few of my own experiments in this time with…

It’s also funny because it’s a small, incomplete, incompatible subset of c++… seems like a perfect LLVM / clang rewriter case too, it would be easy to convert and be pure c++. Hell…

It’s exactly the same to try to use pixel buds on an Apple phone too. I don’t blame Apple or Google so much as the ridiculous pissing matches of a society that refuses to find ways…

No one is really mentioning this article in from a highschooler. Awesome job! I'm happy to read this today and really hope she will continue to see such inspiring stories and maybe…

Is there any succinct publication of his observations?

That's the only part I care about dang. I still use WSL1 and have done a number of interesting hacks to cross the ABI and tunnel windows into "Linux" userspace and I'd like to make…

Definitely out of date, e.g. the 3SUM subquadratic conjecture (probably 11) has been solved and improved on [1]. If it's not been already there's immediate application, e.g. proble…

There's a book that's explicitly about this, "Program = Proof", and though it's not beginner and needs maybe a light version for earlier learners, is an excellent example.

My story: it's a joke to be a grad student. Salary in 2012: $10,800 per year without housing.

Nice! Glad to see. Huge quality of life improvement

I've really had a pet peeve about footnotes on mobile and this does the crime. If you click a footnote and it jumps very far away and doesn't have a return navigation, I have left …

Elliott Conal has to covered there: http://conal.net/papers/convolution/

I liked the way Pearl phrased it originally. A calculus of anti-correlations implies causation. That makes the nature of the analysis clear and doesn't set of the classic minds ala…

Yeah I work in an FFRDC, pushing the frontier of our exploration of space. I'm quite passionate both about the employer and (most of the time) my work. If I didn't care about my em…

and probably no where to hide if you want to just rest and vest. "Rest and vest". What a luxury. Some of us are trying to tread water with an anvil chained to the waist. That's wha…

I think one of the reasons I have that example is that specific dynamic is cited in most planetary science texts as "de-coupled", "invariant", etc etc, when in fact it's the major …

The Mars global dust storm is caused by coupling of angular momentum of the (solar) system, a global a effect. The Mars system itself down to the dust does not create sufficient co…

The idea of computing as the shared stage to reflect our own intelligence is really what sticks out to me as the best way to frame what interacting with a computer means. It's not …

You can run a friggin full 32 bit lisp on the untyped lambda calculus! https://woodrush.github.io/blog/lambdalisp.html

As someone who knows not enough people care about the math, please ignore this advise and actually learn the math. You might come up with a better representation in the process. In…