inb4 watching: I bet this has to do with Logic programming or Generic Programming, what should have been done ages ago, and is resurfacing. Trying to find that program made in that simple lisp dialect that's so generic, someone used it to program code and optimize them for life. It was in /prog/ a couple of months ago. Maybe I say it in HN instead
Name:
Anonymous2013-09-29 2:50
sounds like incompleteness theorem from math.
Name:
Anonymous2013-09-29 14:52
Looks like someone else is reading ID_AA_Carmack sometimes. It's actually about (ab-)using an Intel MMU to do Touring-Complete tasks with sth similar to a subleq-instruction, at least from what I understand.
Name:
Anonymous2013-10-12 20:27
>>1 God, I finished reading and watching that now. The presentations was awful, but the document was well thought out. It's a nice idea, but not executable on today's systems with specific requirements. I'd use it for trouble shooting actually. I can't see the usefulness on most applications when the kernel is the one handling the states. This is particularly the case on monolithic kernels.
>>8 zher sounds too much like ``her''. there's also another shitty set of pronouns based on ``per'' which also sound a lot like ``her'' (the author claims it comes from ``person'').
>>6 I don't see LISP on this video. This is soo bias for OOP. Also, t=4947, so untrue. Garbage collection came from LISP. This is just propaganda saying programmers are the reason for stupidity, and not the market and businesses, which is the main factor for the death technologies.