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 - Feb 26 2008 | winmover, tools, windows, vista, taekwindow
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.
Related Content from Around Faves
tools
-
2 FaversViewed: 82 TimesQuoted: When it comes to paper prototyping made in a digital fashion, there are two tools that really stand out: Balsamiq Mockups and iPlotz. People often wonder how the two compare one to each other and since there is no comparison available I thought it would be a good idea for me to write one. So here it is.
- mike - May 28 20092 FaversViewed: 2 Times
- tsupo - Nov 05 20072 FaversViewed: 46 Times
open source
-
1 FaverViewed: 6 TimesQuoted: This presentation covers the definition of a graph database (information structured as mathematical graphs with nodes, relationships and properties) and their advantages when dealing with data that is difficult to fit in static tables, is rapidly evolving, or that has a lot of optional attributes. The flexibility of graph databases better support agile development and schema evolution.
- mike - Sep 18 20091 FaverViewed: 7 Times
- mike - Sep 15 20091 FaverViewed: 12 Times



