The man, The myth, The legend. Computer Science |
- The man, The myth, The legend.
- NightCode Summer Hackathon 2021
- Examples of how Turing machines, lambda calculus, or the Church-Turing thesis are useful?
- I’m 16 and i have a year until i go to college and I’m interested in computer science and its fields can anyone clue me in on how i can get into it?(i will be free almost all year)
- "From Proof Theory to Proof Assistants: Challenges of Responsible Software and AI" - slides of 2019 talk by Klaus Mainzer [PDF, 51pp]
- Learn Complete Machine Learning from Scratch
- Simplified explanation on production environments
- What would be the implications of NP=Co-NP?
- Fetch - CL Wikipedia open source
- A new old computer
- 3D ray-tracing two fully reflective spheres
- How to load an audio file and convert it into f(x) so that I can do Fourier transform on it in CPP?
| The man, The myth, The legend. Posted: 20 Jun 2021 03:20 AM PDT |
| NightCode Summer Hackathon 2021 Posted: 19 Jun 2021 03:55 PM PDT NightCode's Summer Hackathon 2021 is a two day (48 hour) event managed by the non-profit organization NightCode. NightCode is a student-led, non-profit organization based in Dallas, Texas that aims to establish a community where we can spread enthusiasm and knowledge about Computer Science and technology through various events such as hackathons, workshops, guest talks and courses. This hackathon is for middle and high school students of all experience levels. Teams have a maximum capacity of 4 people. Our theme will be announced during our Opening Ceremony. We have a total prize pool of $1850 made up of prizes, merch and participation awards. This hackathon is from July 9th to July 11th. devpost: https://nightcode-2021.devpost.com/ website: https://nightcode.vercel.app/ [link] [comments]  |
| Examples of how Turing machines, lambda calculus, or the Church-Turing thesis are useful? Posted: 19 Jun 2021 03:48 PM PDT I am constantly hearing about these concepts. (I would have mentioned Godel's general recursive functions as well but for some reason I hear less about that.) I am familiar with basic aspects like how a proof by contradiction using Turing machines shows that the halting problem is uncomputable. But how is that, and more generally how are Turing machines/lambda calculus actually useful in research? What purpose do they serve? [link] [comments]  |
| Posted: 20 Jun 2021 12:43 AM PDT |
| Posted: 20 Jun 2021 12:13 AM PDT |
| Learn Complete Machine Learning from Scratch Posted: 20 Jun 2021 05:18 AM PDT |
| Simplified explanation on production environments Posted: 19 Jun 2021 10:52 PM PDT I wrote an article that explains production environments and what to keep in mind when trying to make one. I hope this is helpful for someone. [link] [comments]  |
| What would be the implications of NP=Co-NP? Posted: 19 Jun 2021 10:00 PM PDT |
| Fetch - CL Wikipedia open source Posted: 19 Jun 2021 09:59 PM PDT Hi, I created a open source project name fetch you can search on anything on command line it's fast and easy. Its currently in its initial phase so your contribution will be much much appreciated. Link: GitHub [link] [comments]  |
| Posted: 19 Jun 2021 07:21 PM PDT I would like to build an 8-bit computer but don't know where to start can someone please give me some resources of parts I would need and how to build it. [link] [comments]  |
| 3D ray-tracing two fully reflective spheres Posted: 19 Jun 2021 04:45 PM PDT |
| How to load an audio file and convert it into f(x) so that I can do Fourier transform on it in CPP? Posted: 19 Jun 2021 06:02 PM PDT then I can make an equalizer not asking for FFT libraries, I'll implement it myself. [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