turing
printbf
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
turing
-
Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper
Hey all,
A while back I implemented Turing's "On Computable Numbers" paper [1], and decided that Schönfinkel's "On the Building Blocks of Mathematical Logic" would be a fun next one to try to implement.
Alongside the code I include a section-by-section guide to the paper. I apologize for any misreadings of the original text (of which there are probably many).
I'll probably continue to try to make guides/reference implementations for landmark CS papers, would love to hear what you think the most important ones are!
[1] https://github.com/planetlambert/turing
- Show HN: The first complete open source implementation of Turing's famous paper
printbf
-
Few lesser known tricks, quirks and features of C
Somewhat related to this, printf alone in a loop is Turing-complete, by using %-directives like that. It was introduced in “Control-Flow Bending: On the Effectiveness of Control-Flow Integrity” (Carlini, et al. 2015) and the authors have implemented Brainfuck and an obfuscated tic-tac-toe with it.
[0]: https://nebelwelt.net/publications/files/15SEC.pdf
[1]: https://github.com/HexHive/printbf
[2]: https://github.com/carlini/printf-tac-toe
-
Controling a Super-Intelligent AI is Impossible, Says Researchers
No shit, you can write a brainfuck interpretter in printf statements: https://github.com/HexHive/printbf
-
The International Obfuscated C Code Contest 2020 winners
https://github.com/HexHive/printbf
well this is a brainfuck interpreter inside printf. I’m pretty sure there are plenty of c-to-bf transpilers.
What are some alternatives?
mathlib4 - The math library of Lean 4
OWASP-Xenotix-XSS-Exploit-Framework - OWASP Xenotix XSS Exploit Framework is an advanced Cross Site Scripting (XSS) vulnerability detection and exploitation framework.
turbine - A poorly coded configurable Turing machine, made with Rust and splash of ❤️
printf-tac-toe - tic-tac-toe in a single call to printf
automata - A Python library for simulating finite automata, pushdown automata, and Turing machines
elvm - EsoLangVM Compiler Infrastructure