k4st

10 ms·

1. 31.▲
   by k4st 13y ago

   Thanks, that's really flattering! I would love to hear about potential use cases that people might have for this.
2. 32.▲
   by k4st 13y ago

   I'm working on https://github.com/Granary/granary . It is a Linux kernel dynamic binary translation framework. It's cool because it lets you rewrite the Linux kernel (at different granularities) while it'
3. 33.▲
   by k4st 13y ago

   I'll try to come up with more ideas as they pop into my head, but given that you consume a binary, I'd like to see a service that consumes core dumps and does what " Automated Debugging for Arbitrarily Long Executions" (
4. 34.▲
   by k4st 13y ago

   As someone that does dynamic binary translation for kernel modules (to find bugs) and eventually wants to get into symbolic/concolic execution (to find bugs), this is cool. I would be really pleased if they're able to make a succe
5. 35.▲
   by k4st 13y ago

   Thanks for the explanation / link :-)
6. 36.▲
   by k4st 13y ago

   What is the memory model of the NiDIUM js with native threading support?
7. 37.▲
   by k4st 13y ago

   I also find this online utility useful when I don't have c++filt (another program available to Linux distros) available: http://pear.warosu.org/c++filtjs/ This can be used to demangle C++ names.
8. 38.▲
   by k4st 13y ago

   This seems like one of the 10x productivity / mastery cases where your three minutes and creativity have produced something that would take me ages, even if you set me to the task of duplicating your design. Are you willing to spend an
9. 39.▲
   by k4st 13y ago

   This reminds me a lot of the regular expression reAnimator: http://osteele.com/tools/reanimator/ .
10. 40.▲
    by k4st 13y ago

    The SQL generated appears correct, unless the underlying database can guarantee that all foreign key constraints are met. That is, I consider this a failure of the user of the ORM to appreciate that the two invocations of filter are not ide
11. 41.▲
    by k4st 13y ago

    This is not so much constructive, but more a comment on my Netflix viewing habits and opinions on three shows which they've created: I really enjoyed House of Cards. Lilyhammer was pleasantly surprising and I'm looking forward to future sea
12. 42.▲
    by k4st 13y ago

    I will look into this a bit tomorrow. Can you supply an example command-line invocation?
13. 43.▲
    by k4st 13y ago

    I am working on a DBT framework that has some user space support. I do my main development in OS X and Linux, and so I have done some testing of it on OS X. The main focus of the DBT tool is Linux kernel modules, but let me know the kinds o
14. 44.▲
    by k4st 14y ago

    I have found that a combination of Scribus, GraphViz, and OmniGraffle are my favourite tools for making conference posters. Scribus has a few quirks, but once you learn them it's pretty easy to be very productive.
15. 45.▲
    by k4st 14y ago

    Off topic: This was filmed in the Bahen building at U of T! Go DGP!
16. 46.▲
    by k4st 14y ago

    Two slightly on/off-topic rants about public washrooms: First, the one thing I don't like with the normal AirBlade is the tendency for the water to drip off your hands, onto it, and then to pool below it on the floor. Not much water, mind y
17. 47.▲
    by k4st 14y ago

    Idea suggestion 1: Shape detection. Presumably this is already present given that it looks for the borders of the viewscreen. It would be really great if it could detect potential buttons in the app, and auto-select them to improve the spee
18. 48.▲
    by k4st 14y ago

    I imagine it is in the process of being disrupted, see: http://en.wikipedia.org/wiki/Coursera#Business_plan .
19. 49.▲
    by k4st 14y ago

    How is something like the JVM handled (when scaling down), which seems averse to letting go of its memory?
20. 50.▲
    by k4st 14y ago

    I am curious about what blind programmers consider to be aesthetically appealing code.
21. 51.▲
    by k4st 14y ago

    For those interested in symbolically manipulating [1] state machines (NFAs), pushdown automata (PDAs), and context-free grammars (CFGs), take a look at http://www.grailplus.org . [1] http://www.ioreader.com/2011/03/15/pattern-matching-in-
22. 52.▲
    by k4st 14y ago

    One of the reasons I like C++ is that it lets you throw away type safety and still maintain it through abstraction. This sounds awful, so let me explain. In one project, I implemented an EDSL for performing a destructuring bind on a string
23. 53.▲
    by k4st 14y ago

    Note: I am not a psychologist. What do you mean by "some tests are copyrighted"? Are you talking about a statistical method being copyrighted, an implementation thereof, or something else entirely?
24. 54.▲
    by k4st 14y ago

    How does this compare with http://plunker.no.de ? It is also open source (on github) and seems to have been inspired by JSBin.
25. 55.▲
    by k4st 15y ago

    If n is the number of routes, and they are sorted (e.g. implicitly through a prefix tree) and evenly distributed accordingly then then the claim might be plausible by doing log n prefix comparisons of increasingly smaller suffixes of the ro
26. 56.▲
    by k4st 15y ago

    Yup, I thought D (for the language) and Digital for DigitalMars (for the compiler).
27. 57.▲
    by k4st 15y ago

    And WYSIWYG editing.
28. 58.▲
    by k4st 15y ago

    I am not convinced that this has anything to do with Go improving expressiveness. If anything, this seems more like whichever Go compiler is being used is not doing common subexpression elimination, and that is forcing the developer to re-i
29. 59.▲
    by k4st 15y ago

    My first DX fell off the bed and the screen broke. I called them up the next day and my current DX arrived shortly after that. The most surprising thing was the lack of any sort of return label for sending back my broken DX. Over the years,
30. 60.▲
    by k4st 15y ago

    I would prefer to see the Cook-Levin theorem in place of the pumping lemma.