in

B# .NET Technical Community Homepage

Bart De Smet's online technical community

Browse by Tags

  • LINQSQO v4.0 and MinLINQ v1.0 Now Available for Download

    Introduced in my previous blog post on The Essence of LINQ – MinLINQ , the first release of this project is now available for reference at the LINQSQO CodePlex website at http://linqsqo.codeplex.com . Compared to the write-up over here in my previous post, there are a few small differences and caveats...
    Posted to B# .NET Blog (Weblog) by bart on 01-02-2010
  • The Essence of LINQ – MinLINQ

    Introduction Before reaching the catharsis in the “More LINQ with System.Interactive” series over here, I wanted to ensure a solid understanding of the essence of LINQ in my reader base. Often people forget the true essence of a technology due to the large number of auxiliary frameworks and extensions...
    Posted to B# .NET Blog (Weblog) by bart on 01-01-2010
  • LINQ to Z3 – Theorem Solving on Steroids – Part 1

    Introduction It’s way too long ago I wrote about this side-project of mine, as I got side-tracked by other stuff both inside and outside the realm of LINQ (more about that some other time around). Last time, I showed how to put “the query pattern” to our hand by providing an implementation for the Where...
    Posted to B# .NET Blog (Weblog) by bart on 09-27-2009
  • LINQ to Z3 – Theorem Solving on Steroids – Part 0

    Introduction Last time around in this blog category we looked at using Z3 for testing satisfiability of simple Boolean logic expressions. Obviously Z3 is capable of doing much more, so this time we’ll reach out to the domain of integer value arithmetic. Not only that, last time I subtly hinted how this...
    Posted to B# .NET Blog (Weblog) by bart on 04-19-2009
  • LINQ and The Matrix – Introducing MLinq

    Today we’ll take a look at project “MLinq”, a very simple way to perform symbolic matrix calculations based on LINQ expression trees.   Introduction But first, why would you even want to do this? Let me tell you I’m a big believer of the power of mathematical notation. Say you’ve been asked to write...
    Posted to B# .NET Blog (Weblog) by bart on 02-10-2009
Page 1 of 1 (5 items)
Powered by Community Server (Non-Commercial Edition), by Telligent Systems