Programming
Get flash to fully experience Pearltrees
A summary of 2011 and a look at what is about to come | Filip Ekberg's blog
Happy 2012 folks! I hope you all had a wonderful new years eve!
Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants. Spec# comes with a sound programming methodology that permits specification and reasoning about object invariants even in the presence of callbacks and multi-threading.
Spec# - Microsoft Research
Contracts - Microsoft Research
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs.
Sorting Algorithm Animations
Sorting is a vast topic; this site explores the topic of in-memory generic algorithms for arrays. External sorting, radix sorting, string sorting, and linked list sorting—all wonderful and interesting topics—are deliberately omitted to limit the scope of discussion.
In the previous post we looked over an introduction to the C# Interactive Window that comes with Roslyn, now let’s have a look at some things in the c# interactive window that will increase your productivity!
Using the C# Interactive Window that comes with Roslyn – Part 2 | Filip Ekberg's blog
Hosted Execution of smaller code snippets with Roslyn | Filip Ekberg's blog
Lately a lot of my time has been spent on playing around with Roslyn, if you have no idea what Roslyn is I suggest that you go and read my previous posts on it . One of the things that I challenged myself into doing was creating some soft of service that could execute a code snippet like the interactive window and give me the result back to me.
Topten Software
PetaPoco was original inspired by Rob Conery's Massive project but for use with non-dynamic POCO objects. It came about because I was finding many of my projects that used SubSonic/Linq were slow or becoming mixed bags of Linq and CodingHorror .Component-based Scalable Logical Architecture - Wikipedia, the free encyclopedia
Component-based Scalable Logical Architecture (CSLA) is a software framework created by Rockford Lhotka that provides a standard way to create robust object oriented programs using business objects .