HNHacker News
TopNewBestAskShowJobs

ykm

394 karma · joined January 10, 2012

github.com/ykm
submissionscomments
ykm··on Change of Name: Coq –> The Rocq Prover
Reminds me of a time when i created a library to work with iterators in lisp, inadvertently naming it cl-iterators[0], as far as the naming convention of common lisp libraries went at that time. Some folks(including me!) on reddit had lots of fun with the unfortunate name.

[0] https://github.com/ykm/critter

ykm··on Purdue Pharma files for bankruptcy with $10B plan to settle claims
Recommended read: Dopesick from Beth Macy. For a non-American, it reads like a horror script.
ykm··on Daytripper
Oh yeah...or eww within Emacs works like a charm as well :)
ykm··on Google Fuchsia: A system built for 'Instant Apps' on steroids
Ephemerality sounds like JIT but for apps. Seems the necessary stuff to run the app will be downloaded dynamically and cached locally to run later. Though, why cant be this done in the current setup? What are the limitations that fuschia overcomes in this regards?
ykm··on Coroutine iters in Common Lisp
Hmmm, frankly its just a CLOS object, with the defmethods controlling the iteration. I tried to model the object like Python iterators, however the API ended up a bit more like Haskell.
ykm··on Coroutine iters in Common Lisp
Shameless plug: I had created a similar library[0] for common lisp, though it didn't use conditions and restarts, also lacked a definitive yield construct. It still is profound how a major feature for other programming language is trivial to add to common lisp.

[0]: https://github.com/ykm/cl-iterators

ykm··on Soylent halts sales of its powder as customers keep getting sick
Halt production? It seems these soylent formulations are versioned. So can't they revert back to an older version till they fix the issue? Or its not as simple as this?
ykm··on Operating Systems
I wonder if the HURD guys will finish and when. Can somebody comment on the continued existence of this project even though the ideas propogated by it(microkernels) have been well adopted into the mainstream?
ykm··on Response from Google Tech Lead, Re: “Google May Be Stealing Your Mobile Traffic”
Your response sounds more like the religious groups howling "world will end" whenever a new scientific progress is made. Internet survived because of its obvious commercial value. Google and Facebook are doing nothing new but making their ends meet.