A minimal, efficient and practical proof and programming language. Under the hoods, it is basically Haskell, except purer and with dependent types. That means it can handle mathematical theorems just like Coq, Idris, Lean and Agda. On the surface, it … Read more
You need to enable JavaScript to run this app.
NOTE: If you like this stuff, come work with me over at PowerDNS – aspiring C++ programmers welcome! Welcome to part 1 of Modern C++ for C Programmers, please see the introduction for the goals and context of this series. … Read more
Dlib is a modern C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems. It is used in both industry and academia in a wide range of domains including robotics, embedded … Read more
You need to enable JavaScript to run this app.
LDtk is a modern and open-source 2D level editor, specifically designed for indie devs. It is based on my personal experience creating Dead Cells and making game jams. My goal is to provide an editor that has all the important … Read more
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. … Read more
L ast year, at a friend’s wedding, I sat across from the perfect dress. Rendered in a warm, dusky orange and a just-revealing-enough neckline, it hugged every curve of the cousin of the groom as we chatted. When I mentioned … Read more
INTRODUCTION The most significant feature of industrialized cities (urban-rural complexes) is the emergence of many industrialized functional components such as factories, banks, and wastewater treatment plants. These components carry out the city’s processes by providing goods (such as industrial products, … Read more
The modern web on a slow connectionThe modern web on a slow connection A couple years ago, I took a road trip from Wisconsin to Washington and mostly stayed in rural hotels on the way. I expected the internet in … Read more