CompSci Weekend SuperThread (July 03, 2020) Computer Science |
- CompSci Weekend SuperThread (July 03, 2020)
- Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- 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?
- [R] Open discussion on deep robustness, please!
- Resource Burning for Permissionless Systems
- What books that cover different logics would you recommend?
- Is a CFL parser counted as an automaton, and even a PDA?
- How do I go about taking my MTA certification exam while my state is still closed due to covid-19?
- Uses Of Excel | List Of Top 8 Uses Of Microsoft Excel
- Is a CS PhD program right for me?
| 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
Caveats
[link] [comments]  |
| Seven Sketches in Compositionality: An Invitation to Applied Category Theory Posted: 02 Jul 2020 05:24 PM PDT |
| 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. [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. [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. [link] [comments]  |
| You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now. | Email delivery powered by Google |
| Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States | |
No comments:
Post a Comment