▲ | Show HN: Compile C to Not Gates(github.com) | |||||||||||||||||||||||||||||||||||||||||||||||||
82 points by tomhee 6 hours ago | 34 comments | ||||||||||||||||||||||||||||||||||||||||||||||||||
Hi! I've been working on the flipjump project, a programming language with 1 opcode: flip (invert) a bit, then jump (unconditionally). So a bit-flip followed by more bit-flips. It's effectively a bunch of NOT gates. This language, as poor as it sounds, is RICH. Today I completed my compiler from C to FlipJump. It takes C files, and compiles them into flipjump. I finished testing it all today, and it works! My key interest in this project is to stretch what we know of computing and to prove that anything can be done even with minimal power. I appreciate you reading my announcement, and be happy to answer questions. More links: - The flipjump language: https://github.com/tomhea/flip-jump https://esolangs.org/wiki/FlipJump - c2fj python package https://pypi.org/project/c2fj/ | ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | bangaladore 6 hours ago | parent | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
Reminds me of movfuscator [1]. This can compile programs to movs and only movs. | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | tromp 5 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
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? | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | tonetegeatinst 2 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | tomhee 6 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
There is also a brainfuck to flipjump compiler: https://github.com/tomhea/bf2fj | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | jkrshnmenon 4 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
I wonder if someone has already made a Reverse Engineering CTF challenge for this concept. | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | pizza 3 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | dlcarrier 5 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | tomhee 5 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
By the way, as a challenge, try how you can program an "If" statement in Flipjump. | ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | platz 5 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
How is a jump realized by Not Gates? | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | jumploops 4 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
AND, OR, NOT - pick 2 | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | artemonster 4 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
Id appreciate more explanations from the power of combined bitflip & goto | ||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||
▲ | dang 6 hours ago | parent | prev [-] | |||||||||||||||||||||||||||||||||||||||||||||||||
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! | ||||||||||||||||||||||||||||||||||||||||||||||||||
|