Lambda the Ultimate

type	title	author	last post
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) re maybe by Thomas Lord inside and outside by Thomas Lord describing Omega by Thomas Lord counting confusions by Thomas Lord A Wittgenstinian reply to DL by Thomas Lord unconstructable sentences? by Thomas Lord Hewitt, I'll volunteer a bit. by Thomas Lord "a scientific article addressed to professionals" by Thomas Lord re: Suggestions for improvement are greatly appreciated. by Thomas Lord Hey, Matt M: by Thomas Lord ...	Hewitt	2015-06-25 00:05
Forum topic	Dedekind, Cantor, Conway, & Hewitt (w/ some Chomsky) re What does this simplify? What does this enable? by Thomas Lord also (re reasoning is finite) it's frame-dependent by Thomas Lord re reasoning is finite by Thomas Lord the Real.[] example by Thomas Lord josh: rigor? by Thomas Lord	Thomas Lord	2015-06-23 16:20
Forum topic	The evolution of Rust not fallacious: it's about knowledge by Thomas Lord a free will theorem lemma by Thomas Lord re deterministic QM by Thomas Lord free will theorem by Thomas Lord	qznc	2015-06-07 16:54
Forum topic	process oriented PL boot-strapping re actors are base on.... by Thomas Lord re enlightenment by Thomas Lord re non-preemptive actors by Thomas Lord	Rys McCusker	2015-06-05 17:47
Forum topic	Have tracing JIT compilers won? whither pre-scheme by Thomas Lord "to see and be seen" by Thomas Lord different types of .... by Thomas Lord mozilla by Thomas Lord	Peter Michaux	2015-05-26 21:09
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community You should know better. by Thomas Lord Wikipedia's corrupt nature by Thomas Lord	Phil Miess	2015-05-18 14:25
Forum topic	Church's fundamental paradox: "Is there such a thing as logic?" "mathematics" by Thomas Lord ontology by Thomas Lord	Hewitt	2015-05-01 15:21
Story	Seemingly impossible programs re crankiness by Thomas Lord re Please help by Thomas Lord also re actors by Thomas Lord re: nondeterministic Turing Machine cannot implement by Thomas Lord re Some computations cannot... by Thomas Lord re actually impossible functional programs by Thomas Lord	Ohad Kammar	2015-04-18 02:15
Forum topic	how many lines of code can civilization support? software integration by Thomas Lord ratios (re non-linear) by Thomas Lord software stacks example by Thomas Lord complexity by Thomas Lord "history of the industrial revolution" by Thomas Lord bridges (re limits to building software) by Thomas Lord re: "Source to Instruction rate A(M)/A(C)" by Thomas Lord re: human complexity by Thomas Lord you've conceded (re rules of the road) by Thomas Lord re proof by Thomas Lord ...	Thomas Lord	2015-04-09 22:07
Forum topic	general patterns in PL persistence schemes? engineering, not aesthetics by Thomas Lord "another goddamned *n*x." by Thomas Lord "Is there another common tech word that..." by Thomas Lord normative schemes for persistent storage by Thomas Lord persistence in imperative languages by Thomas Lord	Rys McCusker	2015-02-24 02:23
Forum topic	How can languages help us in terms of achieving correct program design? abstractions, hiding, and leaks by Thomas Lord standish et al. by Thomas Lord "what one means by abstraction" by Thomas Lord the alternative to abstraction by Thomas Lord re "slightly different" by Thomas Lord the issue is what tech is "better" by Thomas Lord progress by Thomas Lord stop making stuff up (re "in 60s") by Thomas Lord re laments by Thomas Lord we called it "design at the keyboard" by Thomas Lord ...	bryanedds	2015-02-02 17:56
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps the abstract ad hoc by Thomas Lord	Rys McCusker	2015-01-10 00:45
Forum topic	Let's kick continuations around for a while... re "but isn't...." by Thomas Lord scatterings of techniques vs language features by Thomas Lord idealism is a lousy foundation by Thomas Lord just so stories by Thomas Lord re performance by Thomas Lord re Semantics by Thomas Lord "logically simpler"? by Thomas Lord re: machines by Thomas Lord "if not functions" by Thomas Lord "funarg" usage ahistoric and not quite right by Thomas Lord ...	Ray Dillinger	2014-12-26 18:05
Forum topic	Why do we need modules at all? system design vs. pl (also universalism) by Thomas Lord small pieces by Thomas Lord Name that line separator.... by Thomas Lord re: re: subsumption by Thomas Lord bitstream types by Thomas Lord meaning of "subsumption" & "loosely coupled" by Thomas Lord decomposition yes, but by Thomas Lord features discouraging sprawl by Thomas Lord instead of programming in the large by Thomas Lord "What do you mean "anti-democratic"? " by Thomas Lord ...	Sean McDirmid	2014-12-06 15:20
Forum topic	Concatenative Language Kont quadratic in forth by Thomas Lord	Chris	2014-10-22 09:15
Story	Open thread: RIP Steve Jobs re: system compiler by Thomas Lord raising content consumers from birth by Thomas Lord no contradiction by Thomas Lord not really much of a misconception by Thomas Lord But anyway, wouldn't it be by Thomas Lord circumstantial evidence by Thomas Lord	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment not "precisely" by Thomas Lord re permissions by Thomas Lord Hmm by Thomas Lord re sql by Thomas Lord stateless reasoning by Thomas Lord re GUID identifiers and Uhm ...no :) by Thomas Lord point of order by Thomas Lord Not going there. by Thomas Lord C (math variables) by Thomas Lord "variable" by Thomas Lord ...	Ehud Lamm	2014-10-01 17:10
Forum topic	Optimisation by repeated beta- and eta-reduction approaches to chomsky hierarchy by Thomas Lord C pointers and ints by Thomas Lord C by Thomas Lord	L Spice	2014-09-22 01:00
Forum topic	Who Needs Garbage Collection? tears in the rain by Thomas Lord re: requirements on closures for simple lambda calculus by Thomas Lord owner vs. closure by Thomas Lord re: How would you create mutually recursive closures? by Thomas Lord closures and cycles by Thomas Lord mutual recursion by Thomas Lord	Keean Schupke	2014-09-20 06:41
Story	What's in store for the most widely used language by discerning hackers? please start over by Thomas Lord	Ehud Lamm	2014-09-18 04:37
Forum topic	out of memory Caches and VM by Thomas Lord computers are by Thomas Lord	Rys McCusker	2014-08-17 09:54
Forum topic	What's in a name? That's more or less Shiver's bias by Thomas Lord pun confusion by Thomas Lord re: Turtles by Thomas Lord more of Newell's words by Thomas Lord 'foo' and '3' by Thomas Lord re Functions and objects. by Thomas Lord words in Newell by Thomas Lord local uniqueness by Thomas Lord Names and distinguishing objects by Thomas Lord See Newell/Simon's Turing lecture by Thomas Lord ...	Sean McDirmid	2014-07-22 03:28
Forum topic	Slots as reifications of OOP method names stack mentality by Thomas Lord	Joaquín M López Muñoz	2014-07-21 21:44
Forum topic	request for namespace binding service terminology configuration abstractions and metaphors by Thomas Lord "configuration" by Thomas Lord	Rys McCusker	2014-07-21 19:12
Forum topic	The year that was: 1965. Lucid and interesting by Thomas Lord	Hank Thediek	2014-07-19 13:10
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