Kai Draven 🍀🌄
mikolasan@cupoftea.social
<p>Mathematician, AI researcher (since 2009, focusing on Bayesian models, Reinforcement Learning, and Spiking Neural Networks); professional game developer by day and indie by night; electronics and circuit board enthusiast.</p><p>Computational neuroscience is my passion.<br /> I'm building a robot (FreeCAD, KiCAD).<br />I like board games, hiking and clouds</p><p>Speaking ru, en. Learning fr 🇫🇷 <br />🗺️ Las Vegas 🌵 UTC-7h</p>
Posts
-
Post #3924822
In computer science, there is a curious detail – or rather, a theorem – stating that it is impossible to prove that a program actually does what it is supposed to do. Every week we receive updates for the apps we use every day. Either the people working at big companies don’t know what they’re doing and are constantly getting things wrong, or the development process is really complex, and hard to plan and get everything right. From my experience, I can say that it’s impossible to cover everyt...
-
Post #3773398
A day after July 4. Do I become a sunrise person suddenly? Never would have expected that #sunrise