Posts By: bashyal
| Date | Post | Topic |
| 01/31/2012 | POPL Paper | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 10/11/2011 | Lars Bak on Dart | Google's Dart announced |
| 10/12/2011 | Gilad Bracha on Dart | Google's Dart announced |
| 10/07/2011 | Eric Schmidt on Steve Jobs | Open thread: RIP Steve Jobs |
| 10/07/2011 | Stephen Wolfram | Open thread: RIP Steve Jobs |
| 04/13/2011 | Got tea in my coffee | Redhat's New Language |
| 04/06/2011 | Computer History Museum | History of PL |
| 03/30/2011 | 2010 LLVM Developers' Meeting | Finding and Understanding Bugs in C Compilers |
| 04/03/2011 | iPad tracks 11 fingers, | Programming on an iPhone |
| 04/11/2011 | TouchStudio | Programming on an iPhone |
| 03/16/2011 | Interview With Albert Gräf - Author of the Pure Programming Language | Interview With Albert Gräf - Author of the Pure Programming Language |
| 02/26/2011 | Rob Pike on Parallelism and Concurrency in Programming Languages | InfoQ video + transcript of Rob Pike on Go |
| 01/15/2011 | MapReduce and Parallel DBMSs: Friends or Foes? | guy steele on how (not) to think of parallel programming |
| 11/04/2010 | Sawzall Language Open Sourced | Sawzall Language Open Sourced |
| 10/17/2010 | Using Hackage to Inform Language Design | Using Hackage to Inform Language Design |
| 10/01/2010 | Weka | What is the best system for experimenting with and visualizing complex algorithms? |
| 08/28/2010 | Sapir-Whorf 70 years on | Sapir-Whorf 70 years on |
| 08/24/2010 | Paper is available | Type Classes as Objects and Implicits |
| 07/28/2010 | Publisher's site | Book: Pearls of Functional Algorithm Design |
| 08/03/2010 | +1 for no link | It's been ten years! |
| 07/28/2010 | Happy Birthday! | It's been ten years! |
| 07/28/2010 | Adding to the reviews list | OSCON 2010 Emerging Languages Camp |
| 09/05/2010 | Videos online | OSCON 2010 Emerging Languages Camp |
| 09/22/2010 | Server is back up | OSCON 2010 Emerging Languages Camp |
| 07/25/2010 | Seems to be.. | History: CPL, the great-grandfather of C |
| 07/28/2010 | Interview with the designer | The Mirah Language |
| 06/25/2010 | Xtext: An IDE on the cheap | Xtext: An IDE on the cheap |
| 06/08/2010 | SIGPLAN's first Programming Languages Software Award goes to LLVM | SIGPLAN's first Programming Languages Software Award goes to LLVM |
| 06/11/2010 | import of clang/LLVM into FreeBSD HEAD | SIGPLAN's first Programming Languages Software Award goes to LLVM |
| 06/11/2010 | Licensing seems to be the main issue | SIGPLAN's first Programming Languages Software Award goes to LLVM |
| 06/09/2010 | Now there's a debugger too | SIGPLAN's first Programming Languages Software Award goes to LLVM |
| 06/08/2010 | PLT Scheme is a Racket | Racket Released |
| 05/17/2010 | Algol 58/60 | Algol 58/60 |
| 04/16/2010 | CL | Brians functional brain |
| 04/15/2010 | Maxine VM: A VM in Java | Maxine VM: A VM in Java |
| 04/16/2010 | Paper | Maxine VM: A VM in Java |
| 09/09/2010 | Difference | iPhone PL lockdown |
| 09/09/2010 | Download restricted to non-JS languages | iPhone PL lockdown |
| 04/06/2010 | Emerging Languages Conference | Emerging Languages Conference |
| 04/12/2010 | Not O'Reilly sponsored conference | Emerging Languages Conference |
| 03/28/2010 | Small is Beautiful: the design of Lua | Small is Beautiful: the design of Lua |
| 03/29/2010 | Eventually | Small is Beautiful: the design of Lua |
| 03/31/2010 | Biography | Late Robin Milner |
| 03/10/2010 | Looks like it | Have tracing JIT compilers won? |
| 03/11/2010 | Scheme | Have tracing JIT compilers won? |
| 03/09/2010 | Works for me | Fighting Bit Rot with Types (Scala Collections) |
| 03/09/2010 | latter | Fighting Bit Rot with Types (Scala Collections) |
| 02/19/2010 | clopen | Reminder: OOPSLA is now SPLASH |
| 02/19/2010 | Open Access to Scientific Publications | Reminder: OOPSLA is now SPLASH |
| 05/06/2010 | Hip-hop source available | HipHop: Facebook runs compiled PHP on its servers |
| 01/22/2010 | sort by author is not working. | see history of things i started (vs. commented on)? |
| 01/15/2010 | Here's some | catalog of functional approaches to games? |
| 01/01/2010 | Live stat | The year in review, and What's to come |
| 12/31/2009 | Ioke | most water-tight real-world language implementation? |
| 01/05/2010 | Even OOP is too much | The AI Systems of Left 4 Dead |
| 12/18/2009 | ETL->MySQL->R | Back to the Future: Lisp as a Base for a Statistical Computing System |
| 12/16/2009 | Previous Discussions | Why API Design Matters |
| 12/17/2009 | Paper & Lecture Slides | The Development of Sage |
| 11/14/2009 | "Don't worry about overflowing a punched card." | Go or Unladen Swallow? |
| 11/19/2009 | Objective C 2.0 is open source | Go or Unladen Swallow? |
| 11/09/2009 | Integer multiplications and additions are associative | State of the art C compiler optimization tricks |
| 11/05/2009 | The Origins of APL | The Origins of APL |
| 11/05/2009 | Definitely | The Origins of APL |
| 11/27/2009 | Just serendipity | The Origins of APL |
| 12/24/2009 | Barbara Liskov's OOPSLA Keynote Video | On Understanding Data Abstraction, Revisited |
| 11/11/2009 | Slides & Video | Liskov's list of papers |
| 10/29/2009 | ECOOP 2009 Banquet speech | ECOOP 2009 Banquet speech |
| 09/23/2009 | JVM language summit 2009 | JVM language summit 2009 |
| 09/23/2009 | It's on the video | JVM language summit 2009 |
| 09/01/2009 | Spec | Apple "adds closures to C" in Mac OS X 10.6 |
| 09/03/2009 | ABI Spec | Apple "adds closures to C" in Mac OS X 10.6 |
| 08/31/2009 | Computer Code as a Medium for Human Communication | Computer Code as a Medium for Human Communication |
| 09/14/2009 | Non-acm link | Eastwest: a new programming language and structure editor |
| 08/11/2009 | There's an interview with | Stepanov and McJones: Elements of Programming |
| 08/11/2009 | Messaging nil is safe in Objective-C | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | Having an arithmetical value | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | Helpful in most circumstances | Avoid a Void: eradicating null-pointer dereferencing |
| 07/28/2009 | New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM | New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM |
| 03/12/2010 | Is this the paper? | The Myth of the Genius Programmer |
| 05/11/2009 | No, not a joke. | Why Did M.I.T. Switch from Scheme to Python? |
| 04/05/2009 | Interview "Twitter on Scala" | Twitter and Scala |
| 04/06/2009 | Reliable, high performance code | Twitter and Scala |
| 03/30/2009 | Subsumption at all costs | Subsumption at all costs |
| 01/14/2009 | History of Python | History of Python |
| 10/28/2008 | A Start | Web application shootout? |
| 10/28/2008 | Some comparisons | Web application shootout? |
| 08/28/2008 | Papers | From Writing and Analysis to the Repository: Taking the Scholars' Perspective on Scholarly Archiving |
| 05/29/2008 | Terminology: Internal vs External | DSLs: Embedded, standalone, or both? |
| 10/26/2010 | It moves but at what cost/effort? | Concurrent Composition and Algebras of Events, Actions, and Processes |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |