Flagged Links #44

"Exploring the Z3 Theorem Prover (with a bit of LINQ)" and "LINQ to Z3 – Theorem Solving on Steroids – Part 0" - Seriously, watch this series of links if you're a .NET fan. This looks to be extremely technically satisfying.

"Type Theory Essentials in Pictures – Part 1 – Answers" - Good pictures always make concepts easier to understand.

"LINQ in JavaScript" - I didn't know people were trying to port LINQ to JavaScript - makes sense to try, though.

"The Takehome Message From the Tax Day Teabagging Protests: "Hi. We're all morons."" - A very NSFW description of the teabagger (snicker, snicker) protests.

"Why Evolution is True" - Sounds like a good book to read, especially since my background is not in biology.

"What the dooce?" - Please, for all that is good in the world, get your kids vaccinated.

"Halo 3 Fails: Episode 16" - Failopolis.

"How to improve the performance of ASP.NET MVC web applications" - Some good tips on performance improvements.

"4D Mental Challange" - The videos are cool.

"Interview Fail" - That's a whole of crazy there is what that is.

"Must Watch: Official Trailer for Lars von Trier's Antichrist" - This looks like one trippy, disturbing movie.

"McG's Terminator Salvation Will End Up Rated PG-13" - I'm not really surprised, and I doubt it'll matter. "LOTR" and "The Dark Knight" were both PG-13 and there were very intense at times.

"Must Watch: Intense New Trailer for The Hurt Locker!" - I'd fail as this job - looks like a good movie.

"Cecil and the CCI" - From the creator of Cecil. There are a lot of other CCI-related posts out there (here and here), most of them excited about the managed PDB reader/writer API, although Miguel (in JB's comment section) seems to think it's not as big of a deal as it's being made out to be. Still, CCI is extremely big news and I need to start spending time on it myself.

"Styles of AOP", "AOP with PostSharp" and "AOP with PostSharp.Laos" - A really good set of articles on AOP in .NET. I'm personally wondering what CCI does to this space.

"Zero Punctuation: MadWorld" - Your weekly dose of Zero zen.

"IL Features Missing in C#" - I wish .tail would get in there.

* Posted at 04.20.2009 07:31:53 AM CST | Link *

Blog History