puavo.org↗
puavo.org - Linux for schools
Sites ranked next to it
| Rank | Site | Description | Technologies |
|---|---|---|---|
| 2147508 | Samuel Teuber is a PhD candidate at Karlsruhe Institute of Technology (KIT) in Germany, advised by Bernhard Beckert at the Application-Oriented Formal Verification group. His research develops logical foundations and practical tools for the verification of *AI-based heterogeneous systems*, that is, systems combining software, AI, and physical components. Concrete applications are the formal verification of neural network control systems and the verification of algorithmic fairness. Previously, h | Hugo+1 | |
| 2147509 | Rob Gough — fractional CTO in Manchester. I help founders and teams make sound technical decisions, design and run my own products, and write about all of it. | Fathom+2+3 | |
| 2147510 | What MogileFS is, how its tracker + MySQL + storage-node architecture works, how it compares to Ceph, GlusterFS and S3/MinIO, and how to size a … | Google Analytics+2+3 | |
| Ad | Serpex Search APIserpex.dev | The fast, affordable search API for AI & data projects. | Google Analytics |
| 2147513 | TIC Council is an international association representing independent testing, inspection and certification companies. | Google Analytics+5+6 | |
| 2147514 | Jordan Elver | Ruby on Rails Developer, York, UK | Plausible | |
| 2147516 | Explore Benjamin's mobile applications and open source libraries. Discover how Benjamin creates pixel-perfect React Native apps and innovative mobile solutions. | HSTS+1 | |
| 2147517 | Tips and Tricks for Windows Admins | Jekyll+3+4 |
Is this your site? Request removal of the puavo.org page.