Posts By: Koray Can
| Date | Post | Topic |
| 12/22/2009 | OO (vs?) FP | Unfulfilled Promises of Software Technologies? (!) |
| 12/23/2009 | Because, 1) these | Unfulfilled Promises of Software Technologies? (!) |
| 12/28/2009 | Who are these OO languages? | Unfulfilled Promises of Software Technologies? (!) |
| 12/28/2009 | I must be lacking background on this... | Unfulfilled Promises of Software Technologies? (!) |
| 11/07/2009 | Selection Bias, Non-determinism & Non-termination | John Hughes on Erlang and Haskell |
| 10/30/2009 | Leo | Literate Programming: Retrospect and Prospects |
| 08/03/2009 | This I too agree with | Definition of Functional Programming Language |
| 06/01/2009 | major agreement | Computing Needs Time |
| 05/29/2009 | mainstream programming blogosphere | Questions Five Ways |
| 05/07/2009 | Much glossed over subject | Right on! |
| 01/15/2009 | CWE/SANS TOP 25 Most Dangerous Programming Errors | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/15/2009 | Weird phrasing all over | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/14/2009 | It ought to be dead | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | goto doesn't have that place | What Are The Resolved Debates in General Purpose Language Design? |
| 10/23/2008 | Engineering Research | BEE3: Putting the Buzz Back into Computer Architecture |
| 09/02/2008 | Isn't python something like that... | Google chrome |
| 08/25/2008 | Some code out there | Features of Common Lisp |
| 08/20/2008 | Two quotes from the draft | In Praise of Scripting: Real Programming Pragmatism |
| 07/15/2008 | Databases | In search for a programming language to replace spreadsheets. |
| 05/29/2008 | Me too post | Software complexity as means of professional advancement |
| 05/08/2008 | Drama | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 01/31/2008 | We're ALL talking about it? | Arc is released |
| 01/08/2008 | m' yeah, I'm going to need you to... | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | This place for rant | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 12/14/2007 | Networking and shared goals? | CUFP write-up |
| 12/14/2007 | Insufficient Handwaving Facilities | poll: syntax |
| 11/08/2007 | Me too post | Universal Type System |
| 10/30/2007 | Traditions | Searching for a quote |
| 10/30/2007 | Closer target | Searching for a quote |
| 11/02/2007 | Friday Afternoon => Batteries Low | On the Importance of Purity |
| 11/03/2007 | Ok, we so agree that OR is | On the Importance of Purity |
| 10/11/2007 | Measurement | Computing is a Natural Science |
| 10/12/2007 | Who is the user in CS? | Computing is a Natural Science |
| 10/12/2007 | Church-Turing Thesis | Computing is a Natural Science |
| 10/12/2007 | The name is thesis for a reason | Computing is a Natural Science |
| 09/27/2007 | It's been out there for a long while | FPGA CPUs |
| 08/14/2007 | Computing Kazhdan-Lusztig-Vogan Polynomials for E8 | Computing Kazhdan-Lusztig-Vogan Polynomials for E8 |
| 07/21/2007 | Visigoths! | Best LtU humour |
| 07/21/2007 | testing vs tests | Or is it now? |
| 07/13/2007 | Not sure if I am following you | Type inference for free? |
| 07/03/2007 | Interesting | Q tutorial |
| 06/29/2007 | Ouch | Haskell web store |
| 07/06/2007 | Perpetual Null Hypothesis | Haskell web store |
| 06/28/2007 | Experts vs beginners | Standing on each others' feet |
| 06/15/2007 | Everything else is next | What next? |
| 05/02/2007 | Enjoys wasting | Is Integer wrapping an exceptional condition? |
| 03/23/2007 | Have to spell out Standard ML from now on... | Have to spell out Standard ML from now on... |
| 03/13/2007 | More | Order of the Science Scouts Badges |
| 03/10/2007 | Mloc Mania | Automatic Programming |
| 02/12/2007 | Perpetual crisis | Almost everything happened in the Golden Age, right? |
| 02/07/2007 | Glue = money | Opinions on _Theoretical Introduction to Programming_? |
| 01/25/2007 | They gotta get a new interviewer | Software Composability and the Future of Languages |
| 02/19/2007 | Wrong department | Why people don't use functional programming? |
| 12/21/2006 | My guess | The Role of Composition in Computer Programming |
| 12/27/2006 | Monster | Commercial Users of Functional Programming 2006 |
| 12/08/2006 | Deja vu? | Bjarne Stroustrup: The Problem with Programming |
| 11/28/2006 | Wrong category, eh? | Mechanized Metatheory Model-Checking |
| 11/30/2006 | Probably not-OT | The Future of LtU |
| 11/17/2006 | Abstractly typed languages | Abstractly typed languages |
| 11/16/2006 | off-topic | Second Life Faces Threat to its Virtual Economy |
| 11/17/2006 | Uncommon | Second Life Faces Threat to its Virtual Economy |
| 10/20/2006 | nitpick? | Ralph Griswold died |
| 10/11/2006 | Actually | The US Torture Bill as C code |
| 10/11/2006 | Puzzled | The US Torture Bill as C code |
| 10/13/2006 | Ah | The US Torture Bill as C code |
| 08/28/2006 | They do today | Implementing arrays |
| 08/21/2006 | Monday | Closures for Java or money back |
| 08/23/2006 | David Weitzman's complaint | Closures for Java or money back |
| 07/24/2006 | Cost | Cost of provably-correct code |
| 07/24/2006 | Some other kind of programming | Cost of provably-correct code |
| 07/07/2006 | It's in the paper | Failure-oblivious computing |
| 07/07/2006 | Normal Order | Programming Languages and Lambda Calculi |
| 06/28/2006 | I agree | LtU: Policies document |
| 06/23/2006 | Thursday | What are the real benefits of FP? |
| 06/16/2006 | Cobol | The Semicolon Wars |
| 06/15/2006 | Got method aliasing? | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/09/2006 | Objects & Coalgebra | Relevance of Curry-Howard |
| 06/01/2006 | Neat example | Type checking and logical errors |
| 05/30/2006 | Background | yet another noob via "little lisper" and scheme |
| 05/30/2006 | Chopsticks and forks | First Class Values, Types as values within a Programming Language |
| 05/30/2006 | Of course not | First Class Values, Types as values within a Programming Language |
| 07/19/2006 | ...that a value cannot ever | First Class Values, Types as values within a Programming Language |
| 05/30/2006 | True | Buried Treasure - No Fluff Just Stuff |
| 05/31/2006 | Not quite | Buried Treasure - No Fluff Just Stuff |
| 06/01/2006 | Whoops | Buried Treasure - No Fluff Just Stuff |
| 05/26/2006 | OT | Stealing language features for fun and profit in Ruby |
| 05/20/2006 | friday | Question about Lazy-ness and algorithmic runtime analysis |
| 05/22/2006 | monday | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/11/2006 | silence | The case for Semantic Analysis |
| 05/09/2006 | Well, CNN/Money says that | Computer Science Looks for a Remake |
| 04/23/2006 | Cool | Dynamic Software Updating for C |
| 04/24/2006 | Yes indeed | Dynamic Software Updating for C |
| 04/21/2006 | Confused | Functional single argument style object oriented programming |
| 04/12/2006 | TaPL | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/19/2006 | Software workaround for a project management problem? | public vs. published interfaces |
| 04/03/2006 | Experiment | Purity in PLT |
| 03/28/2006 | Reason | Extremely static language? |
| 03/21/2006 | Is that all Gosling said? | Gosling vs. Dynamic Languages |
| 03/16/2006 | 73 points in the first half | Programming: 50, 100 years from now |
| 03/14/2006 | Championed by a gut feeling | Visualisable Languages |
| 03/15/2006 | Conflicting argument by Dr.Pro | Visualisable Languages |
| 03/15/2006 | Nothing to zoom into | Visualisable Languages |
| 03/07/2006 | Hah | Strongly typed quantities in Java |
| 02/22/2006 | Why They vs We | Gilad Is Right |
| 02/11/2006 | Evolutionary Approach | Guido: Language Design Is Not Just Solving Puzzles |
| 02/10/2006 | Is STL algorithms doing damage to the cause? | Is STL algorithms doing damage to the cause? |
| 02/10/2006 | My poor choice of words | Is STL algorithms doing damage to the cause? |
| 02/10/2006 | Off-topic FYI | Is STL algorithms doing damage to the cause? |
| 02/07/2006 | Article Title is Misleading | eWeek: 'Exotic' Programming Tools Go Mainstream |
| 02/07/2006 | Hypothetical Counter-question | hypothetical question |
| 02/02/2006 | A couple of quotes I found interesting | The Next Mainstream Programming Languages |
| 02/01/2006 | Overgeneralized drilling | Packaging Data And Methods |
| 01/31/2006 | only skimmed it, so no comments | U, a small model |
| 02/01/2006 | ? | Weak vs. strong typing |
| 01/23/2006 | Lambda the ultimate peer review | Lambda the ultimate peer review |
| 01/21/2006 | Not according to my source | What is a Proposition? |
| 01/20/2006 | The Internet... | What is a Proposition? |
| 01/05/2006 | A flat world | Stroustrup talking about C++0x |
| 12/30/2005 | Return of the Global Variables? | Return of the Global Variables? |
| 12/31/2005 | I think I couldn't explain myself well | Return of the Global Variables? |
| 12/31/2005 | Re: Unit tests | Return of the Global Variables? |
| 01/03/2006 | What's wrong with the standar | Return of the Global Variables? |
| 12/29/2005 | Well | Joel Spolsky views on CS education |
| 12/31/2005 | W | Joel Spolsky views on CS education |
| 01/20/2006 | CS vs CE | Joel Spolsky views on CS education |
| 12/30/2005 | Joel's example is not complete... | Joel Spolsky views on CS education |
| 01/05/2006 | Dear HR | Joel Spolsky views on CS education |
| 01/06/2006 | Head first | Joel Spolsky views on CS education |
| 01/18/2006 | What if it's not meant to be? | Joel Spolsky views on CS education |
| 12/29/2005 | Leading the witness | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 12/22/2005 | Thanks. That was very useful. | Beyond "Beyond Java" etc. |
| 01/06/2006 | Question | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 01/06/2006 | Neutrality | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 12/14/2005 | I'd recommend emailing haskel | Djinn, a theorem prover in Haskell, for Haskell. |
| 12/14/2005 | Heh | Back to the future... |
| 12/10/2005 | Could you clarify | Types and reflection |
| 12/06/2005 | Every now and then you have t | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/02/2005 | Basic | The breaking point of language usability? |
| 12/06/2005 | Getting by is overrated | The breaking point of language usability? |
| 12/06/2005 | Humbly | Misc Links |
| 06/01/2009 | Hit by the same exception... | Code Reading |
| 11/18/2005 | Friday | Felleisen: How to Design Class Hierarchies |
| 11/10/2005 | Minor syntax | OCaml 3.0.9 |
| 11/17/2005 | Title de jour | Classification according to type vs function - An anecdote |
| 11/09/2005 | Ahem | Classification according to type vs function - An anecdote |
| 10/31/2005 | Puzzled | Does Visual Studio Rot the Mind? |
| 10/31/2005 | More of the same | Does Visual Studio Rot the Mind? |
| 10/30/2005 | Disappointed | Does Visual Studio Rot the Mind? |
| 11/03/2005 | One more reply | OOPSLA 2005 Reports |
| 03/22/2006 | Linear types for aliased resources | Linear types for aliased resources |
| 10/20/2005 | I agree with Ehud | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
| 10/24/2005 | N/A | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
| 11/01/2005 | No Title | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
| 10/19/2005 | inserting means inserting a n | Best default sequence? |
| 08/21/2006 | More non-answers | Object Oriented Programming + Referential Transparency |
| 10/12/2005 | Also | Formal methods used in developing "profitable" software |
| 10/10/2005 | Disclaimer: I am no expert | The Church-Turing Thesis: Breaking the Myth |
| 10/06/2005 | The subject's a bit OT for Lt | Scalability |
| 09/27/2005 | Sounds ok to me | LtU: Style and Focus |
| 09/28/2005 | Papers | What is Intuitive? |
| 09/23/2005 | There are a lot of things in | Ruby: Language of the Programming Übermensch? |
| 09/24/2005 | Definition | Ruby: Language of the Programming Übermensch? |
| 09/22/2005 | Regarding education | Don Box: Scheme Is Love |
| 01/19/2006 | LtU Journalism | Visual Basic and LINQ |
| 09/15/2005 | I agree | Haskell and creative freedom |
| 08/23/2005 | Strange Philosophy | Should Computer Science Get Rid of Protocols? |
| 09/29/2005 | ??? | A Java/Python hybrid? |
| 07/28/2005 | Congratulations | Happy Birthday, dear Lambda |
| 07/29/2005 | FWIW | Happy Birthday, dear Lambda |
| 07/28/2005 | I disagree | [Fun, crass] The Daily WTF |
| 07/27/2005 | Probably | 4-color theorem |
| 07/28/2005 | What is fast enough, btw ? | ACM Queue: Security Problem Solved? |
| 07/29/2005 | Maybe | ACM Queue: Security Problem Solved? |
| 07/22/2005 | Feeling | On the Revival of Dynamic Languages |
| 07/19/2005 | It's not exactly functional -> imperative | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/18/2005 | I fixed the pdf for you | Termite: a Lisp for Distributed Computing |
| 07/19/2005 | Static Typing Where Possible, Dynamic Typing When Needed | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/12/2005 | Unsatisfied | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/10/2005 | Haha | ESL Design |
| 07/05/2005 | Aesthetics ? | Martin Fowler on Language Workbenches and DSLs |
| 07/08/2005 | Well | Martin Fowler on Language Workbenches and DSLs |
| 07/08/2005 | It's massive | Martin Fowler on Language Workbenches and DSLs |
| 07/10/2005 | Yeppers | Martin Fowler on Language Workbenches and DSLs |
| 06/16/2005 | My Question would be... | Java Generics, Arrays, and Comparables |
| 05/31/2005 | Taking Sides | Judy Stores |
| 05/27/2005 | Maybe MS don't know that they do | Generics: The Importance of Wildcards |
| 05/23/2005 | This one does it, imho | Haskell for C Programmers |
| 05/24/2005 | Philippa was correct | Haskell for C Programmers |
| 05/24/2005 | And I indeed do that... | Haskell for C Programmers |
| 05/10/2005 | a few | More sites like Lambda |
| 05/11/2005 | Relevant thread | Why Dependent Types Matter |
| 05/08/2005 | ASCII and beyond | subtext: Uncovering the simplicity of programming |
| 06/04/2006 | optimization | Let's make a programming language! |
| 05/02/2005 | What is (take (list 4 5 6) x) | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | editors | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/29/2005 | I disagree | From Perl Monks: "pissed off about functional programming" |
| 05/09/2005 | Tree ? | From Perl Monks: "pissed off about functional programming" |
| 04/26/2005 | Backus | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 11/02/2005 | Don't mean any harm, but... | Richard Hamming - "You and Your Research" |
| 04/22/2005 | As formal as it gets | Computer generates verifiable mathematics proof |
| 04/13/2005 | Pypes | Dominus talks about HO Perl |
| 04/08/2005 | Ahaha | Computerworld Development Survey |
| 04/11/2005 | Maybe | Computerworld Development Survey |
| 04/07/2005 | Yes please | Two requests |
| 04/07/2005 | oh btw | Two requests |
| 12/09/2008 | No seasoned schemer myself | Lisp-Stat does not seem to be in good health lately. |
| 03/15/2005 | 'It' annoys us all | OCaml vs. C++ for Dynamic Programming |
| 12/19/2006 | RT | Transparent Persistence |
| 01/30/2005 | Me too moment | Langauges and Hardware... |
| 01/07/2005 | Not about macros, but | Ian Bicking: The challenge of metaprogramming |
| 11/23/2004 | Not quite that bad | Release of Python 2.4, release candidate 1 |
| 11/24/2004 | Well | Release of Python 2.4, release candidate 1 |
| 12/05/2006 | [OT] I definitely shouldn't | Understanding continuations |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |