tkhattra

10 ms·

1. 1.▲
   by tkhattra 5mo ago

   rip. i got a chuckle out of this trivia on her old website: > Rob Pike didn't really name my favorite editor after me.
2. 2.▲
   A grounded conceptual model for ownership types in Rust(cacm.acm.org)

   57 points by tkhattra 5mo ago|2 comments
3. 3.▲
   The Automation of Nonsense(xcancel.com)

   3 points by tkhattra 5mo ago|0 comments
4. 4.▲
   Michael Rabin has died(en.wikipedia.org)

   414 points by tkhattra 5mo ago|90 comments
5. 5.▲
   by tkhattra 5mo ago

   From Filippo's post: "Sure, papers about an abacus and a dog are funny and can make you look smart and contrarian on forums."
6. 6.▲
   Three Questions About Each Bug You Find (1989)(multicians.org)

   3 points by tkhattra 6mo ago|0 comments
7. 7.▲
   by tkhattra 9mo ago

   I think they're already available? e.g. https://dl.acm.org/doi/epdf/10.1145/942572.807045
8. 8.▲
   Practical Security in Production(queue.acm.org)

   20 points by tkhattra 10mo ago|1 comments
9. 9.▲
   The paradoxical efficient market hypothesis (2024)(3quarksdaily.com)

   95 points by tkhattra 11mo ago|90 comments
10. 10.▲
    Compact representations for arrays in Lua [pdf](sol.sbc.org.br)

    67 points by tkhattra 1y ago|19 comments
11. 11.▲
    The evolution of Lua, continued [pdf](lua.org)

    6 points by tkhattra 1y ago|0 comments
12. 12.▲
    What would early alternatives to C have been?(tuhs.org)

    6 points by tkhattra 2y ago|3 comments
13. 13.▲
    by tkhattra 2y ago

    I have one for $7.68 ($2.56*3). Alas, it was for some minor typos and grammatical errors in SPOCS [1], not "real" math errors in TAOCP. Never plan on cashing it in though. And I can't remember where I stashed it, so there&#x2
14. 14.▲
    The Art of Managing Skunks(maheshba.bitbucket.io)

    2 points by tkhattra 2y ago|0 comments
15. 15.▲
    by tkhattra 2y ago

    As the article states, BQL has been around since 2011 so it's most likely available - you can grep for CONFIG_BQL in your /boot/config-* file to confirm. I'm not aware of any up-to-date list of drivers that support BQL.
16. 16.▲
    Byte Queue Limits: the unauthorized biography(medium.com)

    27 points by tkhattra 2y ago|2 comments
17. 17.▲
    Netnews: The Origin Story [pdf](cs.columbia.edu)

    60 points by tkhattra 2y ago|5 comments
18. 18.▲
    by tkhattra 2y ago

    i'm not aware of any. i got the slide deck link from [1] on the TUHS mailing list. [1] https://www.tuhs.org/pipermail/tuhs/2024-October/030941.html
19. 19.▲
    Go Is for Firmware Too(docs.google.com)

    3 points by tkhattra 2y ago|2 comments
20. 20.▲
    The Paradoxical Efficient Market Hypothesis (2024)(3quarksdaily.com)

    1 points by tkhattra 2y ago|0 comments
21. 21.▲
    The Future of TLA+ [pdf](lamport.azurewebsites.net)

    195 points by tkhattra 2y ago|105 comments
22. 22.▲
    Interview: John Ousterhout Reflects on "A Philosophy of Software Design" [video](youtube.com)

    12 points by tkhattra 2y ago|0 comments
23. 23.▲
    by tkhattra 2y ago

    rob graham wrote an article on this wc program in the humorously titled PoC||GTFO journal - see [1]. he also tweeted about it a few years ago [2]. [1] https://github.com/angea/pocorgtfo/blob/master/conten
24. 24.▲
    Eight Transaction Papers by Jim Gray(arxiv.org)

    45 points by tkhattra 2y ago|9 comments
25. 25.▲
    by tkhattra 3y ago

    > He really was the first to get serious about formalizing concurrency. P and V, and all that. The computer science of concurrency began with Dijkstra, not Wirth. And it was Dijkstra who introduced the P and V semaphore operations [1]. [
26. 26.▲
    Bing Chat Flunks Math [pdf](cs.dartmouth.edu)

    2 points by tkhattra 3y ago|0 comments
27. 27.▲
    Capslock: What is your code capable of?(security.googleblog.com)

    3 points by tkhattra 3y ago|0 comments
28. 28.▲
    by tkhattra 3y ago

    from the abstract of a WIP followup to this article (co-authored by stonebraker and andy pavlo) - "We revisit this issue and argue that little has changed since 2005." [1] [1] https://twitter.com/andy_pavlo/st
29. 29.▲
    by tkhattra 3y ago

    yep, the authors of "Embracing Modern C++ Safely" [1] are Bloomberg folks [1] https://vittorioromeo.info/emcpps.html
30. 30.▲
    by tkhattra 3y ago

    Andy Valencia's open source microkernel VSTa [1] from the early 90's was inspired by QNX and Plan 9. [1] https://sources.vsta.org:7100/vsta/index