ksml

10 ms·

1. 61.▲
   by ksml 6y ago

   That's been one of the biggest challenges of this internship, since I'm so used to assuming that any bugs are problems with my code or some library I'm using. In general, I'll first try to debug as I would normally debug
2. 62.▲
   by ksml 6y ago

   The process is a little brittle right now, but when it works, it works. Remill (the binary lifter) sometimes has issues with certain constructs such as switch statements, and we've hit a number of LLVM and ptxas (PTX assembler) bugs as
3. 63.▲
   by ksml 6y ago

   Haha... More than I had expected. We've hit two confirmed + one possible bug in LLVM and one bug in the PTX assembler. LLVM's PTX backend isn't fully mature yet, and I think the kind of PTX we're generating is very diffe
4. 64.▲
   by ksml 6y ago

   Thanks for checking it out! 1) The generated PTX is written to a file and then dynamically loaded into the fuzzer, which is a CUDA program. Specifically, the cuModuleLoad function can be called to load a ptx file, and then cuModuleGetFuncti
5. 65.▲
   by ksml 6y ago

   Hi HN! I'm the intern that worked on this project, and I would be happy to answer any questions here!
6. 66.▲
   by ksml 6y ago

   Hi Divya! Thanks for reading!!
7. 67.▲
   by ksml 6y ago

   Thanks a lot for these helpful links! don't know much about Ada/SPARK but will spend some time going through these resources.
8. 68.▲
   by ksml 6y ago

   No, it wasn't by design, but we just didn't have time to talk about it. I talked about testing extremely briefly in one lecture, but I think we will spend more time on this next time we teach the class. Designing this class was ha
9. 69.▲
   by ksml 6y ago

   Yes! It's now available here: https://github.com/reberhardt7/cs110l-spr-2020-starter-code
10. 70.▲
    by ksml 6y ago

    Huh, that's a bummer... Not sure if there was a recording issue or if I made a mistake editing the video. Sorry about that :(
11. 71.▲
    by ksml 6y ago

    > That's an interesting take, because I don't see Rust as being more abstracted in this way than C++ is. Obviously it's more abstracted than C, but by the time you get to "modern" C++ you're programming in a
12. 72.▲
    by ksml 6y ago

    I read that and wasn't sure if it counted, but I added "Show HN" because I uploaded all the course materials for people to "play with," and I'm mainly posting to get feedback from the community. Thanks for re-t
13. 73.▲
    by ksml 6y ago

    As I say in the blog post, I'm just a grad student, but I have worked in many different places in industry, and from my own experience as well as what I know from others, there is a big need for better awareness of these kinds of issue
14. 74.▲
    by ksml 6y ago

    That's true, but we only have 10 weeks in a quarter, and this class isn't many units so there isn't much time in every week. In the blog post, I explain our rationale for focusing on Rust even though I'm aware there are
15. 75.▲
    by ksml 6y ago

    Thanks for checking it out! I'd love to hear any feedback once you look through them
16. 76.▲
    by ksml 6y ago

    That's a great suggestion! I'll try to design some exercises for the next time we teach this.
17. 77.▲
    by ksml 6y ago

    I'm happy to email it to you! My email's at the bottom of the blog post. I'm also working on getting that starter code posted publicly. EDIT: the code is now posted here: https://github.com/reberhardt7/cs
18. 78.▲
    by ksml 6y ago

    Hi HN, I spent last spring working on a new class at Stanford that's focused on common pitfalls in systems programming and how to avoid them. You can check out all the lecture materials (including recorded lecture videos) and assignmen
19. 79.▲
    Designing a New Rust Class at Stanford: Safety in Systems Programming(reberhardt.com)

    214 points by ksml 6y ago|52 comments
20. 80.▲
    by ksml 6y ago

    Do you have a source for this? I don't know much about immunology, but I know a little bit, and I don't think it's that thoughtful of a process. We have antibodies for all sorts of diseases, certainly not just for things like
21. 81.▲
    by ksml 6y ago

    I think you're making a false dichotomy. You can avoid ostracising and deplatforming people without welcoming and broadcasting them.
22. 82.▲
    by ksml 6y ago

    Why would the density need to be distributed across classes? I think the idea is to have fewer people in the dorms, so that e.g. no one shares a room, to reduce potential for spread of disease.
23. 83.▲
    by ksml 6y ago

    I think you make it sound more ill intentioned than it is. Freshman year is crucial to forming new connections, finding organizations to join, and adapting to a new environment. It's not just about "dealing with remote learning&qu
24. 84.▲
    by ksml 6y ago

    I had a very similar experience teaching a class of 23, including the Slack, which students found very helpful. I was also a student in a class of 60 and quality of discussion suffered, although I'm not sure it's 100% because of t
25. 85.▲
    Zero to Sixty: Full-Stack Web Development in Stanford Intro CS(reberhardt.com)

    1 points by ksml 6y ago|0 comments
26. 86.▲
    by ksml 6y ago

    I have no experience with graphic design programs, but I would guess that it has something to do with the fact that VSTs are self contained and have extremely simple interfaces. A VST takes some input (MIDI or audio) and produces some outpu
27. 87.▲
    by ksml 6y ago

    What's "be bold" supposed to mean?
28. 88.▲
    by ksml 6y ago

    I think a much simpler solution would be to just use one consistent XML parser. Throwing AI at things is not a good general solution. Black-box AI models may work in the common case, but they have edge cases with bizarre behaviors that are
29. 89.▲
    by ksml 6y ago

    Just curious: why do you feel you trust your government more than "greedy" private companies?
30. 90.▲
    by ksml 6y ago

    In addition to the other replies to this comment, I'd add that the value of endowments has shrunk significantly due to collapses in economic markets.