Posts By: el-vadimo
Date | Post | Topic |
03/19/2012 | Doron Zeilberger's Opinion #112 | References about the importance of formalism in programming language design |
03/14/2012 | social aspects of influential dissent | Informed dissent: William Cook contra Bob Harper on OOP |
02/29/2012 | xref | Milawa on Jitawa: a Verified Theorem Prover |
03/02/2012 | Christian Queinnec meets Norman Adams | why first-class functions |
02/29/2012 | algorithm animation | Bret Victor's Inventing on Priniciple |
02/25/2012 | full disclosure | PLT humor on Twitter |
02/25/2012 | @PLT_Borat | PLT humor on Twitter |
02/08/2012 | dimensional analysis | The Algebra of Data, and the Calculus of Mutation |
02/02/2012 | Re: What exactly can it do? | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
01/05/2012 | <a href="deca#comment-68815" class="active">être, ou ne pas étre</a> | Deca, an LtU-friendly bare metal systems programming language |
01/05/2012 | <a href="deca#comment-68810" class="active">“You and Your Research”</a> | Deca, an LtU-friendly bare metal systems programming language |
12/29/2011 | relationship of Redex to Jackson's Alloy | Run Your Research: On the Effectiveness of Mechanization |
12/28/2011 | tangential remarks | Seven Myths of Formal Methods Revisited |
01/03/2012 | understanding things top to bottom | Programmer Archeologists |
12/06/2011 | CiaoPP | General purpose as a special case? |
12/05/2011 | therapeutic aspect of a REPL | General purpose as a special case? |
12/05/2011 | Re: Why only ‘minimal' langues | General purpose as a special case? |
11/18/2011 | REPL-schmepl? | REPL-schmepl? |
11/29/2011 | on the value of planning (and documentation) | REPL-schmepl? |
11/30/2011 | REPL as an afterthought | REPL-schmepl? |
12/01/2011 | evaluating evaluators | REPL-schmepl? |
12/06/2011 | eval gone bad | REPL-schmepl? |
12/06/2011 | more like, “I hate debuggers” | REPL-schmepl? |
11/18/2011 | Re: There's proofs and proofs | math proofs are more robust than computer proofs |
10/02/2011 | xref | SECD Machine - RAP? |
06/22/2011 | modules are anti-modular | modules are anti-modular |
12/03/2010 | redefining professionalism | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
12/04/2010 | Re: …it never dawned on them… | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
11/30/2010 | beyond Bruce Tate | Seven Languages in Seven Weeks |
11/27/2010 | Greenspun's 9th | A book on Racket? |
11/23/2010 | Re: broken link | What is computation? Concurrency versus Turing's Model |
12/02/2010 | analogy considered harmful | What is computation? Concurrency versus Turing's Model |
11/29/2010 | Mike Davey's TM | What is computation? Concurrency versus Turing's Model |
11/17/2010 | monkey patching | Clojure's Solutions to the Expression Problem |
11/18/2010 | clerical note | Clojure's Solutions to the Expression Problem |
11/16/2010 | from the horse's mouth | Clojure's Solutions to the Expression Problem |
11/18/2010 | reference? (Re: full abstraction) | Clojure's Solutions to the Expression Problem |
11/16/2010 | on physicists | A Preliminary Survey on Functional Programming |
11/16/2010 | out of context | A Preliminary Survey on Functional Programming |
11/17/2010 | fear and loathing | A Preliminary Survey on Functional Programming |
11/15/2010 | non-snarky approach to selling FP to the masses | A Preliminary Survey on Functional Programming |
11/13/2010 | jamming (disambiguation) | Lambda the Ultimate seems an Overstatement (not) |
12/02/2010 | Kay's lament | Lambda the Ultimate seems an Overstatement (not) |
11/02/2010 | garbage collector is a refrigerator | Conservative Logic |
11/05/2010 | keeping it simple | A Self-Checking Type System |
10/27/2010 | The Myths of Object-Orientation | The Myths of Object-Orientation |
10/27/2010 | history, tragedy, farce | The Myths of Object-Orientation |
10/29/2010 | Re: Scott McKay is the original tragedy/farce citation in PL | The Myths of Object-Orientation |
10/28/2010 | single dispatch is of the essence | The Myths of Object-Orientation |
10/27/2010 | (temporary) direct URL to the paper | The Myths of Object-Orientation |
11/01/2010 | late-bound familial ties | The Myths of Object-Orientation |
11/01/2010 | ⨯-ref | The Myths of Object-Orientation |
11/10/2010 | let's quote Alan Kay | The Myths of Object-Orientation |
10/28/2010 | objects ≣ closures | The Myths of Object-Orientation |
10/28/2010 | psychiatry of object orientation | The Myths of Object-Orientation |
11/04/2010 | A Stack is not an object. What is? | The Myths of Object-Orientation |
11/04/2010 | RoarVM | The Myths of Object-Orientation |
10/20/2010 | Buridan's take on concurrency | "A Theory of Interprocess Communication" -- Leslie Lamport |
10/22/2010 | how fast is your computer? | "A Theory of Interprocess Communication" -- Leslie Lamport |
10/25/2010 | theorists vs. experimentalists | The barrier to take-up of language innovation |
10/04/2010 | Design Principles Behind Smalltalk | Design Principles Behind Smalltalk |
10/04/2010 | outline | Design Principles Behind Smalltalk |
10/06/2010 | Lively Kernel | Design Principles Behind Smalltalk |
10/06/2010 | the Forth approach to operating systems | Design Principles Behind Smalltalk |
10/06/2010 | BYTE Magazine, August 1981 | Design Principles Behind Smalltalk |
11/09/2010 | shark-infested waters | Design Principles Behind Smalltalk |
10/26/2010 | certifiably visionary Alan Kay | Design Principles Behind Smalltalk |
11/05/2010 | beyond Smalltalk | Design Principles Behind Smalltalk |
11/09/2010 | future work | Design Principles Behind Smalltalk |
08/06/2010 | does your language need a memory model? | does your language need a memory model? |
03/17/2011 | parallel vs. concurrent | does your language need a memory model? |
11/15/2010 | ⨯-reference | Forth in Lisp |
11/15/2010 | along the same lines… | Forth in Lisp |
06/18/2010 | happy rebirth day, LtU NG! | happy rebirth day, LtU NG! |
06/18/2010 | Re: New site | happy rebirth day, LtU NG! |
06/18/2010 | the old site being… | happy rebirth day, LtU NG! |
06/21/2010 | PHP FTW | happy rebirth day, LtU NG! |
06/10/2010 | Frank is back? | Data schema languages |
06/06/2010 | some critiques of the Semat initiative | some critiques of the Semat initiative |
06/07/2010 | non-formalized predictive theories | some critiques of the Semat initiative |
06/14/2010 | Re: non-formalized predictive theories | some critiques of the Semat initiative |
06/09/2010 | Re: Software engineering ≠ civil engineering | some critiques of the Semat initiative |
06/08/2010 | the engineering of process and the process of engineering | some critiques of the Semat initiative |
06/05/2010 | the no–meltdown theorem… | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
06/11/2010 | trusting your SAT solver | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
06/17/2010 | expressivity | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
02/29/2012 | xref | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
05/13/2010 | and don't forget … | On Iteration |
05/19/2010 | xref to an update | Spam filters |
04/22/2010 | Re: Communications of the ACM, May, 2010 Klein et al | seL4: Formal Verification of an Operating-System Kernel |
04/26/2010 | ask not what formal verification can do for you | seL4: Formal Verification of an Operating-System Kernel |
05/10/2010 | first-order vs. fourth-order | seL4: Formal Verification of an Operating-System Kernel |
06/15/2010 | Re: Not in the May issue…. | seL4: Formal Verification of an Operating-System Kernel |
06/21/2010 | Re: Atanassowism | seL4: Formal Verification of an Operating-System Kernel |
12/15/2010 | rigorous standards | seL4: Formal Verification of an Operating-System Kernel |
05/13/2010 | from the horse's mouth | seL4: Formal Verification of an Operating-System Kernel |
04/12/2010 | Gilad Bracha's take | iPhone PL lockdown |
04/05/2010 | Barwise's paper | A Formal System For Euclid's Elements |
04/05/2010 | 124 pages | A Formal System For Euclid's Elements |
11/08/2010 | Re: Error-Handling Patterns | Go's proposed panic/recover exception-like mechanism |
01/06/2012 | exceptions ⇏ stack unwinding | Go's proposed panic/recover exception-like mechanism |
03/31/2010 | The Great Tcl Debate of 1994 | Tcl the Misunderstood |
03/24/2010 | Jean put dire comment on tape | Jean put dire comment on tape |
04/12/2010 | malbolge, masochism, etc. | Jean put dire comment on tape |
03/26/2010 | 20% of C++ | Clojure's Mini-languages |
11/18/2010 | ⨯-reference | First-class environments. Discuss. ;) |
12/02/2010 | Sturgeon vs. Pedersen | On the (Alleged) Value of Proof for Assurance |
12/15/2010 | more on Sturgeon's revelation | On the (Alleged) Value of Proof for Assurance |
05/07/2010 | Gutmann's critique of formal methods | On the (Alleged) Value of Proof for Assurance |
05/11/2010 | seL4's formal semantics of Haskell and C | On the (Alleged) Value of Proof for Assurance |
05/12/2010 | grand challenge | On the (Alleged) Value of Proof for Assurance |
05/09/2010 | the Z notation | On the (Alleged) Value of Proof for Assurance |
06/18/2010 | Bracha on Java serialization (and language design) | On the (Alleged) Value of Proof for Assurance |
06/11/2010 | great principles of computing | plt vs. something else for programming in the large? |
06/14/2010 | Turing's oracle machine | plt vs. something else for programming in the large? |
06/14/2010 | mathematical chauvinism | plt vs. something else for programming in the large? |
05/26/2010 | definition of a powerful argument | plt vs. something else for programming in the large? |
06/11/2010 | malleability of software | plt vs. something else for programming in the large? |
06/15/2010 | footnotes | plt vs. something else for programming in the large? |
06/16/2010 | Garmisch, 1968 | plt vs. something else for programming in the large? |
06/17/2010 | construction in the large | plt vs. something else for programming in the large? |
02/13/2010 | totalitarian principle | A few billion lines of code later: using static analysis to find bugs in the real world |
02/15/2010 | the bus | A few billion lines of code later: using static analysis to find bugs in the real world |
02/16/2010 | alternative summary | A few billion lines of code later: using static analysis to find bugs in the real world |
10/29/2009 | Literate Programming: Retrospect and Prospects | Literate Programming: Retrospect and Prospects |
10/29/2009 | what's next? | Literate Programming: Retrospect and Prospects |
11/07/2009 | closing thoughts | Literate Programming: Retrospect and Prospects |
10/06/2010 | LP/Lisp | Literate Programming: Retrospect and Prospects |
10/25/2010 | progress update on Axiom's literate rewrite | Literate Programming: Retrospect and Prospects |
11/07/2009 | ReST ≠ REST | Literate Programming: Retrospect and Prospects |
11/10/2010 | Re: reference to Kay's comment | Why are objects so unintuitive? |
11/30/2010 | if programming languages were cars | If Programming Languages were <T> |
12/01/2011 | updated link | A bit of Scheming |
05/24/2010 | how complex systems fail | Inspiring Papers |
09/20/2008 | beyond multi-methods | beyond multi-methods |
09/22/2008 | modules for multimethods | beyond multi-methods |
09/12/2008 | Hamming problem redux | Irresistible programs |
08/25/2008 | Gawk for AI | In Praise of Scripting: Real Programming Pragmatism |
08/05/2008 | obligatory xref | Practical Bits of Making a Compiler for a New Language |
05/08/2008 | future history of logic programming | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
04/30/2008 | related question | Is Halting Problem Valid for P? |
04/21/2008 | program verification: the very idea | program verification: the very idea |
04/21/2008 | part I: relation to previous work | program verification: the very idea |
04/21/2008 | part II: Fetzer's thesis | program verification: the very idea |
04/21/2008 | part III: resulting firestorm | program verification: the very idea |
04/25/2008 | Volume 1 and Volume 2 | program verification: the very idea |
05/11/2010 | hardware verification | program verification: the very idea |
04/23/2008 | a mishmash of followups | program verification: the very idea |
04/24/2008 | Fetzer, the careful epistemologist | program verification: the very idea |
04/26/2008 | ceci n'est pas une pipe | program verification: the very idea |
04/27/2008 | moral hazard | program verification: the very idea |
04/27/2008 | allez en avant, et la foi vous viendra | program verification: the very idea |
05/04/2008 | have checker, will verify | program verification: the very idea |
12/17/2010 | Jevons paradox | program verification: the very idea |
04/25/2008 | wget --recursive --no-parent http://vstte.ethz.ch/Files/ | program verification: the very idea |
04/27/2008 | verifying compiler: the grand challenge | program verification: the very idea |
08/03/2008 | on playing catch-up | program verification: the very idea |
09/28/2008 | SECD verification project | program verification: the very idea |
04/15/2008 | more power and less verbiage | more power and less verbiage |
04/15/2008 | a quick example | more power and less verbiage |
04/15/2008 | focusing on the wrong thing? | more power and less verbiage |
04/28/2008 | view from the trenches | Career paths and concerns |
04/28/2008 | more of the same... | Career paths and concerns |
04/28/2008 | "You and Your Research" by Richard Hamming | Career paths and concerns |
03/30/2008 | the power of GNU Awk | the power of GNU Awk |
03/29/2008 | future history of logic programming | future history of logic programming |
03/29/2008 | using WAM to represent XML | future history of logic programming |
03/30/2008 | rights and obligations | future history of logic programming |
05/08/2008 | xref | future history of logic programming |
10/22/2010 | xref | Concurrent Composition and Algebras of Events, Actions, and Processes |
10/25/2010 | Re: Cantrill's “concurrency hucksters and shysters” | Concurrent Composition and Algebras of Events, Actions, and Processes |
04/04/2008 | strictness analysis | Gilad Bracha: Cutting out Static |
04/06/2008 | fly in the ointment | Gilad Bracha: Cutting out Static |
02/03/2008 | Felleisen on toys | Arc is released |
01/15/2008 | beyond programming languages | beyond programming languages |
01/15/2008 | more extensive quote | beyond programming languages |
01/16/2008 | KRL | beyond programming languages |
01/18/2008 | in increments of how many microReids? | beyond programming languages |
01/14/2008 | a people's history of computer science | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
01/14/2008 | economics of software verification | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
04/21/2008 | residual defects | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
01/14/2008 | Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Softwa | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
11/17/2007 | Common Lisp at ITA | Examples of large-scale functional language projects |
04/13/2008 | a quick xref | Minimal FORTH compiler and tutorial |
12/30/2007 | perpetuum mobile | Social Processes and Proofs of Theorems and Programs |
01/07/2008 | treatise of human nature | Social Processes and Proofs of Theorems and Programs |
04/27/2008 | ...except hot bakery items | Social Processes and Proofs of Theorems and Programs |
04/27/2008 | requested citation | Social Processes and Proofs of Theorems and Programs |
04/21/2008 | program verification: the very idea | Social Processes and Proofs of Theorems and Programs |
04/21/2008 | machine-obstructed proof | Social Processes and Proofs of Theorems and Programs |
02/16/2010 | a modern take on social processes and static analysis | Social Processes and Proofs of Theorems and Programs |
04/02/2010 | Vardi's recent digs at DeMillo, Lipton, and Perlis | Social Processes and Proofs of Theorems and Programs |
05/07/2010 | understanding Spafford's lack of enthusiasm | Social Processes and Proofs of Theorems and Programs |
04/02/2010 | breaking provably secure systems | Social Processes and Proofs of Theorems and Programs |
04/22/2010 | tour de force brute | Social Processes and Proofs of Theorems and Programs |
11/29/2010 | Doron Zeilberger's Opinion #112 | Social Processes and Proofs of Theorems and Programs |
03/19/2012 | xref | Social Processes and Proofs of Theorems and Programs |
05/09/2007 | Per Bothner is working on OpenJFX | F3 is now openjfx |
05/14/2007 | Perlis vs. Dijkstra | The Monad.Reader |
05/15/2007 | iceberg looming in the background | The Monad.Reader |
05/16/2007 | notice of correction | The Monad.Reader |
05/19/2007 | death by a thousand Dedekind cuts | The Monad.Reader |
04/10/2012 | theorem industry redux | The Monad.Reader |
11/16/2010 | Sussman's comment at ILC'09 | De-Scheming MIT? |
11/08/2010 | ⨯-reference | Machine Obstructed Proof |
04/27/2008 | xref | Verified Software: Theories, Tools, and Experiments |
08/19/2006 | Closures for Java or money back | Closures for Java or money back |
08/19/2006 | GLS's 2003/08/21 post on ll1-discuss | Closures for Java or money back |
08/23/2006 | icing on the four-layered cake | Closures for Java or money back |
09/05/2006 | Re: Erasure a joke? | Closures for Java or money back |
08/26/2006 | Re: non-local transfer | Closures for Java or money back |
08/29/2006 | "lexically scoped" non-local transfer | Closures for Java or money back |
08/30/2006 | is too | Closures for Java or money back |
09/21/2006 | xrefs for archival completeness | Closures for Java or money back |
04/28/2008 | dlw on conditions in CL (and elsewhere) | Common Lisp Exception Handling |
05/22/2006 | Re: Greenspun's Law? | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
04/05/2006 | public vs. published interfaces | public vs. published interfaces |
04/05/2006 | Re: Martin Fowler link | public vs. published interfaces |
04/07/2006 | Re: Not just by convention | public vs. published interfaces |
04/13/2006 | Re: Two thoughts | public vs. published interfaces |
05/02/2006 | Better Math, Better Processes? | ACM Queue: A Conversation with Steve Ross-Talbot |
06/02/2006 | The Calculus Formally Known as Pi | ACM Queue: A Conversation with Steve Ross-Talbot |
08/25/2008 | forward xref | GAWK (GNU AWK) for AI? |
01/02/2006 | ... and this | Joel Spolsky views on CS education |
12/07/2005 | reddit rewrite | Misc Links |
10/25/2005 | Microsoft Command Shell (msh) | Microsoft Command Shell (msh) |
11/04/2005 | code parsing in Emacs | Bruce Tate: Technologies that may challenge Java |
08/18/2007 | A critique of the SQL database language | Formal methods for O/R mapping |
09/30/2005 | "The Anatomy of a Loop" | "The Anatomy of a Loop" |
10/06/2005 | winnowing wheat from chaff | "The Anatomy of a Loop" |
09/22/2005 | Mondo bizarro | Mondo bizarro |
09/23/2005 | "mommy, help! I'm trapped in call/cc!" | Mondo bizarro |
09/07/2005 | koders doesn't seem better -- not for Java | JExamples |
08/12/2005 | Please help add entries to FreeTechBooks.com | Please help add entries to FreeTechBooks.com |
09/14/2005 | 2Variable | Concatenative Language Kont |
04/27/2008 | 50th anniversary issue of JACM | Grady Booch: Software Engineering Grand Challenges |
07/14/2005 | Eckel's comments on Arnold's post | Generics are a mistake? |
05/23/2006 | Brendan Eich's presentation at XTech | JavaScript 2.0: Evolving a Language for Evolving Systems |
06/03/2005 | Evolving the Java Platform | Evolving the Java Platform |
05/04/2005 | Re: unreasonable effectiveness | Call for Papers: ACM Symposium on Dynamic Languages |
05/03/2005 | exposing complexity | Call for Papers: ACM Symposium on Dynamic Languages |
05/04/2005 | global extent of local reasoning | Call for Papers: ACM Symposium on Dynamic Languages |
05/12/2005 | Re: global extent of local reasoning | Call for Papers: ACM Symposium on Dynamic Languages |
05/02/2005 | Re: Note to self | The long tail of programming languages |
04/27/2005 | OO runtime graphs are scale-free | OO runtime graphs are scale-free |
05/17/2005 | a PL better than Java deemed an enormous challenge | The Fortress Language Spec v0.618 |
03/02/2010 | Knuth's take on "important problems" | Richard Hamming - "You and Your Research" |
04/26/2005 | Hamming's book out of print in the U.S. | Richard Hamming - "You and Your Research" |
03/02/2010 | Kindle edition | Richard Hamming - "You and Your Research" |
04/24/2005 | "C++ is bigger than ever" | Why do they program in C++? |
04/26/2005 | Re: Math without overload doesn't need to be that ugly | Why do they program in C++? |
05/03/2005 | Re: large expressions? | Why do they program in C++? |
04/26/2005 | Re: Well, it IS typesafe if... | Why do they program in C++? |
04/18/2005 | some more links | On the Unusual Effectiveness of Logic in Computer Science |
04/20/2005 | re: And I disagree too! | On the Unusual Effectiveness of Logic in Computer Science |
06/15/2005 | 1995 Object World trade show's survey | Computerworld Development Survey |
04/04/2005 | data structures harmful? | Starlog |
03/29/2005 | expressivity of "idiomatic C++" | expressivity of "idiomatic C++" |
03/29/2005 | on paradigmatic shifts | expressivity of "idiomatic C++" |
03/29/2005 | another quote from the article's Conlusion | expressivity of "idiomatic C++" |
04/07/2005 | Myths and ideology in mathematics | expressivity of "idiomatic C++" |
04/18/2005 | from Lakatos back to Hamming | expressivity of "idiomatic C++" |
03/29/2005 | a deficiency in the C++ implementation | expressivity of "idiomatic C++" |
03/29/2005 | python version | expressivity of "idiomatic C++" |
04/01/2005 | a Prolog solution | expressivity of "idiomatic C++" |
04/01/2005 | Re: Space Complexity | expressivity of "idiomatic C++" |
04/01/2005 | Re: Space Complexity | expressivity of "idiomatic C++" |
04/04/2005 | expected Haskell behavior in pseudo-code | expressivity of "idiomatic C++" |
04/04/2005 | Re: Space Complexity -- Haskell wins | expressivity of "idiomatic C++" |
04/05/2005 | Perl implementation with lazy streams | expressivity of "idiomatic C++" |
04/02/2005 | Hamming subsequence with no gaps | expressivity of "idiomatic C++" |
04/04/2005 | Re: Death by a thousand cuts (!/0) | expressivity of "idiomatic C++" |
04/05/2005 | back to the drawing board | expressivity of "idiomatic C++" |
09/08/2006 | Haskell-to-Scala translation | expressivity of "idiomatic C++" |
12/28/2007 | still broken under Scala 2.6... | expressivity of "idiomatic C++" |
11/10/2010 | Scala 2.8.1 | expressivity of "idiomatic C++" |
03/16/2005 | Grady Booch's keynote on software complexity at AOSD | Grady Booch's keynote on software complexity at AOSD |
12/22/2004 | Reading SICP for fun and profit | Reading SICP for fun and profit |
10/05/2004 | Away from interpreter hacking and toward enhancing stdlib | Away from interpreter hacking and toward enhancing stdlib |
08/10/2004 | Dataflow Language for Scriptable Debugging | MzTake: A Scriptable Debugger |
10/18/2005 | functional programming in Java with generics | Functional programming in Java |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |