←back to thread

Ask HN: What cool skill or project interests you, but feels out of reach?

124 points akktor | 1 comments | 09 Jun 25 12:41 UTC | HN request time: 0.207s | source

This question's for all those cool projects or skills you're secretly fascinated by, but haven't quite jumped into. Maybe you feel like you just don't have the right "brain" for it, or you're not smart enough to figure it out, or even worse, you simply have no clue how or where to even start.

The idea here is to shine a light on these hidden interests and the little (or big!) mental blocks that come with them. If you're already rocking in those specific areas – or you've been there and figured out how to get past similar hurdles – please chime in! Share some helpful resources, dish out general advice, or just give a nudge of encouragement on how to take that intimidating first step.

Let's help each other get unstuck!

Show context
clx75 ◴[11 Jun 25 12:55 UTC] No.44247114[source]▶
I am fascinated by the idea of building something like the Lisp Machines or Smalltalk 80 from scratch. Build a Forth in assembly, build a Lisp in Forth, build an OS and computing environment in Lisp. AOT-compile only the Forth interpreter, load and compile the rest from source during system boot, maybe with later stages optimizing the previous stages as the system is assembling itself.

I imagine two languages - Langsam and Schnell - intertwined in some sort of yin-yang fashion. Langsam is slow, dynamic, interpreted, Schnell is fast, static, compiled. Both would be LISPs. Schnell would be implemented as a library in Langsam. If you said (define (add x y) (+ x y)) in Langsam, you would get a Langsam function. If you said (s:define (add (x int) (y int)) (+ x y)) in Langsam, you would get a Langsam function which is a wrapper over a JIT-compiled Schnell function. If you invoke it, the wrapper takes care of the FFI, execution happens at C speed. Most of the complexity typical of a low-level compiled language could be moved into Langsam. I could have sophisticated type systems and C++ template like code generation implemented in a comfortable high level language.

This latter part I managed to partially implement in Clojure and it works (via LLVM), it would be just too much effort to get it completed.

replies(3): >>44248144 #>>44249211 #>>44258022 #
1. vdupras ◴[11 Jun 25 14:41 UTC] No.44248144[source]▶
> Build a Forth in assembly, build a Lisp in Forth

You might already know it, but Dusk OS[1], which is a Forth, has a Lisp implementation[2] which includes a native code compiler for i386, amd64, arm, risc-v and m68k. You might consider it a good starting point for your project.

[1]: http://duskos.org/

[2]: https://git.sr.ht/~vdupras/duskos/tree/master/item/fs/doc/co...