laxd

17 ms·

1. 151.▲
   by laxd 9y ago

   Oh gaahd, It's all coming back to me now. function log(msg) { if (console.log) console.log(msg) }
2. 152.▲
   by laxd 9y ago

   No I am not simply talking about performance. I see you keep refering to Turing completeness in other replies, even condescendingly implying that your HN peers does not understand it, when you are clearly the one whose understanding needs t
3. 153.▲
   by laxd 9y ago

   Uh, your examples of low level python are full of C.
4. 154.▲
   by laxd 9y ago

   Python does'nt give you the low level control needed for.. low level stuff. And even if it can be implemented does'nt mean it will be fast enough.
5. 155.▲
   by laxd 9y ago

   I'd separate jurisdiction from information.
6. 156.▲
   by laxd 9y ago

   I remember writing an essay on Kuhn vs Popper as a final assigment in Ex.Phil. My memory of Kuhn has now been distilled into "Science advances one funeral at a time."
7. 157.▲
   by laxd 9y ago

   Thanks. Much appreciated for a project that just takes forever to get to a point where I care or dare to share.
8. 158.▲
   by laxd 9y ago

   Interesting reference. But the point of my app is specifically to play around with, and learn about, l-systems. I will leave fancy image generation to the 3D folks.
9. 159.▲
   by laxd 9y ago

   Got a hobby project where you can generate l-systems. https://mathblocks.net/workspace/#lsystem_0; Just select a an example from the menu and hit draw to get started. The l-systems are defined using my own, generic, &q
10. 160.▲
    by laxd 9y ago

    Amusing. On Reddit it might even be appropriate.
11. 161.▲
    by laxd 9y ago

    Signed up to see what it's like, but can't find any content. Maybe it needs some explore-feature or links to example content or featured content until there is more to be found through search.
12. 162.▲
    by laxd 9y ago

    A better written article: https://www.eetimes.com/document.asp?doc_id=1332398
13. 163.▲
    by laxd 9y ago

    I believe these systems are based on neural nets, they are trained, not programmed, to recognize animals.
14. 164.▲
    by laxd 9y ago

    Meanwhile, the two top stories on nrk.no, the norwegian state supported news and tv network, are both about how Norwegian Air spoils peoples vacation with their cancellations and poor service.
15. 165.▲
    by laxd 10y ago

    Just poking fun at the way these things are presented in pop.sci. media. Anyway, talking over my head, I'm not shure formal systems are a good way of modelling the mind itself. Formal systems are (usually) considered consistent. The mi
16. 166.▲
    by laxd 10y ago

    "A common misunderstanding is to interpret Gödel's first theorem as showing that there are truths that cannot be proved." I've heard it stated that confusing way so many times in popular media. And then often follows qua
17. 167.▲
    by laxd 10y ago

    Category theory is more of a way of thinking rather than a bag of techniques to brute your way through specific problems. Thinking in this way can sometimes bring more clarity. As with all abstract math, the concept are widely applicable bu
18. 168.▲
    by laxd 10y ago

    > Imagination believes that it would be extremely challenging to design a brand new GPU architecture from basics without infringing its intellectual property rights Can't believe they would try to use this as an argument in their ow
19. 169.▲
    by laxd 10y ago

    I have a projects which, in a addition to a asciimath-inspired language, have support for click-and-drag graph creation. https://mathblocks.net It's a work in progress (probably forever).
20. 170.▲
    by laxd 10y ago

    Hmm, maybe I just answered my own question. You can't define the set of integers without using elements of the set of integers. Like Peano's successor function. And if you have that power, you can state paradoxes. Like the above m
21. 171.▲
    by laxd 10y ago

    By Goedelish I mean all the stuff that are really just concretizations and corollaries of incompleteness. You can escape incompleteness with less powerfull axiomatic systems. But then you can't define the set of integers. (correct me i
22. 172.▲
    by laxd 10y ago

    Not trying to argue here, just learn more. This Yablo's paradox seem self referential to me. The statements are making claims about a series of statements of which they themselves are part of. I see the statements only making claims ab
23. 173.▲
    by laxd 10y ago

    Are there any Gödel-like problems that does not involve self references?
24. 174.▲
    by laxd 10y ago

    The fact that so much rainforest is gone just makes it more important to save what's left. "They must be allowed because we did it" is a short sighted argument with these stakes.
25. 175.▲
    by laxd 10y ago

    Seems like MVC is treated in GoF. http://blog.iandavis.com/2008/12/what-are-the-benefits-of-mv...
26. 176.▲
    by laxd 10y ago

    Regarding Typescript vs Dart. For me, the allure in Dart is that it's a very clean and nicely designed language, as opposed to a superset of a horrible one.
27. 177.▲
    by laxd 10y ago

    Have'nt tried microdosing. But when a full dose wears off, it would be natural to be a bit mentally exhausted from the trip so I can't imagine it's comparable to a microdose.
28. 178.▲
    by laxd 10y ago

    You omitted the best proposal. Link to wayback machine since the images does'nt seem to resolve on original site anymore. https://web.archive.org/web/20150518212006/http://buzzit.no/... Edit: S
29. 179.▲
    by laxd 10y ago

    I think it's the ratio of font to non-font on my screen becoming too high, looking messy. Or too much text looking too important. Anyway, the effect is exaggerated on my rather big screen with rather low resolution (22" 1680x1050)
30. 180.▲
    by laxd 10y ago

    Looks like a great project. With best of intentions, I just want to say that I liked the style (maybe just the fonts) better before enabling javascript. Seemed cleaner and more professional/credible.