Philosophy of Forth:
Forth is very abstract,
most of it's core words(subroutines) are mechanisms.
We create all the mechanisms we need to solve a problem,
and in turn we coin the mechanisms into verbs and glue.
Instead of being passive mechanisms,
the mechanisms become the actions that describe the domain solution by combining the combination of mechanisms
into patterns that support resolving the problem domain in a controlled manner.

The minimal vocabulary capable of extending itself.

https://news.1rj.ru/str/nixos_en
https://news.1rj.ru/str/programmers_unite
@GNUNews @GNUMeme @GNUFAQ @GNUPropaganda
https://news.1rj.ru/str/programmingresources
https://news.1rj.ru/str/typetheoryinprogramming
https://thedevs.network
https://news.1rj.ru/str/DwarfFortressEn
https://news.1rj.ru/str/thinkpadgeneral
https://news.1rj.ru/str/linux_group
https://scm.pw/
https://news.1rj.ru/str/joinchat/HXIeV1ERa4gTUNj0b491CQ

Relevant groups worthy of attention

"Stephen Hawking wouldn't want anything to do with me I can't even speak"
- My sister (Without realizing what she said until shortly after)

Guarded computational type theory
https://arxiv.org/abs/1804.09098
A type theory capuring the notion of productivity while being a compuational metalanguage.
[Thanks to petercommand]

I mean ♥python♥ , but I am honestly curious

dont worry, we can cure you of this illness