Viewing profile — rafael859

I just started learning how to sail, and while trying to memorize all the new terminology I was wishing for an interactive way to play out the basic processes short of being on an …

Interesting that the proofs seem to use a limited vocabulary: https://github.com/aw31/openai-imo-2025-proofs/blob/main/pro... Why waste time say lot word when few word do trick :) …

This feels like a sort of granular MPAA/content rating but instead of movies it is for mobile games. Of course that is very valuable, and knowing that a particular game has certain…

> Secular therapists often don't advertise that they are humanist or atheist because that might alienate the churches and ministers who frequently make referrals to them, as well a…

Nice, pretty cool stuff. In high-school I worked on something similar ( https://github.com/rafket/pam_duress ), though this seems to have a somewhat cleaner implementation which is…

Your wish is my command: https://github.com/rafket/metasearch

I am working on a Firefox extension for search aggregation. It currently works with DuckDuckGo, Wikipedia, Stack Overflow, Reddit, and others. The idea is that for 80% of my search…

I originally read Thermomechanical as Thermonuclear, and thought that this was related to the recent r/ShowerThoughts post [1]. I guess we could use this simulation to answer that …

I don't really get how this works. Since it is completely offline, what's stopping someone from paying some amount, but not subtracting it from their account? I guess each party co…

What prior knowledge does your student have? In my experience, what helped me the most when starting to learn how to code was having a motivating problem that I wanted to solve. Wh…

I was surprised by how fast he was able to type, and despite the fact that it seemed like a terrible/funny idea in the beginning, the end result sounded interesting (if only space …

I've played around a bit with geometric algebra in the past year, and I have to say that by far the best resource (albeit a bit short) was Ben Lynn's implementation in Haskell [0].…

Correct me if I'm wrong, but isn't this the "standard" [1] treap with split/merge (which is somewhat acknowledged in the footnote of page 8), simply with a different distribution o…

I agree with your argument, but I don't think that people are calling Google evil because they retired some products. See [0], which was resolved (I think, though I can't find a so…

Unrelated, but I think that this short phrase is a very good summary of Kantian ethics :)

I think that the article makes a pretty good point that emoji are increasingly important in communication -- referencing the suggestion of the mosquito emoji that was supported by …

> Slow Resume from Suspend > This system does not not meet our performance criteria for resuming from suspend, but suspend/resume is functional and other functionality is not affec…

I would like to store short plain-text documents that are readable as text (without being converted to anything else). I am familiar with LaTeX and Markdown, but I consider the for…

The future. Seriously though, I can't find any information for that online. The first Google result is Impact Wholesale, which redirects to some very invasive ads. Impact printers …

Here's the webarchive mirror https://web.archive.org/web/20180310014632/https://ubuntubud... since it seems to be down at the moment (as well as an hour ago when I last checked).

Tom Murphy did the same thing yesterday (on the same part of the text no less), but he got five instead of four! [1] [1] https://twitter.com/tom7/status/967568358861430785

Heh, I find these more interesting than the successful ones.

Can you elaborate? I am not very familiar with arithmetic coding, but I thought it required arbitrary precision floating point numbers, so not O(1) memory.

I don't think that you should leave your parse.txt there. Looks like personal data.