Computer Science Theory AI

Mathematics

1. New Post 2. Statistical Analysis of Bisca - Part I 3. Circles, Spheres and Hyper-Spheres 4. On More Prisoners 5. Square Hunch 6. Exercises in Program Design by Calculation 7. Sleeping Beauty 8. The Mu Puzzle 9. Non-Transitive Probabilities 10. Finding the Poisonous Compound 11. On a Problem About Prisioners 12. Crazy Guy 13. Sock Drawer 14. Trials Until First Success 15. Finding Your Birthmate 16. Coin vs Die 17. The Flippant Juror 18. One, Two, Three Dice 19. The Cliff-Hanger 20. Coach or Kasparov 21. All Gambozinos are White

Others

1. How to Write an Academic Report 2. And so it (re-)Begins...

Philosophy

1. On Dust and Immortality 2. The Myth of Sisyphus 3. Review of Metamorphosis of Prime Intellect

Poetry

1. Your Kiss 2. I Didn't Want 3. Epilogue

Software

1. Challenges From The Industry to Teaching Computer Science 2. AOM Redux Part I - Software Crisis 3. Why Post-Functional Programming Matters 4. An Exploration of Genetic Algorithms in Scala 5. Turtles all the way down (or up?) 6. Some Words on the Epistemology of Patterns 7. Preliminary Thoughts on Software Design - Part I 8. The Shape of Software

who am i

I am a Software Engineer and aspiring Computer Science theorist. My ultimate goal is to develop AI algorithms with some provable guarantees.

what is this

This is a blog about computer science theory, some mathematics, and the AI. I put here all my thoughts that are not publication-ready.

© MMXVI — MMXVII by Uros Nedic.
Content available under Creative Commons (BY-NC-SA) unless otherwise noted.