jinwoo68

12 ms·

91.
by jinwoo68 6y ago
Sadly Apple doesn’t ship emacs anymore with macos. Of course you can (should?) install yourself.
92.
by jinwoo68 6y ago
https://www.merriam-webster.com/dictionary/loadstone says both are correct?
93.
by jinwoo68 6y ago
Rather (of (rabbit hole) lisp) ?
94.
by jinwoo68 6y ago
Cool. But I wouldn't expect import-macros-from-lisp to work with many existing CL macros. Parenscript is quite mechanical in its transpiling to JS.
95.
by jinwoo68 6y ago
There's JSCL [1], an implementation of Common Lisp in JS. It's not a full implementation but you would be able to use some CL libraries, I guess. [1] https://github.com/jscl-project/jscl
96.
by jinwoo68 6y ago
2014
97.
by jinwoo68 6y ago
Those who worked not just did the work but also got paid. That's what I assume. I don't really know what the truth was (nobody would know), but the intention of the story is that she provided a "job" to those poor people
98.
by jinwoo68 6y ago
You're assuming that Korean political/economic system was the same as the one of Europe. It was not. Nobles didn't own all the lands or people around them. Some of non-noble people owned their own lands, others didn't an
99.
by jinwoo68 6y ago
I love Haskell and appreciate its abstraction power. But recently I started to think that one of the reasons that prevent it from becoming more popular is that the community focuses too much on "mathematical" abstractions. Almost
100.
by jinwoo68 6y ago
I’m specifically talking about the “Produces a non-empty, finite, prefix of a possibly infinite result” part on that page. As long as your server generates finite responses in finite times, Idris recognizes your code as total.
101.
by jinwoo68 6y ago
Idris does support forever loops or servers without losing totality. See https://idris2.readthedocs.io/en/latest/tutorial/typesfuns.h...
102.
by jinwoo68 10y ago
Re: WebSockets, there's hunchensocket, clws, websocket-driver, etc: https://github.com/joaotavora/hunchensocket https://github.com/3b/clws https://github.com/fukamachi/we
103.
by jinwoo68 10y ago
http://www.philosophy.com
104.
by jinwoo68 12y ago
StumpWM is on github. https://github.com/stumpwm/stumpwm