Location: Poland
Remote: yes
Willing to relocate: no
Technologies: JavaScript, TypeScript, HTML, CSS, Scala, open to learning something new, e.g. about AI, ML, LLMs
Résumé/CV: https://djedr.github.io/resume.html
Portfolio: https://djedr.github.io/projects.html
Email: darius.j.chuck (gmail)
4+ years of professional experience, last 3+ years independently exploring original ideas, e.g.:
* https://jevko.org/ -- Jevko (jeff-ko /ˈd͡ʒef.kəʊ/) is a versatile minimal syntax for encoding tree-structured information as human- and machine-friendly text.
* https://xtao.org/last.html -- two extremely minimal programming languages I have created, which are both minimal versions of Alonzo Church’s lambda calculus, inspired by John Tromp’s Binary Lambda Calculus (BLC).
Location: Poland
Remote: yes
Willing to relocate: no
Technologies: JavaScript, TypeScript, HTML, CSS, Scala, open to learning something new, e.g. about AI, ML, LLMs
Résumé/CV: https://djedr.github.io/resume.html
Portfolio: https://djedr.github.io/projects.html
Email: darius.j.chuck (gmail)
4+ years of professional experience, last 3+ years independently exploring original ideas, e.g.:
* https://jevko.org/ -- Jevko (jeff-ko /ˈd͡ʒef.kəʊ/) is a versatile minimal syntax for encoding tree-structured information as human- and machine-friendly text.
* https://xtao.org/last.html -- two extremely minimal programming languages I have created, which are both minimal versions of Alonzo Church’s lambda calculus, inspired by John Tromp’s Binary Lambda Calculus (BLC).
Location: Łódź, Poland
Remote: yes
Willing to relocate: no
Technologies: open to learning, most comfortable with JavaScript, TypeScript, HTML, CSS, maybe Scala; details in resume
Résumé/CV: https://djedr.github.io/resume.html
Email: darius.j.chuck (gmail)
Location: Łódź, Poland
Remote: yes
Willing to relocate: no
Technologies: open to learning, most comfortable with JavaScript, TypeScript, HTML, CSS, maybe Scala; details in resume
Résumé/CV: https://djedr.github.io/resume.html
Email: darius.j.chuck (gmail)
Location: Łódź, Poland
Remote: yes
Willing to relocate: rather not
Technologies: open to learning, most comfortable with JavaScript & relateds; details in resume
Résumé/CV: https://djedr.github.io/resume.html
Email: darius.j.chuck (gmail)
Location: Łódź, Poland
Remote: yes
Willing to relocate: rather not
Technologies: open to learning, most comfortable with JavaScript & relateds; details in resume
Résumé/CV: https://djedr.github.io/resume.html
Email: darius.j.chuck (gmail)
Made this last year, inspired by @jart's SectorLambda[0] implementation of @tromp's Binary Lambda Calculus[1]. Since then I had an idea of how to translate the language into a 5-instruction "linear" (as opposed to tree-structured) machine code which can be nicely visualized. Finally implemented this idea, resulting in a minimal IDE/debugger. Just published a working version of that[0].
> offering more evidence for the theory that life on Earth was seeded from outer space.
This hypothesis seems to be getting more and more traction. There is an excellent recent video on topic from Kurzgesagt [0].
Interesting that neither the video nor the article uses the name panspermia[1] to refer to the hypothesis. I wonder why that is. Wikipedia also states that "[the fringe theory] is also criticized because it cannot be tested experimentally". Can't it? If we ever find an organism based on DNA compatible with organisms on Earth, wouldn't that validate it?
* https://jevko.org/ -- Jevko (jeff-ko /ˈd͡ʒef.kəʊ/) is a versatile minimal syntax for encoding tree-structured information as human- and machine-friendly text.
* https://xtao.org/last.html -- two extremely minimal programming languages I have created, which are both minimal versions of Alonzo Church’s lambda calculus, inspired by John Tromp’s Binary Lambda Calculus (BLC).
Also looking for research funding, e.g. https://jevko.org/activitypub.html