Lambda the Ultimate

type	title	author	last post
Forum topic	Microscript Spaghetti stack for the win. by Ray Dillinger Stacks of helium balloons. by Ray Dillinger Easy with relative addressing. Not so much with general. by Ray Dillinger	Ivan V.	2016-08-08 22:31
Forum topic	A language for blind uncomprehending idiots who have no idea how programs work. Recombination is where robustness comes from. by Ray Dillinger Evolution as a mechanism has refined itself. by Ray Dillinger Oh, no question of that. by Ray Dillinger For what it's worth, the Religion/Science thing ... by Ray Dillinger memetics is at best an imperfect analogy to genetics. by Ray Dillinger Struggling with it... by Ray Dillinger PSOL recombination operators.... by Ray Dillinger I hadn't thought so. Care to unpack that? by Ray Dillinger Valuable insight on that... by Ray Dillinger recombination of funges by Ray Dillinger	Ray Dillinger	2016-08-08 13:51
Forum topic	Branch Forward Only Bitcoin scripting language uses the same rule. by Ray Dillinger	Greg Buchholz	2016-07-29 20:58
Forum topic	Alice, Bob, and Penthesilea: mutually suspicious code and data owners Last I knew.... by Ray Dillinger It's possible if very carefully constructed, but impractical by Ray Dillinger	johnwcowan	2016-07-29 14:27
Forum topic	how to design PL support for effects emerging from parallel non-determinism? At the risk of moving the goal again... by Ray Dillinger It becomes a stability issue... by Ray Dillinger It's about controlling WHAT we control. by Ray Dillinger Counterintuitive: manage nondeterminism by maximizing it. by Ray Dillinger	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly You've written programs that never use a subroutine? by Ray Dillinger	Ivan V.	2016-06-24 17:31
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code Unit consistency checking by Ray Dillinger	naasking	2016-06-12 18:06
Forum topic	Programming with a Differentiable Forth Interpreter I am really fascinated by this topic, btw.... by Ray Dillinger Problem domain mismatch? by Ray Dillinger	Sean McDirmid	2016-06-06 19:46
Forum topic	Theory of syntax extensions: does it exist? Turing complete assembly code... by Ray Dillinger Whereas I took the completely opposite approach... by Ray Dillinger	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report You can write fold as a map too, if you have closures. by Ray Dillinger Why should programmers even see container algorithms? by Ray Dillinger Hmm, okay. by Ray Dillinger Okay, what's the distinction? by Ray Dillinger Started there, but not limited to it. by Ray Dillinger It was the supposed difference that annoyed me. by Ray Dillinger Incidentally? Screw folds. by Ray Dillinger	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? memory mapping can be non-instant. by Ray Dillinger Well, yes, obviously.... by Ray Dillinger	Alex Shpilkin	2016-05-13 11:57
Forum topic	PL's hotness challenge Hmm. That IS an interesting question... by Ray Dillinger I don't doubt for a minute by Ray Dillinger We'd be pretty obvious. by Ray Dillinger Yeah, but humans are bizarre. by Ray Dillinger But human intelligence evidently is exceptional. by Ray Dillinger The definition is not the reality. by Ray Dillinger Agreement on terms... by Ray Dillinger PL and PLT by Ray Dillinger This is true. by Ray Dillinger	Sean McDirmid	2016-05-10 06:04
Forum topic	Best successor to Scheme? Well, the subexpressions are all evaluable so... by Ray Dillinger You could take it further than that. by Ray Dillinger I like that idea. by Ray Dillinger Still thinking about it... by Ray Dillinger Yes, I'm sure it's the same problem. by Ray Dillinger Fexprs and quoting. by Ray Dillinger Eh, whatever by Ray Dillinger I also used a '$' prefix, but for something else. by Ray Dillinger Full Dynamism but explicitly enabled and limited. by Ray Dillinger	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Right. Appropriate to address scale. by Ray Dillinger Optimizing compilers, sorts and value vs operational semantics by Ray Dillinger Constant time... by Ray Dillinger I understand that view but... by Ray Dillinger	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? Similar in spirit. by Ray Dillinger Real number semantics have an unfortunate feature.... by Ray Dillinger Incoherent, yeah, maybe. by Ray Dillinger Sythesis: embrace the power of and. by Ray Dillinger Explicit selection... by Ray Dillinger If that's what they're counting on, yes. by Ray Dillinger Sure. It's like exposition for cross-platform optimizers. by Ray Dillinger Blob = binary object. Opacity not implied. by Ray Dillinger To the point.... by Ray Dillinger Sigh. It's more than unicode, okay? by Ray Dillinger ...	Ray Dillinger	2016-04-24 02:14
Forum topic	Formalization and programming language design -- explained to all upcasting and downcasting... by Ray Dillinger	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language Uhm.... Unicode? by Ray Dillinger	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? No secret special ability. It's a NUMBER. by Ray Dillinger Is that really specialization, from the programmer's POV? by Ray Dillinger Probably not coincidentally... by Ray Dillinger Context by Ray Dillinger Fully type-definite operations, your choice of verbs or nouns. by Ray Dillinger	raould	2016-03-31 23:06
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” I like the lambda calculus a lot. by Ray Dillinger void return types by Ray Dillinger Understanding MEANS building. by Ray Dillinger Process can be personal. by Ray Dillinger	Allan McInnes	2016-03-25 19:25
Forum topic	New Regexp One thing about pattern matching is you always want binding. by Ray Dillinger	Ivan V.	2016-03-24 12:55
Forum topic	Why not C++? My preferred subset is to reduce visual ambiguity. by Ray Dillinger	raould	2016-03-22 14:41
Story	Second-order logic explained in plain English Monstrosities, inc. by Ray Dillinger	Charles Stewart	2016-02-19 12:40
Forum topic	Subclass, superclass, or siblings under an abstract superclass? You are correct. My by Ray Dillinger Oh, for the love of braindead zombies... by Ray Dillinger There is probably a way to do that. I didn't find it. by Ray Dillinger You presume one-dimensional VMT's. by Ray Dillinger Types vary at interfaces between layers. by Ray Dillinger Well, yeah. There are SEMANTICALLY good OO systems. by Ray Dillinger I figured out how to do it. by Ray Dillinger This OO is no help. by Ray Dillinger Well, that makes performance sense at least. by Ray Dillinger That was kind of the whole by Ray Dillinger ...	Ray Dillinger	2015-09-29 15:36
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development wrong metaphor... by Ray Dillinger	gasche	2015-08-22 15:22
Forum topic	Research vs implementation, theory vs practice, and LtU C++ headers badly designed. Yes, you need to compose them. by Ray Dillinger Hobbyist?! Are you nuts? by Ray Dillinger On going back to procedural by Ray Dillinger	Blaisorblade	2015-07-28 16:57
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