Lambda the Ultimate

type	title	author	last post
Forum topic	Glitch: A Live Programming Model Time for consistency is a by Sean McDirmid Maybe we are talking about by Sean McDirmid We can avoid trapping state by Sean McDirmid non monotonic by Sean McDirmid I wonder if my virtual time by Sean McDirmid	Sean McDirmid	2013-09-16 04:01
Forum topic	Coroutines as a Basis for UI Programming The point about immediate by Sean McDirmid	Jason Priestley	2013-09-15 00:40
Story	Mixed-Site Variance Whatever, just give me by Sean McDirmid I saw Gabriel's talk at by Sean McDirmid I was referring to by Sean McDirmid Alot of heuristics involved, by Sean McDirmid We still aren't talking by Sean McDirmid Confirmation bias by Sean McDirmid Heh. I think that by Sean McDirmid Nails and hammers by Sean McDirmid So, from the point of view by Sean McDirmid Done. by Sean McDirmid ...	bashyal	2013-09-09 21:39
Forum topic	OOPSLA 2013 advance tech program up Next generation programming enironments by Sean McDirmid Onward! 2013 program by Sean McDirmid And 2003: by Sean McDirmid Just for fun, let's compare by Sean McDirmid	Sean McDirmid	2013-09-02 05:22
Forum topic	SF-calculus I've been doing this in by Sean McDirmid	Barry Jay	2013-08-30 18:42
Forum topic	Commutative Effects You really should submit a by Sean McDirmid leaky abstractions by Sean McDirmid I was talking about the by Sean McDirmid Computation does not consume by Sean McDirmid Obviously, Glitch won't by Sean McDirmid I can understand that you by Sean McDirmid Time is quite tricky to by Sean McDirmid The reason to 'delay it' is by Sean McDirmid Interesting debate, I'll by Sean McDirmid I'm not against time, I'm by Sean McDirmid ...	Sean McDirmid	2013-08-29 02:13
Forum topic	Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) Going incremental by Sean McDirmid	jurgenv	2013-08-28 06:56
Forum topic	Synth Project Announcement You might be interested in by Sean McDirmid	Ivan V.	2013-08-27 12:13
Forum topic	Request for advice on a senior thesis I wonder if you guys are by Sean McDirmid Find a good mentor by Sean McDirmid	Taymon A Beal	2013-08-26 17:21
Forum topic	lambda cube... 3D Turtles all the way down by Sean McDirmid I was just being pragmatic, by Sean McDirmid One could always hide the by Sean McDirmid by Sean McDirmid Thanks! I'm still going by Sean McDirmid I have a feeling we won't be by Sean McDirmid I'm positive my test case is by Sean McDirmid Glitch is procedural, any by Sean McDirmid Glitch traces dependencies. by Sean McDirmid Just to note, there are by Sean McDirmid ...	raould	2013-08-26 05:25
Forum topic	Beyond FRP: physics-inspired programming abstractions? Just because you could by Sean McDirmid Maybe a better versed by Sean McDirmid I apologize for labeling by Sean McDirmid Been there done that. by Sean McDirmid SPAM or just off topic? by Sean McDirmid Message passing is simply by Sean McDirmid I've released a new version by Sean McDirmid In a physics engine, by Sean McDirmid Cool. I'm looking forward to by Sean McDirmid With collision detection and by Sean McDirmid ...	Sean McDirmid	2013-08-22 19:13
Forum topic	Error reporting strategies during parsing Why should a JSON packet be by Sean McDirmid Why are we still reporting by Sean McDirmid Nothing that is very modern by Sean McDirmid Definitely. The scala v2 IDE by Sean McDirmid Not bad for an by Sean McDirmid incremental by Sean McDirmid	Matt Fenwick	2013-08-15 20:16
Forum topic	Future of Programs using Assertions, Goals, and Plans Eventual consistency is ok... by Sean McDirmid Ya, we should also by Sean McDirmid	Hewitt	2013-08-10 01:07
Forum topic	Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores	Sean McDirmid	2013-08-09 22:24
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Show me examples and don't by Sean McDirmid I've been able to get by Sean McDirmid In what cases are ADTs by Sean McDirmid Funny, my only complaint by Sean McDirmid It would be very interesting by Sean McDirmid And yet, Rich Hickey by Sean McDirmid I think the argument based by Sean McDirmid It also doesn't say anything by Sean McDirmid	Sean McDirmid	2013-08-07 23:59
Forum topic	Metascala: A tiny JVM written in Scala Jikes RVM is 100% java I by Sean McDirmid Someone should really port by Sean McDirmid	lihaoyi	2013-08-06 06:22
Forum topic	The Future of Programming according to Bret Victor Lets start a new topic by Sean McDirmid Are properties and by Sean McDirmid Off topic and too nested by Sean McDirmid There are no strong facts, by Sean McDirmid Here is another one of by Sean McDirmid Speaking Vulcan by Sean McDirmid Well...uhm... by Sean McDirmid his relates to what Conal by Sean McDirmid Sure. But success is by Sean McDirmid Consider: A planning system by Sean McDirmid ...	Christian Lindig	2013-08-02 14:28
Story	Extensible Effects -- An Alternative to Monad Transformers That is quite useful, by Sean McDirmid So let me translate this by Sean McDirmid what are effects? by Sean McDirmid I don't get it, you mean by Sean McDirmid Is there anything useful in by Sean McDirmid	naasking	2013-08-01 13:03
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future If only you guys could have by Sean McDirmid	Ehud Lamm	2013-07-28 20:42
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket In the age of touch, why by Sean McDirmid When I learn Chinese by Sean McDirmid Unicode is fairly easy to by Sean McDirmid Font size matters along with by Sean McDirmid Design principles for the enhanced presentation of computer prog by Sean McDirmid Yes! This is exactly what I by Sean McDirmid I wouldn't use italics/bold by Sean McDirmid I was actually just by Sean McDirmid Something like ActorScript by Sean McDirmid I didn't think Fortress by Sean McDirmid	Sean McDirmid	2013-07-28 00:17
Forum topic	mobile web apps are slow -- and GC is to blame I think big objects in most by Sean McDirmid We could do better with GC by Sean McDirmid	Christian Lindig	2013-07-18 22:05
Forum topic	Tools that provide "closed" view of open/extensible abstractions? In jiazzi, we also had the by Sean McDirmid Wasn't Simonyi's intentional by Sean McDirmid I believe their is some by Sean McDirmid There is Don Batori's work by Sean McDirmid	Tess Foley	2013-07-12 17:23
Story	The programming languages behind "the mother of all demos" Bret Victor wrote a few by Sean McDirmid	Ehud Lamm	2013-07-05 22:29
Story	The Three Laws of Programming Language Design Copying your comment to this by Sean McDirmid Names are too valuable to be wasted on compilers by Sean McDirmid I'm doing it. Functions and by Sean McDirmid Ya, I wrote that post awhile by Sean McDirmid You can! Or at least...I by Sean McDirmid Nominative subtyping is an by Sean McDirmid Subtyping is very compatible by Sean McDirmid Subtyping with regards to by Sean McDirmid Subtyping and parametric by Sean McDirmid	bashyal	2013-07-04 14:32
Forum topic	A New Kind of Type System This is quite useful, I'll by Sean McDirmid This is quite useful, by Sean McDirmid Thanks for the feedback. I by Sean McDirmid The Yin and Yang of Modular Object Type Inference by Sean McDirmid Modular object and type inference with assignment graphs by Sean McDirmid Where are the constraints by Sean McDirmid A better name by Sean McDirmid That is a quite useful by Sean McDirmid Thanks! I'll check these by Sean McDirmid You can help them if you by Sean McDirmid ...	Sean McDirmid	2013-07-03 18:06
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