Show HN: Compile C to Not Gates

tomhee | 145 points

Reminds me of movfuscator [1]. This can compile programs to movs and only movs.

[1] https://github.com/Battelle/movfuscator

bangaladore | 6 months ago

Am I right in deducing that this language gets its power from self-modifying code? I.e. flipping bits within addresses of the opcodes of the running program?

tromp | 6 months ago

There is also a brainfuck to flipjump compiler: https://github.com/tomhea/bf2fj

tomhee | 6 months ago

By the way, as a challenge, try how you can program an "If" statement in Flipjump.

tomhee | 6 months ago

Ah interesting.. wonder if you can model this with a recursively expanded algebraic expression. I've been thinking lately along similar lines about polynomials that encode pushdown automata, so this is cool to see.

pizza | 6 months ago

Wouldn't it be better to call it "compile C to Linux or BSD"?

I kid, I kid.

Firehawke | 6 months ago

It always amazes me that this is possible (to some extend anyway, I mean, the base layer is binary so obviously simpler higher-end CPU instructions are possible!)

Is there any potential performance win in this? What I mean is; since this general direction could, in principle if not in practise, enable the targeting of say, the 5-10 most efficient CPU instructions rather than attempting to use the whole surface area... would this potentially be a win?

dingdingdang | 6 months ago

I was expecting to see a way to translate hello_world.c into an electronic schematic full of NAND elements, kind of Mealy machine.

eimrine | 6 months ago

Looking forward to the poor security researcher who gets to reverse engineer some malware sample they compiles this into for obfuscation... Its going to be an interesting blog post.

tonetegeatinst | 6 months ago

I wonder if someone has already made a Reverse Engineering CTF challenge for this concept.

jkrshnmenon | 6 months ago

Maxim (now owned by Analog) actually manufactures a single-instruction processor series, called MAXQ. It uses a single move instruction, with a flag for literals, and a transport triggered architecture.

dlcarrier | 6 months ago

Is the family of circuits using just NOT gates actually universal? Or is "flip" and "jump" secretly using a lot of other gates.

jvanderbot | 6 months ago

hey this could actually be pretty nice if we can convert flipjump into sqlite native instructions like how it is possible for brainfuck , then you are on to something huge!

You would create although highly inefficient , after many years , maybe the first , language like those lisps where you could store data in sqlite and run it fromt there (but with C)

Imustaskforhelp | 6 months ago

Did I miss something? I thought NAND was you're 'universal gate' ?

Nevermnd | 6 months ago

Id appreciate more explanations from the power of combined bitflip & goto

artemonster | 6 months ago
[deleted]
| 6 months ago

How is a jump realized by Not Gates?

platz | 6 months ago

AND, OR, NOT - pick 2

jumploops | 6 months ago

Looks like we banned you and this domain because of the egregious vote manipulation and bogus comments at https://news.ycombinator.com/item?id=34856792.

That was a long time ago, though, and the project is interesting enough, so I'm going to assume you've learned your lesson and unban you. Please stop using multiple accounts for this though!

dang | 6 months ago

[dead]

jpcookie | 6 months ago

[flagged]

kuringganteng | 6 months ago