unsorted links Principles of Uncertainty Linear Algebra Done Wrong http://www.math.brown.edu/~treil/papers/LADW/LADW.html Symbolic Crosschecking of Data-Parallel Floating-Point Code Scalable Verification Techniques for Data-Parallel Programs Beating Nyquist String Theory – part 5: General Relativity vs Quantum Mechanics Type-Driven Development in Idris — Edwin Brady Helios Operating System The Helios Operatin System Book Helios New Generation Helios NG Plan Helios NG github Helios NG hati branch Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states Бесплатная библиотека Self-learning – более 20 курсов по ключевым направлениям Software Engineering 50+ Free Data Science Books Explained Visually The free physics textbook Как создать свою собственную операционную систему с нуля A sample OS as demonstrated in the book Operating System: From 0 to 1 Перекодирование русских символов вида =D0=9B в транслит Проблема с кириллицей контактов у магнитол с bluetooth Core control application CoreCtrl is a linux application that allows you to control with ease your computer hardware using application profiles Completely Unscientific Benchmarks