Viewing profile — jix

"In doing that they usually jump to the most uncharitable, horrible reasons they can imagine for why we might have done so." So you do understand why one wouldn't want to deal with…

The paper where they introduce subsumption is "Michael Codish, Luís Cruz-Filipe, Michael Frank, and Peter Schneider-Kamp. 2016. Sorting nine inputs requires twenty-five comparisons…

Those are interesting questions! For example generating and looking at all networks of optimal size which have distinct circuits (assuming unlabeled inputs, so that rearranging tho…

I replied to your other comment :)

Interesting :) Codish et al. have a background in SAT solving, which is somewhat related to logic programming. In SAT solving subsumption of clauses usually doesn't involve any sub…

Computing s(11) and s(12) together took just below 5 hours on a 24 core server, but it also required almost 200 GB of RAM. Verifying the computation took about 3 days in total on t…

Author here, in case anyone has questions

I haven't read everything, but it does contain a section about something I'm quite familiar with: The article says "We compute the hashcode of the entire graph by hashing the multi…

That's just defining the term. AFAICT the law only says that an employee has a right to receive fair compensation for a technical improvement in some cases. It explicitly says that…

For this project I don't really have to say much about the rust side of it. There were no surprises. The only thing special I can think of is the excellent cross-compiling support.…

I've never had a Mega Drive before working on this, so I wasn't really familiar with a lot of its games. I took a quick look at F1 just now though. The way it makes use of the name…

Thanks for writing this. I didn't really expect that much attention, so I kind of assumed most people reading it are at least somewhat familiar with the graphics hardware of that a…

There weren't really any dead ends. Mostly because I started with a very simple naive way to draw polygons and improved it incrementally. I didn't implement all those steps, but co…

For the Mega Drive/Genesis the framerate depends on the region, matching the local video standard. The European Mega Drive uses PAL with 50Hz. As the biggest part (but not all) of …

Author here, happy to answer any questions you might have.

No. Apart from the mapper chip used to address 8MB of ROM this demo requires no additional chips on the cartridge. Everything is done by the 68k CPU (running the effects) and the z…

Not all everdrive flash carts support the mapper/rom size our demo uses (the SSF2 mapper with an 8MB rom). The included nfo file lists some supported flash carts.

I'm one of the coders who worked on the Overdrive 2 demo (although not on the reverse engineering that resulted in this document). We're going to release more follow-ups about the …

It does. It supports mingw on windows as well as cross-compiling from linux using cargo (rust's package manager and build tool). Installing mingw-w64 from my distribution's package…