Explore >> Select a destination
|
You are here 
|
dominictarr.com | ||
| | | | |
jeremywsherman.com
|
|
| | | | | ||
| | | | |
bloom-lang.net
|
|
| | | | | CALM: consistency as logical monotonicity One of the key innovations underlying Bloom is the ability to formally guarantee consistency properties of distributed programs. This reasoning is based o | |
| | | | |
johannesbrodwall.com
|
|
| | | | | [AI summary] This blog post discusses a method for planning software development by imagining a future demonstration of a feature, allowing teams to focus on goals and uncover hidden assumptions. | |
| | | | |
williamdurand.fr
|
|
| | | A few months ago, my father offered me a Karotz (the new Nabaztag) for my birthday. At the same time, I started to learn how to write a Jenkins plugin, and I knew this kind of rabbit could be programmed. That's why I decided to write a Karotz-Plugin. | ||
