Lambda the Ultimate

type	title	author	last post
Forum topic	"Simple Made Easy" by Rich Hickey and subsequent discussion fantastic by John Shutt	shahbaz	2015-06-30 15:13
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Discrete and continuous by John Shutt The claim isn't that by John Shutt When general recursive by John Shutt	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) To state the obvious, adding by John Shutt Cool by John Shutt Afaics the result doesn't by John Shutt On my list of things to by John Shutt Indeed by John Shutt Yes, this is my fear, that by John Shutt Finite statements about the transfinite by John Shutt It's entirely possible for by John Shutt Non sequitur by John Shutt The computational part is by John Shutt ...	Hewitt	2015-06-25 00:05
Story	Self-Representation in Girard’s System U The problem is that no-one by John Shutt If you look at the way by John Shutt	naasking	2015-06-18 22:53
Forum topic	XKCD on type theory... As first described, lists in by John Shutt Didn't both early FORTRAN by John Shutt link by John Shutt	Ray Dillinger	2015-06-16 21:32
Forum topic	The evolution of Rust Turn it around: if current by John Shutt That conclusion likely comes by John Shutt ignorance by John Shutt I think special purpose by John Shutt the paradigm imperative by John Shutt	qznc	2015-06-07 16:54
Forum topic	Paper journals are in bad shape; priority established in HAL ... There are potential by John Shutt	Hewitt	2015-06-07 15:39
Forum topic	Types are fundamental to both logic and computation I'm puzzling over that by John Shutt It's not an axiom, it's a by John Shutt Current trends in logic by John Shutt Constructibility and ominiscience by John Shutt On the Richard paradox, it by John Shutt Avoiding logical flaws is a by John Shutt well... by John Shutt We've named people at the by John Shutt I'm simplifying, of course. by John Shutt LEM has been suspected by John Shutt ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions There's more room near the edge by John Shutt Crowd sourcing is the by John Shutt insert title here by John Shutt dislike by John Shutt revisionism by John Shutt	gasche	2015-05-30 21:12
Forum topic	More information about Albatross Missing the point by John Shutt The obvious question is why by John Shutt typo by John Shutt	hbrandl	2015-05-29 13:47
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) I intended no assumptions by John Shutt Hoare and separation logic by John Shutt programming and markup by John Shutt If you take a procedure with by John Shutt Tempus fidgets by John Shutt Is haskell readable?No. by John Shutt Oh, the 'Lisp syntax' thing by John Shutt just valuing different by John Shutt classic talking-past-each-other by John Shutt Ah, COBOL by John Shutt ...	Sean McDirmid	2015-05-20 12:15
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community About the Common Lisp misfeature by John Shutt I should know better than to by John Shutt I also know that quote and by John Shutt more of a challenge, yes by John Shutt note by John Shutt smoothness by John Shutt Turns out the impression by John Shutt every expression is by John Shutt One gets the impression, by John Shutt Of possible interest by John Shutt ...	Phil Miess	2015-05-18 14:25
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment You can have mechanized by John Shutt	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary It seems like the two by John Shutt Alternatively, by John Shutt	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available what you make of it by John Shutt	hbrandl	2015-05-08 19:57
Forum topic	What makes LtU more or less enjoyable? psychoceramics by John Shutt reactionary, yes by John Shutt advice and revolution by John Shutt Programming as language design by John Shutt it ain't necessarily so by John Shutt odd by John Shutt	gasche	2015-05-07 06:03
Forum topic	Controversy over the definition of "Logic Program" Please by John Shutt	Hewitt	2015-05-03 22:07
Story	Seemingly impossible programs Most ideas have one person by John Shutt sorry, but no by John Shutt alas, no by John Shutt	Ohad Kammar	2015-04-18 02:15
Forum topic	how many lines of code can civilization support? interaction tarpit by John Shutt Windows XP by John Shutt I don't think it's useful to by John Shutt Wouldn't the difficulty of by John Shutt :-D by John Shutt Programming caste by John Shutt Er by John Shutt Even though I've been by John Shutt death of logic greatly exaggerated by John Shutt And you'll put it on the by John Shutt ...	Thomas Lord	2015-04-09 22:07
Forum topic	Making implicits less powerful? additional systems of computation by John Shutt	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages fuzzy truth versus fuzzy relevance by John Shutt	Keean Schupke	2015-02-19 17:21
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Hm, 'type system' usually by John Shutt let there be types by John Shutt	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. lower or middle by John Shutt Science and art by John Shutt	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? thanks by John Shutt Stalking the wild idea by John Shutt me neither by John Shutt Concrete Platonic reality by John Shutt Turing power by John Shutt alternating is good by John Shutt phases, constructors, and meta-reasoning by John Shutt I approve of skepticism. It by John Shutt primitive vs derived/library by John Shutt first-class theorems by John Shutt ...	bryanedds	2015-02-02 17:56
Forum topic	How can middle school algebra help with domain specific languages? string concatenation? by John Shutt	shahbaz	2015-01-21 17:18
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