Lambda the Ultimate

type	title	author	last post
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
Story	Self-Representation in Girard’s System U Looks nice by marco Looks like the opposite to me by marco Yah. That's what the other by marco I haven't found the type by marco The problem isn't that Hewitt makes wild claims by marco You can do this too in ActorScript! by marco	naasking	2015-06-18 22:53
Forum topic	Good syntax for single argument methods? Could try analyzing the parse tree by marco	Sean McDirmid	2015-06-17 21:36
Forum topic	XKCD on type theory... Maybe by marco I thought it was Prolog, but I was not sure by marco Well. It's been nice talking to you by marco Mercury by marco Lisp is an operational model, not a language by marco Not likely by marco There are various reasons by marco I already did that by marco Yeah well. I only have one life by marco Too declarative a language by marco ...	Ray Dillinger	2015-06-16 21:32
Forum topic	Symbol Flux: abstract visual debugging How does this relate to your work? by marco	Sean McDirmid	2015-06-16 03:15
Forum topic	Functors are Type Refinement Systems I like it! by marco	adrieng	2015-06-12 20:12
Forum topic	Live Coding at Come Alive Sorry. Vim by marco	marco	2015-06-08 12:05
Forum topic	The evolution of Rust What are those? by marco What's wrong with C? And I've got all the performance I need by marco What I take away from that by marco Where did you get that Wisdom? by marco Betting on Disruptive Technology by marco There is no study warranting that idea by marco For personal use, I don't think we will see big many-core by marco I fully agree by marco Clean does this by marco	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation Fine by marco "it doesn't even rule out these non-standard naturals" by marco "A cycle in succ violates the injectivity of succ" by marco Ah by marco Yah. by marco You assume generative properties whereas you have axioms by marco It doesn't by marco With faith? by marco There is no induction scheme by marco So they were meant as new axioms? by marco ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions Not Ironic by marco Unconvincing by marco Disagree by marco Like LtU should mimic Academia? by marco Ridiculous by marco Does it go both ways? by marco I am unwilling to change my post by marco Not Worried by marco Life is short. In a hundred years everybody here will be dead. by marco Shape Up. by marco ...	gasche	2015-05-30 21:12
Forum topic	More information about Albatross You'll get the invariable by marco	hbrandl	2015-05-29 13:47
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