| 1. | | New Microsoft CEO boosts ex-Clinton aide in staff shakeup (seattletimes.com) |
| 1 point by gtani on March 3, 2014 | past |
|
| 2. | | What I Wish I Knew When Learning Haskell (stephendiehl.com) |
| 306 points by gtani on April 14, 2013 | past | 99 comments |
|
| 3. | | Steer clear of Facebook’s Home for Android (seattletimes.com) |
| 62 points by gtani on April 13, 2013 | past | 33 comments |
|
| 4. | | PC sales plunge, Microsoft and Windows 8 blamed (seattletimes.com) |
| 46 points by gtani on April 11, 2013 | past | 53 comments |
|
| 5. | | As Math Grows More Complex, Will Computers Reign? (wired.com) |
| 32 points by gtani on March 5, 2013 | past | 39 comments |
|
| 6. | | Concatenative languages reading list (joy, forth (gist.github.com) |
| 2 points by gtani on Feb 27, 2013 | past |
|
| 7. | | Introduction to Haskell IO: tutorial on type system and inference, GHCi, (haskellforall.com) |
| 4 points by gtani on Jan 22, 2013 | past |
|
| 8. | | Advice for New Graduates; Developing Software, tools, frameworks, languages etc (xenonique.co.uk) |
| 1 point by gtani on Jan 20, 2013 | past |
|
| 9. | | Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems (bham.ac.uk) |
| 1 point by gtani on Aug 22, 2012 | past |
|
| 10. | | Physics, Topology, Logic, Computation: A Rosetta Stone (2009) [pdf] (ucr.edu) |
| 2 points by gtani on Aug 12, 2012 | past |
|
| 11. | | Functional programming Books Review/Reading List (alexott.net) |
| 6 points by gtani on Aug 2, 2012 | past |
|
| 12. | | Oregon programming languages summer school: Logic, Compilation, Verification (uoregon.edu) |
| 2 points by gtani on Aug 2, 2012 | past |
|
| 13. | | Are functional languages inherently slow? (flyingfrogblog.blogspot.co.uk) |
| 34 points by gtani on July 26, 2012 | past | 48 comments |
|
| 14. | | K framework: An Executable Formal Semantics of C with Applications (lambda-the-ultimate.org) |
| 1 point by gtani on July 24, 2012 | past |
|
| 15. | | Lambda Calculus, detailed history (D Scott)[PDF, 30pgs] (acm.org) |
| 7 points by gtani on July 17, 2012 | past |
|
| 16. | | ICFP 2012 papers(ACM Internat.Conference on Functional Programming(PDF drafts) (github.com/technogeeky) |
| 2 points by gtani on July 12, 2012 | past |
|
| 17. | | Mapping How Programming Languages Influenced Each Other According to Wikipedia (ouseful.info) |
| 42 points by gtani on July 3, 2012 | past | 14 comments |
|
| 18. | | Why Do Some Programming Languages Live and Others Die? (wired.com) |
| 32 points by gtani on June 8, 2012 | past | 25 comments |
|
| 19. | | Haskell: Three Flavors of MVar (neilmitchell.blogspot.com) |
| 2 points by gtani on June 4, 2012 | past |
|
| 20. | | Most Important GHC (Haskell) extensions to learn/use? (gmane.org) |
| 1 point by gtani on June 1, 2012 | past |
|
| 21. | | Liquid Types, static verification: deduction, model checking, type systems (microsoft.com) |
| 79 points by gtani on April 29, 2012 | past | 14 comments |
|
| 22. | | Emerging languages: Tour of horizon (dozens of languages/libs [pdf, 51 slide] (slideshare.net) |
| 2 points by gtani on April 12, 2012 | past |
|
| 23. | | Building New Systems for Scientists : collaboration tools, open publishing (thefundable.blogspot.com) |
| 1 point by gtani on April 10, 2012 | past |
|
| 24. | | Parallelism and the Limits of (programming) Languages (whilefalse.blogspot.com) |
| 62 points by gtani on April 9, 2012 | past | 22 comments |
|
| 25. | | Lang.NEXT Conference Trip Report: C++, java, go, C# (bartoszmilewski.com) |
| 2 points by gtani on April 8, 2012 | past |
|
| 26. | | Probability and Statistics Cookbook (vallentin.net) |
| 9 points by gtani on March 12, 2012 | past |
|
| 27. | | Functional thinking: Functional design patterns, (groovy, mostly)Part 1 (ibm.com) |
| 4 points by gtani on March 7, 2012 | past |
|
| 28. | | Static code analyzer for Clojure, core.logic unifier search control structures (github.com/jonase) |
| 3 points by gtani on March 5, 2012 | past |
|
| 29. | | JIT for Dummies (What JVM Does With Bytecode [107 slides] Charles Nutter (slideshare.net) |
| 2 points by gtani on Feb 28, 2012 | past |
|
| 30. | | Doug Lea, latest ForkJoin updates (JVM concurrency) (oswego.edu) |
| 3 points by gtani on Jan 29, 2012 | past |
|
|
| More |
