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 symbolic execution and actual execution. It…
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 the "schedule" (execution order,…
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 Forth `if` and `then` can be compiled in…
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 multiple "entry" points and overlapping…
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 type information. If Something is a…
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, syntax highlighted in the article.…
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 separate RAM addresses for variables. In…
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 faster than the music plays to compensate…
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: https://imgur.com/a/AkOAzgF The 14…
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.ccc.commnet.edu/grammar/twain.htm [1]:…
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, each sequence is executed on some test…
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 they just need to create a single chip as…
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 whether something is a type name or…
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 battery life as well.
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 to be a concern.
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 lots of internal API and couldn't really…
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 assignments for the class, but it was…
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 resolution and replace the textures with…
> 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 political commentary on Bitcoin…
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 symbolic execution and actual execution. It…
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 the "schedule" (execution order,…
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 Forth `if` and `then` can be compiled in…
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 multiple "entry" points and overlapping…
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 type information. If Something is a…
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, syntax highlighted in the article.…
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 separate RAM addresses for variables. In…
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 faster than the music plays to compensate…
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: https://imgur.com/a/AkOAzgF The 14…
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.ccc.commnet.edu/grammar/twain.htm [1]:…
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, each sequence is executed on some test…
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 they just need to create a single chip as…
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 whether something is a type name or…
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 battery life as well.
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 to be a concern.
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 lots of internal API and couldn't really…
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 assignments for the class, but it was…
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 resolution and replace the textures with…
> 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 political commentary on Bitcoin…