1,380 karma · joined March 10, 2014
We should try to be charitable (but with a healthy amount of skepticism!); it's possible they meant "Even a child [with a good understanding of Litex] could [mechanically] formalize this multivariate equation in Litex in 2 minutes [as opposed to remembering and writing Lean 4 syntax]"
- Accounting system used for real life taxation in my self-employment: https://gist.github.com/lf94/fcdf41776e14fcc289bac652ea8cb4f...
- Software shader rasterizer for image generation: https://gist.github.com/lf94/f74c927e59b4010d9de001fa2ba8791...
- PS4 controller macro system via an RP2040 & ZeptoForth: https://youtu.be/exayMSQfyqk, https://gist.github.com/lf94/2d64917728594516dee6caf7667d2e4...
- Iambic paddle tap interpreter for morse code practice (once again running RP2040 & ZeptoForth): https://gist.github.com/lf94/95516fa39c3339b685e0fde10f17c97...
- Fixed-point number library to run computations on pretty much any CPU in existence: https://gist.github.com/lf94/ca622ebac14d48915ea976f665f832c...
- 1-bit music synthesis experiments to learn how to make music with a beeper (useful in products, such as Tile): https://www.youtube.com/watch?v=IjTihhFG03o, https://www.youtube.com/watch?v=_6f8PURcPEE
And that's all in my rare spare time.
Forth really shines in microcontroller or esoteric computation machines, but further more, people don't realize their C compilers are billions of dollars of development, and they'd never be able to do it in the first place. A Forth on the other hand can be developed in a month (I'm being honest-to-god realistic here. A lot of people would say "a weekend", but let's be real, anything useful will be more than a weekend. I'm trying to convince you this isn't bullshit :)).
If you have any more questions let me know. I was bit by Forth about 2 years ago but had read about it long ago when I was like 16 and passed it off as too hard. It's the same shit as when FP took off: it's a different mental model, so it will take time to morph your mind.
Edit: read the larger comment below, and they are totally correct:
> most Forth tutorials today are written by people who don't really know Forth
One day I might write a small Forth novella teaching how to actually think about Forth programs. In these 2 years I've had to just practice and write programs to see common patterns or idioms - kind of exactly like when I was learning Haskell years ago.
edit: looks like they fixed it
Just like OpenSCAD, ZDS offers a code CAD experience if you like. It's a hybrid between the two worlds of traditional CAD and code CAD.
Unlike OpenSCAD, you can have real typed code. You can specify real dimensions. That's not a thing in OpenSCAD.
Unlike OpenSCAD, ZDS generates STEP files with BREP geometry. OpenSCAD outputs meshes only.
I'm a huge OpenSCAD lover, but to dismiss this so fast is a bit disingenuous :)
MCP is REALLY taking off FAST D:
We could use emulators to stitch together code from binaries compiled for particular CPUs.
Probably 0.0001 Far-crys. My best guess!
Ben Eater? What're they eating? :D
Chuck Moore's GA144 requires a fabrication factory to create. My4th doesn't! How's that for a comparison?
I have 3 remaining My4th Lights I'm looking to sell, and given how niche this space is, I figured I'd try here on the business-tech focused YCombinator. I've sold one to a very happy customer.
I finally got the time to write up a proper little sales page:
Millions. Let that sink in.