marvinborner

18 ms·

271.
Category Theory for Programming(arxiv.org)
47 points by marvinborner 3y ago|6 comments
272.
by marvinborner 3y ago
This is slightly similar to a ternary encoding recently released by Devine Lu Linvega[1]. Very interesting. [1]: http://wiki.xxiivv.com/site/heptavintimal
273.
An Approach to Computing and Sustainability Inspired from Permaculture(100r.co)
1 points by marvinborner 3y ago|0 comments
274.
Penguins in LaTeX with TikZ(github.com)
7 points by marvinborner 3y ago|2 comments
275.
Number guessing game with a p-adic twist(mabotkin.github.io)
3 points by marvinborner 3y ago|0 comments
276.
Finding X: A Mathematical Short Film [video](youtube.com)
1 points by marvinborner 3y ago|0 comments
277.
Jottary: Unary Jot(esolangs.org)
2 points by marvinborner 3y ago|0 comments
278.
How Computers Use Numbers(mabi.tmpinc.io)
1 points by marvinborner 3y ago|0 comments
279.
How does a computer/calculator compute logarithms?(zachartrand.github.io)
2 points by marvinborner 3y ago|0 comments
280.
Weird things you can buy online(hillelwayne.com)
127 points by marvinborner 3y ago|51 comments
281.
by marvinborner 3y ago
Yes, that annoys me too. The original name actually was "Eelo". Unfortunately, it had to be renamed due to a legal conflict. Creator Gael Duval also said in 2020 that the "/e/" name would only be temporary.
282.
Diminished Fifth: Procedural music generation(ivanish.ca)
2 points by marvinborner 3y ago|0 comments
283.
DreamBerd 2: Sequel to the perfect programming language(github.com)
7 points by marvinborner 3y ago|6 comments
284.
Numbat: Programming Language for Scientific Computations(github.com)
4 points by marvinborner 3y ago|0 comments
285.
Compression Overview [video](youtube.com)
2 points by marvinborner 3y ago|0 comments
286.
by marvinborner 3y ago
Should be easy now, I implemented a lambda calculus to birb transpiler. The resulting program would be huge (like several MBs), though.
287.
by marvinborner 3y ago
Yes, the initial idea[1] was proposed by SCKelemen in 2021. The current design and implementation was created by me a few days ago. Basically everything in the language is up for discussion. [1] https://esolangs.org/w/i
288.
by marvinborner 3y ago
Oh no, I can't believe I missed that! I think I like the wing for the phoenix combinator actually. What other combinator could the goose be matched with? Hmm...
289.
by marvinborner 3y ago
The only emoji that comes close to a crow is probably the black bird ⬛ (edit: hn does not seem to render this?). Unfortunately, it's a joined letter and therefore can't be parsed/typed that easily. Other than that the combi
290.
Birb: Programming with bird emojis(esolangs.org)
174 points by marvinborner 3y ago|28 comments
291.
by marvinborner 3y ago
Yes, exactly. For example, the "Stars" filter does not seem to work at all for me.
292.
Discussion about GitHub's new home feed(github.com)
5 points by marvinborner 3y ago|3 comments
293.
A Gentle Introduction to Liquid Types(goto.ucsd.edu)
138 points by marvinborner 3y ago|104 comments
294.
Screens in Screens in Screens(screenpond.cool)
2 points by marvinborner 3y ago|0 comments