Explore >> Select a destination
|
You are here 
|
www.adamconrad.dev | ||
| | | | |
www.code-spot.co.za
|
|
| | | | | I am playing around with generating textures and decided to post some preliminary results. The algorithm used to create these images is simple to implement, but slow. Here is how it works: 1. Gener... | |
| | | | |
cp-algorithms.com
|
|
| | | | | The goal of this project is to translate the wonderful resource http://e-maxx.ru/algo which provides descriptions of many algorithms and data structures especially popular in field of competitive programming. Moreover we want to improve the collected knowledge by extending the articles and adding new articles to the collection. | |
| | | | |
tannerdolby.com
|
|
| | | | | The Fibonacci sequence is a series of numbers where each number in the sequence is the sum of the two preceding numbers, with the sequence beginning with 0 and 1. | |
| | | | |
sitr.us
|
|
| | | Dependent types provide an unprecedented level of type safety. A quick example is a type-safe printf implementation. They are also useful for theorem proving. According to the Curry-Howard correspondence, mathematical propositions can be represented in a program as types. An implementation that satisfies a given type serves as a proof of the corresponding proposition. In other words, inhabited types represent true propositions. | ||
