Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
julesh.com
|
|
| | | | | Geometry of Interaction (also known as the Int-construction) is an important construction in category theory that shows up the semantics of concurrency. It's also a contender for my favourite thing in category theory. It's one member of a whole zoo of things that look kinda like lenses but are a bit different. Back around 2017... | |
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
www.haskellforall.com
|
|
| | | | | Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov... | |
| | | | |
almostsuremath.com
|
|
| | | A martingale is a stochastic process which stays the same, on average. That is, the expected future value conditional on the present is equal to the current value. Examples include the wealth of a gambler as a function of time, assuming that he is playing a fair game. The canonical example of a continuous time... | ||
