Viewing profile — russellsprouts

Very cool! I did something related in the past: https://github.com/RussellSprouts/6502-enumerator . It uses C++ templates to share an emulator implementation between z3-powered sym…

Related video showing animated lambda diagrams: https://m.youtube.com/watch?v=RcVA8Nj6HEo

This reminds me of Halide ( https://halide-lang.org/ ), which is a really interesting design in this direction. In Halide, you specify the algorithm at a high level, then specify t…

In Korean, sushi is 초밥 (cho-bap)

> To solve [forward branches], those bytecodes would push information about how the branch destination address shall be fixed up into a late-patch buffer. This reminds me of how Fo…

Just read through the documentation. There are so many great ideas for generating efficient code. `goto mode` in particular is an awesome idea. Generalizing the program to have mul…

You potentially get a problem for every '.' expression. In this code: import {Something} from './file'; console.log(Something.PROP); TypeScript doesn't know what to emit without ty…

const enums are one of the few cases where type information changes the emitted JS, something that's arguably a bigger problem than TypeScript-specific, but still just syntax sugar…

Yeah, it will biased towards the center of the range rather than uniformly distributed

Fair point, updated it along with some issues in the README

Hi, author here. I think the only difficulty in making this work without a disk is that most of the memory space will be read only once you finalize the ROM. I had to allocate sepa…

I downloaded the world to check -- the system does use zero-tick repeaters (dust cut type, I think) for a pause functionality, but for the channels, it actually reads slightly fast…

Looking at the world download, it's using powered rails and observer blocks as a solid state storage. There are only brief glimpses in the video, but here's what that looks like: h…

A version of that joke has been attributed to Mark Twain, though this source[0] says it was more probably M.J. Yilz, in this[1] 1971 letter to the Economist. [0]: http://grammar.cc…

It's in a very rough state, but I have been working on something similar. The idea is to build a superoptimizer by exhaustive enumeration of instruction sequences. In a first pass,…

I'd disagree -- but I think an important question is whether the goal is to create an industrial base that can make a chip with similar methods to the 1980s at scale, or whether th…

One of the criteria is that it has sufficient mass to reach hydrostatic equilibrium.

I can't remember the name, but there is a language with type-named parameters. It's an object-oriented language inspired by Java. It doesn't use "the" -- it's clear from context wh…

I have one, and my biggest issue with the UI was the pen settings not being retained, but they did fix that in the latest update. Apparently they made some changes to improve batte…

It is true that reversible computers can solve the issue of necessarily losing heat due to entropy decreases, but current computers are still far too inefficient for entropy loss t…

Um, it's been a while, but I think it fails that test -- the identity template is "$"

Haha, my Github has some projects of questionable usefulness, yeah. In that case, I was building a UI for an internal monitoring app at an internship. It had to make requests to lo…

Hey everyone. Didn't expect to see this here. I made this for my operating systems class a few years ago. Unfortunately I can't share the code because the rest of the OS is used as…

You might want to look into N64 emulators like Project64. They do something similar, though closer to emulation than remake. They allow you to render the 3D objects at a higher res…

> Along with the standard data, the original transaction also contains the message: 'The Times 03/Jan/2009 Chancellor on brink of second bailout for banks'[3]. Presumably this is a…