Lambda the Ultimate

type	title	author	last post
Forum topic	Synchronic Computation II Verifiability by Andrew Moss Space by Andrew Moss Example by Andrew Moss	Alex Berka	2011-04-18 13:01
Forum topic	Programming with touch? Thanks by Andrew Moss Doesn't immediately follow.... by Andrew Moss	Sean McDirmid	2011-04-13 23:03
Story	Finding and Understanding Bugs in C Compilers Blog by Andrew Moss	James Iry	2011-04-02 07:31
Forum topic	Reference request: running out of countably many variable names Tuples? by Andrew Moss	Neil Toronto	2011-03-22 10:17
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Decker's Algorithm by Andrew Moss Simple cores by Andrew Moss Observable Behaviour by Andrew Moss Strange Comment by Andrew Moss Yes by Andrew Moss Related paper by Andrew Moss	Z-Bo	2011-03-14 05:47
Story	Tractatus Digito-Philosophicus Very cute by Andrew Moss	Manuel J. Simoni	2011-03-12 23:35
Forum topic	Monads vs. Actors In practice by Andrew Moss Example doesn't follow by Andrew Moss Well said by Andrew Moss Lacking answers by Andrew Moss	Sean McDirmid	2011-03-02 21:15
Forum topic	I've run out of programming languages to study PINs vs passwords by Andrew Moss Suggestions by Andrew Moss	Josh Griggs	2011-02-27 03:20
Forum topic	Go or Unladen Swallow? A better one... by Andrew Moss	Srikumar Subramanian	2011-02-07 08:56
Story	Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing Reminds me of abstract interpretation by Andrew Moss	James Iry	2011-02-05 00:39
Forum topic	How to Program the Many Cores for Inconsistency Robustness Makes sense by Andrew Moss "always" and "terminates" by Andrew Moss Clarification by Andrew Moss Responses by Andrew Moss	Hewitt	2011-02-03 14:26
Forum topic	Holistic types Static locking by Andrew Moss	Igor Serikov	2011-02-01 15:37
Forum topic	Quines and my mad mind Of course by Andrew Moss Von Neumann Machine by Andrew Moss	Ed Earl Ross	2011-01-18 20:40
Forum topic	"A Theory of Interprocess Communication" -- Leslie Lamport Probabilistic solution by Andrew Moss	Thomas Lord	2010-10-22 13:32
Forum topic	Compiler Design Q&A Site Looks good by Andrew Moss Great link by Andrew Moss Tags vs Sites by Andrew Moss Site now closed by Andrew Moss	gorauskas	2010-10-21 11:10
Forum topic	Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? Don't see the connection by Andrew Moss Two questions by Andrew Moss HLL by Andrew Moss	keveman	2010-10-15 08:24
Forum topic	Functional random numbers without threading state Entropy by Andrew Moss	Chris King	2010-10-12 02:20
Story	Omega - Language of the Future Is the C preprocessor Turing-complete? by Andrew Moss But AI is not some kind of by Andrew Moss	Manuel J. Simoni	2010-10-01 13:17
Forum topic	CFP: PEPM 2011 Oops by Andrew Moss	Andrew Moss	2010-08-05 09:07
Forum topic	paper: "Purely Functional Structured Programming" Sorry by Andrew Moss Research papers are not novels by Andrew Moss	Steven Obua	2010-07-28 17:53
Forum topic	Simulation language ideas? Examples by Andrew Moss	James W Hofmann	2010-07-05 22:33
Forum topic	"Critical code studies" Good points. by Andrew Moss Reasons are important by Andrew Moss	Travis Brown	2010-05-19 18:29
Forum topic	Is there a site to discuss some issues on abstract interpretation? Difficult in general by Andrew Moss Try asking your specific questions by Andrew Moss	zell08v	2010-05-08 19:32
Story	A few billion lines of code later: using static analysis to find bugs in the real world Some rambling thoughts (no guarantee of quality) by Andrew Moss Cynicism by Andrew Moss	Allan McInnes	2010-04-23 11:28
Story	Code Bubbles Format? by Andrew Moss Nostalgia by Andrew Moss Version Control by Andrew Moss	Z-Bo	2010-04-06 17:51
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation