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 actual boat. All of the games I found online were far too realistic, this was exactly what I was looking for. It's already close enough, you could certainly have an "educational" mode with a little bit more jargon. Some easier ramp-up to the game would be nice (thinking a tutorial to get used to the sail controls, or maybe a mode where the sails get automatically pivoted). Overall this is great!

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 :)

Also worth pointing out that Alex Wei is himself a gold medalist at IOI.

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 attributes could help someone avoid it before they come across them while playing it (similar to how people approach content ratings and trigger warnings), but I don't think it makes sense to rank games based on that. I don't care to know what is the game with the fewest dark patterns, I care to know what is the best game that doesn't have that many (or particular ones that affect me). It looks like the data is there, so this is likely just an improvement on the presentation side. They seem to have coverage of around 50000* games which is very impressive, so perhaps at this point they should spend some time to make that data actually accessible.

I would personally recommend https://nobsgames.stavros.io/ for similar purposes, even though it has a much smaller collection as it seems better curated and way easier on the eyes.

*Edit: Scratch that, it looks like games after page 9 don't have ratings so it's more like 300 games total with a couple of reviews each.

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 as potentially driving away religious clients.

I'm not sure I totally buy it, but at least that's their rationale, and it sounds fairly reasonable to a certain degree. Therapists might not want to advertise that they take a secular approach if they believe it might drive away potential customers. Though I'm not exactly sure why it would drive away potential customers -- isn't the point that they get recommended to by ministries because they are good therapists regardless of their faith? If they do not push spirituality onto their customers, and ministries still recommend them, would those ministries stop recommending them if they found out that they advertise that they don't push spirituality (i.e. the actual approach they take with patients)?

I have to say though that some parts of this feel a bit strange. The registration page has an (optional) question asking "What, if any, is your former religion?". Like, wouldn't it be reasonable for a currently religious person to seek out a secular therapist? Sure, this doesn't exclude religious people in any shape or form, but at the very least it feels a bit leading as a question, almost as if being an atheist is expected of the patient. Full disclosure, I consider myself to be vaguely religious, so I might be looking at this from a tinted lens, but I would also prefer a secular therapist to one that matches my beliefs.

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 nice to see, and hopefully a more eager maintainer.

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 searches I can find the answer on Wikipedia or Stack Overflow, removing the need for a general search engine such as DuckDuckGo or Google, and thus hopefully avoiding blogspam and tracking to some extent. Extraction works through XPath, and I am trying to make it easier to add new engines without looking at the HTML.

Unfortunately, it currently looks terrible, and so far has received one 1-star review, which is not doing much to help my motivation.

It's on the Firefox add-on store (https://addons.mozilla.org/en-US/firefox/addon/metasearch). I plan to add the code on Github once I refactor it some more and add support for Chrome.

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 question more convincingly :)

I'm glad I misread anyway because the video was very impressive!

[1] https://www.reddit.com/r/Showerthoughts/comments/e0omqn/duri...

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 could sync the transactions when they get back online, but this seems messy.

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. Why do I care what a for-loop is if I can't see how it is even helpful? Many tutorials have examples when teaching, but I believe that the problem should come first, and act as the glue between the basic ideas that will be introduced. Then, the mentor's most important role is to guide the student through best practices, such as style and performance.

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 wasn't mapped to a single note, so we wouldn't hear it so often). I'm sure that you can't get much faster, but I'd like to see how good one can get after some more practice.

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]. Unfortunately there isn't a well-written source that explains the methods well. There are multiple ways to do things, and I had trouble finding elegant solutions to practical problems.

[0] https://crypto.stanford.edu/~blynn/haskell/ga.html

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 of priorities? The result is certainly impressive, but it seems like a small modification to an otherwise known structure.

[1]: See here http://e-maxx.ru/algo/treap for an old reference of this structure. Google translate does a decent job with it, and the code is readable without translation.

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 source for that) due to the fact that Google is comprised of a lot of different people, and [1], which is a fairly recent announcement that has made some people uncomfortable.

[0] https://news.ycombinator.com/item?id=17202179

[1] https://news.ycombinator.com/item?id=17660872

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 the Bill & Melinda Gates Foundation in order to facilitate communication and discussion about the malaria-spreading insects. Even though I don't completely agree with the importance of emoji in modern communication, apparently a lot of people (especially some of those who vote on the Unicode Standard Consortium) do.

If you were to accept that emoji are an important part of modern communication, would you not agree that censoring certain images is akin to censoring words? Then, the reference to "The Unbearable Lightness of Being" is very apt.

I didn't get the impression that the article was suggesting that the people who vote in the Consortium have any sort of nefarious intensions -- and I don't think that there is much to be gained by a fascist government by censoring the word "shit". The decision to do stems from personal taste, prudence, or social pressure. It is not the intention behind it that we should be afraid of, but the power of some organizations to form our means of communication, independent on how "good" they are, as there are many unpredictable factors that can shape their decisions.

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 affected.

Ah, so it does meet their performance criteria after all. The elusive double negative.

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 on the other hand are printers that mark dots on the paper using a needle, so no ink is applied.

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.

Well there's SailfishOs, which just got officially ported to Xperia X. I own a Jolla phone, which was the first to run this OS. It is open source, and I have to say quite hackable, even though I haven't tried to make any apps. Something that I find pretty cool is the fact that you can ssh into it if you enable developer mode, and you basically have a linux machine. The downsides are that the company is no longer making phones, and that there are not that many native apps for it. The upside is that it supports android 4.1.2 apps, so you are going to be covered for the most part.

Tangentially relevant, I made a pam authentication module for Linux a while ago, that addresses this issue. It allows for the creation of duress passwords. Here is the repository: https://github.com/rafket/pam_duress

This looks great, but I think that it would be even better if there was some way of bootstrapping it to existing libraries, say for example keras. I don't know how easy this would be, but I believe that it would definitely be very useful. Even without this capability, it looks like a great learning tool!