Lambda the Ultimate

type	title	author	last post
Forum topic	Garbage Collection Based on a Linear Type System Erlang is a mature system by marco I am back to Reference Counting by marco	raould	2015-11-03 06:48
Forum topic	MCG: A Visual Functional Programming Language Aardappel by marco Looks Solid by marco	cdiggins	2015-11-02 19:34
Forum topic	inter-language PL theory patterns relevant to IPC? I am doing something Utterly Simplistic by marco Much Weirdity by marco	Rys McCusker	2015-10-31 17:52
Forum topic	Live programming in APX, an early peek Well. Scrubbing made by marco	Sean McDirmid	2015-09-30 15:45
Forum topic	Moderation on LtU No by marco	gasche	2015-09-05 11:34
Forum topic	Implementing the communication semantics of actors Summarizing Hewitt's Comments by marco Filling in the blanks by marco	Andrew Moss	2015-08-24 18:31
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Microprocessors are optimized for C by marco	adrieng	2015-08-18 16:42
Story	ACM Classic Books Series Introduction to Algorithms by marco	Ehud Lamm	2015-08-18 13:44
Forum topic	RAII and Async Stackless Fibers You omit Shared Ptr by marco	Keean Schupke	2015-08-12 21:59
Story	Running Probabilistic Programs Backwards Okay, this I find excellent. by marco	gasche	2015-08-05 10:38
Forum topic	Limitations of FRP? Applied Duality by marco	Sean McDirmid	2015-08-04 08:28
Story	Facebook open sources "Infer", static program analysis tool You have math against you by marco I'll see it when it emerges by marco Yah by marco Context by marco Seems to track a lot of properties you solve in C++ with RAII by marco This is the company they bought, right? by marco	Z-Bo	2015-07-28 18:54
Forum topic	Research vs implementation, theory vs practice, and LtU Yeah. Makes your posts hard to read by marco Great. Thanks. by marco GLS, JLS, MSR by marco	Blaisorblade	2015-07-28 16:57
Forum topic	Functor If I get it correctly: Type Theory by marco	marco	2015-07-27 09:23
Forum topic	"Prep" in programming languages Weak and Strong Fairness by marco	Hewitt	2015-07-25 23:26
Forum topic	Unreal Blueprints Visual Scripting C++..... by marco	chrisoliver	2015-07-21 18:11
Forum topic	When are Actors appropriate? I interpreted "Peak Hewitt" by marco What gave me away? by marco Put it in Wikipedia by marco Confusion about language and model by marco If you say so by marco I think he made it worse, actually by marco For a more formal treatment of Godel's 2nd by marco	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Dunno by marco Uncountable many TMs by marco Doesn't likely block the construction of a Goedel sentence by marco Discuss it with a logician by marco So what by marco Hey! My fixpoint combinators by marco Define discrete math by marco What sounds like bullshit to you? by marco Yeah well. I am not a Platonist by marco It's just a joke by marco ...	Hewitt	2015-07-21 06:16
Story	Don Syme receives a medal for F# Implements the Actor Model too by marco	Ohad Kammar	2015-07-06 18:06
Forum topic	Strengthening Process Calculi It means what you model by marco Are you sure? by marco As I said: Passes tests by marco Thomas look into Physical Random Number Generators by marco There is no simultaneity assumption by marco We don't have anything of the sorts by marco Randomness by marco Roscoe clearly states specification language by marco CSP is a process calculus (now) by marco CSP is a process calculus (now) by marco ...	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? It's messy by marco Or Rule 34? by marco Somewhat gold by marco Signed Code by marco Whut? by marco Point taken by marco There's enough horsepower to do IDE's by marco No more exponential speed-ups. Been wondering about that. by marco Auto is (also) a compiler optimization by marco Darcs performance by marco ...	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Ah Well by marco	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) If I try to reason about numbers, I throw away numbers by marco I might not like that an infinite number of primes exists by marco Feels like meta-theory confusion to me by marco	Hewitt	2015-06-25 00:05
Forum topic	The Page-Fault Weird Machine: Lessons in Instruction-less Computation Yeah by marco	marco	2015-06-24 18:46
Forum topic	The single instruction compiler	marco	2015-06-21 12:16
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