derek | Shared With: Everyone - May 20 2008 | git, svn, open source, tools, dvcs
derek | Shared With: Everyone - May 15 2008 | mercurial, hg, tools, dvcs
derek | Shared With: Everyone - Mar 31 2008 | development, tools, network, snifferEthereal ... ok, Wireshark ... hits 1.0. Pretty sure I've been using this since I was in grade school, not exactly sure how it's only hitting 1.0 now.
derek | Shared With: Everyone - Dec 27 2007 | javascript, tools, shell, useful
derek | Shared With: Everyone - Dec 04 2007 | foo, fu, bar, toolsLOL, wow ... gutsiest product name I've seen in a while.
Quoted: The official site of the FatMax® Xtreme(TM) FuBar® Utility Bar © 2007 The Stanley Works: The ultimate forged one-piece steel demolition tool. Includes videos, product information and the opportunity to FuBar® your own images and send them to friends.
derek | Shared With: Everyone - Oct 29 2007 | open source, svg, graphics, illustrator, tools
derek | Shared With: Everyone - Oct 19 2007 | svn, time lapse, viewers, tools
svn blame ++
Quoted: SVN Time-Lapse View is a cross-platform viewer that downloads all revisions of a file and lets you scroll through them by dragging a slider. As you scroll, you are shown a visual diff of the current revision and the previous revision. Thus you can see how a file evolved, and you can easily find the revision at which lines appeared, disappeared, or changed.
derek | Shared With: Everyone - Jul 26 2007 | open source, .net, development, tools
derek | Shared With: Everyone - Jul 10 2007 | spec#, programming, tools, type checking, static analysis, null, compiler
Quoted: * The Spec# programming language. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and postconditions as well as object invariants.
* The Spec# compiler. Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.
* The Spec# static program verifier. This component (codenamed Boogie) generates logical verification conditions from a Spec# program. Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.
A unique feature of the Spec# programming system is its guarantee of maintaining invariants in object-oriented programs in the presence of callbacks, threads, and inter-object relationships.




Send Derek a friend request or a personal message instead.