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.
"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 *