Lambda the Ultimate

type	title	author	last post
Forum topic	When are Actors appropriate? Direct Logic or whatever you call it needs to split off a useabl by Josh Scholar Hand waves by Josh Scholar Uncountable is worse than unbounded, by the way by Josh Scholar it's not normal mathematics either because by Josh Scholar An expandable arbitrary precision version is realizable by Josh Scholar er, except for his non determinist ones by Josh Scholar But his functions can't be defined in finite code. by Josh Scholar This is the first time I've seen a memoized version used by Josh Scholar What's wrong with your countable set is by Josh Scholar They can't be by Josh Scholar ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful The answer to my question by Josh Scholar In my opinion, my side is uncontroversial, settled math by Josh Scholar Inefficient mappings do not make paradoxes by Josh Scholar :/ I have one piece of code 10 bytes long by Josh Scholar Uhm "which one" by Josh Scholar Funny by Josh Scholar Comment deleted by Josh Scholar You went wrong a few places by Josh Scholar It's gobbleldygook by Josh Scholar Once again by Josh Scholar ...	Hewitt	2015-07-21 06:16
Forum topic	Who can make LtU2? If there is anyone to make little fixes by Josh Scholar Oh I get it, assignment and sharing by Josh Scholar I don't understand by Josh Scholar I believe it by Josh Scholar Drama research and theory. by Josh Scholar Thinking again I do owe you an apology by Josh Scholar Yah it's true by Josh Scholar :/ maybe just make by Josh Scholar	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators Everything needs to be built in by Josh Scholar I don't think you should be concerned with how fast you parse by Josh Scholar Concatinative languages by Josh Scholar This is silly silly stuff by Josh Scholar Not human oriented by Josh Scholar Did you consider that left recursion doesn't have to be direct? by Josh Scholar Too many bytecodes formats are not meant for interchange by Josh Scholar That very low level seems unnecessary by Josh Scholar Widgets in code by Josh Scholar Hmm. by Josh Scholar ...	Alexander Morou	2015-07-14 06:50
Forum topic	Strengthening Process Calculi Maybe that's why none of LTU's obsessions are relevant by Josh Scholar There is nothing as unreadable as CPS by Josh Scholar I'm curious what it would be like by Josh Scholar Maybe the solution is: by Josh Scholar My idea is more permissive by Josh Scholar Ah maybe you didn't disagree. I was only talking about 1 case by Josh Scholar I'm a disbeliever by Josh Scholar I could design one, but I'm not enough convinced by Josh Scholar It's a different subject by Josh Scholar What I CAN make sense of by Josh Scholar ...	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? stack checks by Josh Scholar I've been thinking about chicken scheme by Josh Scholar	naasking	2015-07-05 19:00
Forum topic	Dedekind, Cantor, Conway, & Hewitt (w/ some Chomsky) On another page by Josh Scholar Look by Josh Scholar I think I got what that his reals are a limit by Josh Scholar	Thomas Lord	2015-06-23 16:20
Forum topic	Good syntax for single argument methods? I always liked smalltalk for methods by Josh Scholar	Sean McDirmid	2015-06-17 21:36
Forum topic	XKCD on type theory... 2+2 Done by Josh Scholar Maybe memory allocation? by Josh Scholar I meant the compiler not an iterpreter by Josh Scholar I'm an evil man by Josh Scholar Misread who a comment was responding to. by Josh Scholar Nah by Josh Scholar oh, ok by Josh Scholar Thousands of rewrites to print an integer by Josh Scholar On the other hand scanners don't have to be that fast by Josh Scholar programming in morse code by Josh Scholar ...	Ray Dillinger	2015-06-16 21:32
Forum topic	Types are fundamental to both logic and computation How does solve by disunification work? by Josh Scholar You could do that in Prolog, sort of. by Josh Scholar Hmm by Josh Scholar some loops by Josh Scholar I don't think he's trying to solve the halting problem by Josh Scholar Types are just a notation for a kind of metarule by Josh Scholar	Hewitt	2015-06-02 11:07
Forum topic	Have tracing JIT compilers won? Is that the same as type feedback? by Josh Scholar Can you explain what you mean by Josh Scholar Do you have links by Josh Scholar Optimizing multithread dynamically typed languages by Josh Scholar	Peter Michaux	2015-05-26 21:09
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Cool by Josh Scholar I do like definite clause grammars by Josh Scholar Here's a little proof of concept version by Josh Scholar I wrote a (dynamically alterable) operator precedence by Josh Scholar I was using scheme by Josh Scholar If higher order is MORE confusing then you're doing it wrong by Josh Scholar Over the years by Josh Scholar progress? by Josh Scholar Purity instead of usability by Josh Scholar It's more than Lisp, it's math by Josh Scholar ...	Sean McDirmid	2015-05-20 12:15
Story	Eve: the development diary of a programming environment aimed at non-programmers What I remember from the Victor Brent talk by Josh Scholar :) well we'll learn a lot by trying by Josh Scholar Changed my post by Josh Scholar dialog boxes for language dialects by Josh Scholar Ideal situations vs real ones. by Josh Scholar there are use cases by Josh Scholar I have another idea for advance programming by Josh Scholar The act of programming as user interaction by Josh Scholar	gasche	2015-05-18 20:56
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community The smoothness paper... by Josh Scholar look by Josh Scholar Thank you, I'll read that by Josh Scholar granted by Josh Scholar Would it be too much by Josh Scholar Meh quote is just broken since Lisp added static environments by Josh Scholar Yeah what he wrote does seem sort of backwards by Josh Scholar What language is he writing that in? by Josh Scholar I don't know enough about the topic to correct it. by Josh Scholar So wikipedia was wrong? by Josh Scholar ...	Phil Miess	2015-05-18 14:25
Forum topic	Trouble understanding Danvy's functional unparsing Oh I love that paper by Josh Scholar	jezng	2015-05-18 13:35
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment I'm not sure i understand what is meant by definable by Josh Scholar	Sean McDirmid	2015-05-10 16:17
Forum topic	Albatross formerly called Modern Eiffel is available Possibly by Josh Scholar	hbrandl	2015-05-08 19:57
Forum topic	Controversy over the definition of "Logic Program" I haven't gotten far enough by Josh Scholar ;-) My first thought was by Josh Scholar uhm ok... by Josh Scholar I can't even begin to read by Josh Scholar I don't get it by Josh Scholar I can't think of a practical programming context by Josh Scholar Speaking of search strategies and memory by Josh Scholar	Hewitt	2015-05-03 22:07
Forum topic	C++ Parser Combinator Library Lookahead is finite, backtracking isn't by Josh Scholar I think you'll find that doesn't work by Josh Scholar Prolog parsers by Josh Scholar	Keean Schupke	2015-05-01 13:29
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing I'll have to wait by Josh Scholar Are any implementations of actorscript available by Josh Scholar	Andris Birkmanis	2015-04-25 23:47
Forum topic	Fixing broken software development for the masses Well EDITTING by Josh Scholar I'm not sure I buy that. by Josh Scholar I just failed in a search for it by Josh Scholar Morphic maybe? by Josh Scholar wrong level of problems though by Josh Scholar Visual user interface design vs. markup by Josh Scholar	raould	2015-04-22 18:33
Forum topic	Why we don't believe in Visual Programming modifiers and metacode by Josh Scholar	Tiago Simoes	2015-04-14 15:24
Forum topic	how many lines of code can civilization support? I misspoke. by Josh Scholar Agree by Josh Scholar Funny you should mention those problems by Josh Scholar In short by Josh Scholar I've yet to see an ap by Josh Scholar Million autonomous miles _is_ meaningless even on the face of it by Josh Scholar Quick sophistry count by Josh Scholar Ok, if I'm to take your analogy between by Josh Scholar Yeah, it's not exactly teaching machines to drive by Josh Scholar I expect intelligent argument not trolling on LTU by Josh Scholar ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Lancet looks interesting by Josh Scholar Good point by Josh Scholar	naasking	2015-04-07 14:58
Forum topic	cicada-nymph -- a forth-like language for to teach Joy is a more powerful by Josh Scholar	xieyuheng	2015-03-14 09:13
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