richard_shelton
Joined 9 years ago
Karma
151
Submissions
61
Member since
Apr 29
Also known as "true-grue" or Peter Sovietov.
View on Hacker NewsRecent submissions
Comment · 7 months ago
I am building educational 16-bit game console for low-cost FPGA chips.
Comment · 1 year ago
A microlibrary in 52 LOC.
Comment · 1 year ago
In some parallel world, Python is the perfect tool for language-oriented programming. Any decorated function is compiled by its own DSL compiler into the internal representation of the corresponding solver, and functions communicate with each other using rich Python data structures :)
Comment · 1 year ago
Or you can use Python AST + Z3 :) Here is a toy implementation:
https://github.com/true-grue/python-dsls/blob/main/datalog/d...
Comment · 1 year ago
It's funny how close it is to the title of my talk "Python already has a frontend for your compiler": https://github.com/true-grue/python-dsls
Comment · 2 years ago
I hope someone will write an article about Gary Kildall's achievements in theory of compilation. For us, compiler writers, he is a legendary figure.
Comment · 2 years ago
What I like about these notes is that a complex topic is described in a simple and very practical manner. By the way, a few years ago there was another project on creating a code generator using declarative constraint solving:
https://www.researchgate.net/profile/Peter-Sovietov/publicat...
Comment · 2 years ago
Here are more real-world, compiler-related examples: https://github.com/true-grue/python-dsls/blob/main/python_ds...
Comment · 4 years ago
By the way, there is a similar work to Unison project. Its basic idea is to automate the compiler backend generation with help of SMT solver.
The article: https://link.springer.com/epdf/10.1134/S0361768821070082?sha...
Comment · 5 years ago
Basically, yes, so I tried to make a simple implementation as possible. And I'm taking into account that students are already familiar with postfix notation and stack data structure. Of course, I use additional sources (like the popular Crafting Interpreters book) in the teaching process.
Comment · 5 years ago
If you are familiar with Forth, Postscript, or Joy you should have no problems with programming in Fortik :)
Still, the idea of Fortik is to encourage students to learn how simple interpreters work and to extend the language.