• Breaking News

    Friday, July 3, 2020

    CompSci Weekend SuperThread (July 03, 2020) Computer Science

    CompSci Weekend SuperThread (July 03, 2020) Computer Science


    CompSci Weekend SuperThread (July 03, 2020)

    Posted: 02 Jul 2020 06:04 PM PDT

    /r/compsci strives to be the best online community for computer scientists. We moderate posts to keep things on topic.

    This Weekend SuperThread provides a discussion area for posts that might be off-topic normally. Anything Goes: post your questions, ideas, requests for help, musings, or whatever comes to mind as comments in this thread.

    Pointers

    • If you're looking to answer questions, sort by new comments.
    • If you're looking for answers, sort by top comment.
    • Upvote a question you've answered for visibility.
    • Downvoting is discouraged. Save it for discourteous content only.

    Caveats

    • It's not truly "Anything Goes". Please follow Reddiquette and use common sense.
    • Homework help questions are discouraged.
    submitted by /u/AutoModerator
    [link] [comments]

    Seven Sketches in Compositionality: An Invitation to Applied Category Theory

    Posted: 02 Jul 2020 05:24 PM PDT

    I‘m trying to figure out what method glibc uses to calculate the sqrt for doubles. But I find it quite hard to do so, since there appears to be hardly any documentation for it. Can anyone point me in the right direction?

    Posted: 02 Jul 2020 09:17 PM PDT

    [R] Open discussion on deep robustness, please!

    Posted: 03 Jul 2020 03:59 AM PDT

    Resource Burning for Permissionless Systems

    Posted: 02 Jul 2020 11:34 AM PDT

    Resource Burning for Permissionless Systems

    How can we defend Blockchains and peer-to-peer systems, when no central authority provides admission control? Resource-burning (proof-of-work, proof-of-state, CAPTCHAs) is one of the most used tools to defend such systems, but it is currently poorly understood mathematically. In this talk, I survey recent research to better understanding resource burning, in order to reduce its cost, and thereby improve system security. Keywords: Distributed algorithms, game theory, costly signaling, money burning, Sybil attack, blockchains, cryptocurrencies, peer-to-peer.

    submitted by /u/Zealousideal-Ant-691
    [link] [comments]

    What books that cover different logics would you recommend?

    Posted: 02 Jul 2020 06:42 AM PDT

    There are different kinds of logics: propositional, first order, second order, ...., and maybe some exotic ones.

    Some books that I glanced in the past are covering logic in a loose way.

    Assume that I have formal languages and anything necessary under my belt, what books would you recommend that cover different logics in a more consistent (and therefore possibly clearer) way?

    Thanks.

    submitted by /u/timlee126
    [link] [comments]

    Is a CFL parser counted as an automaton, and even a PDA?

    Posted: 02 Jul 2020 05:25 AM PDT

    How do I go about taking my MTA certification exam while my state is still closed due to covid-19?

    Posted: 02 Jul 2020 12:32 PM PDT

    Uses Of Excel | List Of Top 8 Uses Of Microsoft Excel

    Posted: 02 Jul 2020 05:36 PM PDT

    Is a CS PhD program right for me?

    Posted: 02 Jul 2020 07:44 AM PDT

    I have an MS in computer science (no thesis or research) and a BA in biochemistry. I did one internship in software development during my MS. I eventually found work as an ML engineer and data scientist due to my coursework and internship experience in my program. I now have a couple of years of full time experience.

    Can I apply for PhD programs with purely industry research, as my team is considered more R&D oriented? Additionally, the only research experience I have in academics is unrelated biochemistry research.

    Furthermore, is a PhD program even right for me? Although I graduated with good grades from my MS (about a 3.6-3.7), I felt like the way my program awarded grades was very competitive and stressful; not putting in the usual amount of work for one test could easily result in a C or below in the class. In fact, I have come close many times to getting C's in classes and by luck was able to get a B/B+ in the course. Is that same kind of stress also present in PhD programs, or is it unique to my university or MS programs in general? The focus of a PhD program is research, and I don't want to be kicked out for bad grades.

    Also, since I consider myself more interested in industry R&D than academic research, are advisors in computer science generally ok with their students taking the summer off to do internships at big companies?

    Lastly, I want to work a couple of more years before applying just because I consider having work experience really important for me. I don't mind graduating with a PhD in my mid-30s.

    submitted by /u/memcpy94
    [link] [comments]

    No comments:

    Post a Comment