djedr
Joined 9 years ago
Karma
191
Submissions
148
Member since
Jan 2
https://djedr.github.io
View on Hacker NewsRecent submissions
Comment · 2 years ago
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)
* 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
Comment · 2 years ago
SEEKING WORK
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)
* 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
Comment · 2 years ago
SEEKING WORK
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)
Comment · 2 years ago
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)
Comment · 2 years ago
SEEKING WORK
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)
My goal is to continue that as an independent creator and make a living this way. Looking for things compatible with that goal.
Comment · 2 years ago
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)
My goal is to continue that as an independent creator -- I'd like to make that my full-time job. Looking for things compatible with that goal.
Comment · 2 years ago
For any lurkers out there, I just created/published the next, even more extreme iteration of this called λDNA: https://xtao.org/blog/ldna.html
Enjoy.
Comment · 2 years ago
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].
Pretty fun stuff. :D
[0] https://justine.lol/lambda/
Comment · 3 years ago
> 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?
Comment · 3 years ago
fitzJSON: a JSON-compatible format optimized for configuration.
Comment · 3 years ago
Another revelation: lambda calculus can be reduced down to 4 primitive operations[0].
I had this revelation after a pilgrimage into the land of Binary Lambda Calculus[1], a binary encoding of lambda calculus that represents variables with numerical (de Bruijn) indices[2] in unary.
Ultimately, 0 and 1 is all we need. ;)
[0] https://jevko.github.io/writing/2023-07-23-revelation.html -- the pun in the article (I'm the author) fits perfectly into the OP ;D
Comment · 3 years ago
Thanks! :)
Comment · 3 years ago
https://djedr.github.io/writing.html and https://xtao.org/blog.html
Mostly technical writing about programming [languages] and my projects.
Most popular posts:
* Introducing Jevko: a minimal general-purpose syntax / https://djedr.github.io/posts/jevko-2022-02-22.html / hit on the front page of HN / about a little project I've been working on for years
* Why NOT to add the pipeline operator to JavaScript / https://djedr.github.io/posts/random-2018-01-25.html / I guess this was controversial
And for looser writing/drafts: https://github.com/jevko/writing
Enjoy!