Lambda the Ultimate

type	title	author	last post
Forum topic	Reverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning Are you sure it's an by dmbarbour Contributing Editor by dmbarbour	Charles Torre	2012-04-13 20:16
Forum topic	Disruptive PLT Revisited Types by any other name by dmbarbour NoACID? by dmbarbour SMT Solvers by dmbarbour Type-dependent behavior, by dmbarbour	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design Bad ideas can be written in by dmbarbour Formalism and Coherence by dmbarbour Coherent Formal Design? by dmbarbour	giuseppemag	2012-03-30 05:42
Forum topic	How to Generate (Hard) Real-Time Code from Declarative Programming Languages? Not separate concerns by dmbarbour Conflating real-time and resource control by dmbarbour Anticipation by dmbarbour Linear Typed by dmbarbour Hard Memory Limits do not imply Real-time by dmbarbour Hard Real-time by dmbarbour Synchronous reactive by dmbarbour	bryanedds	2012-03-29 23:06
Forum topic	Coding at the Speed of Touch Interactive Languages by dmbarbour Speech based by dmbarbour 3D Touch by dmbarbour Chorded Keyboard by dmbarbour Mess and Merge by dmbarbour Zany Doodle by dmbarbour temporarily ill typed by dmbarbour Type inference by dmbarbour Contextual Clipboard by dmbarbour Contextual Clipboard! by dmbarbour	Sean McDirmid	2012-03-27 18:25
Forum topic	crazy PL idea: prescriptive trait inference Accessing position has and by dmbarbour No resolution? by dmbarbour Structured Frustration? by dmbarbour You aren't resolving a name by dmbarbour Ambiguous, Not Abstract by dmbarbour Inference through Attrition by dmbarbour Where is it marked? by dmbarbour Deriving Usage and Yet by dmbarbour How is `semantic intent` represented by dmbarbour Taking `Position` by dmbarbour ...	Sean McDirmid	2012-03-26 23:20
Forum topic	Distributed capabilities versus network latency Uni-Tea by dmbarbour Client-Immediate EC by dmbarbour State Model by dmbarbour Unum Pattern by dmbarbour Remote Batching by dmbarbour Under which conditions do by dmbarbour	Jules Jacobs	2012-03-26 17:45
Story	Language mystery: identify the source language to a worm based on its object code broken link by dmbarbour	James Iry	2012-03-20 23:15
Forum topic	Long rant on Erlang-style Actors: Lost Dimension Keyboard state by dmbarbour model with state by dmbarbour meaning of event by dmbarbour Not very by dmbarbour not naturally event-driven by dmbarbour creating and destroying new event sources by dmbarbour Interactive Programming by dmbarbour Events not essential by dmbarbour Initial event source by dmbarbour Deprecating observer pattern by dmbarbour ...	const	2012-03-20 08:57
Forum topic	Software Cartography and Code Navigation More Resources by dmbarbour	Sean McDirmid	2012-03-16 00:17
Forum topic	What work in FRP models programs which can change the type of output and input they have? Type as a function of what? by dmbarbour	Steven StewartGallus	2012-03-12 15:14
Story	What does focusing tell us about language design? Purity by dmbarbour non-termination isn't an by dmbarbour Total semantics by dmbarbour	Manuel J. Simoni	2012-03-07 19:07
Story	Computing Needs Time Neither does global time by dmbarbour Strongly Timed by dmbarbour Turing whisper... by dmbarbour Once you start down the by dmbarbour Computing needs Energy by dmbarbour Not Turing Complete by dmbarbour Time as a Side Effect by dmbarbour Temporal Reactive Displays by dmbarbour Actors Model "Time" by dmbarbour	Allan McInnes	2012-03-05 19:35
Forum topic	Bret Victor's Inventing on Priniciple Why Anticipation? by dmbarbour Serving Time in a PL Jail by dmbarbour Transcript by dmbarbour	Sean McDirmid	2012-03-05 10:44
Story	A Concept Design for C++ Concept maps by dmbarbour	James Iry	2012-03-04 21:35
Forum topic	Massive Numbers of Actors vs. Massive Numbers of Objects vs. ???? Survivable Networking by dmbarbour smarts and replicated by dmbarbour Into the Cloud by dmbarbour cell phones will soon have by dmbarbour 1. Is there a less vague way by dmbarbour Technology and platform are by dmbarbour Develop and Design by dmbarbour Leaky Conceptual Models by dmbarbour Meh. by dmbarbour messages that behave like by dmbarbour ...	mfidelman	2012-03-04 06:20
Forum topic	why first-class functions Existential Types by dmbarbour Parameterization by dmbarbour	ad1mt	2012-03-02 13:33
Story	When Formal Systems Kill: Computer Ethics and Formal Methods Crash-only by dmbarbour 403 by dmbarbour Worrydreams and Principles by dmbarbour	James Iry	2012-02-29 23:02
Forum topic	Syntax Desugaring Algorithm Question Functions for Annotations by dmbarbour PLT by dmbarbour	bryanedds	2012-02-23 23:46
Forum topic	Self-Certification: Bootstrapping Certified Typecheckers	dmbarbour	2012-02-23 18:23
Forum topic	Teaching challenge: culturally enriching formulae-as-types Adam Chlipala by dmbarbour	Charles Stewart	2012-02-18 22:10
Forum topic	Embedding Prolog in Haskell Serialization by dmbarbour One of my implicit premises by dmbarbour What features would be most by dmbarbour I've used Datalog as a basis by dmbarbour Datalog, Dedalus by dmbarbour	Frank Atanassow	2012-02-13 17:04
Story	Programming as collaborative reference Neat Idea by dmbarbour	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Active Variables in Common Lisp Lenses by dmbarbour Access Oriented by dmbarbour	kruhft	2012-02-08 18:02
Forum topic	Evolution of mainstream programming language paradigms Complex vs. Complicated by dmbarbour Language Properties by dmbarbour Open System Dynamic Processes by dmbarbour Arguments without character by dmbarbour Complexity Pain by dmbarbour Growing Pains by dmbarbour Components and Functional by dmbarbour Interaction by dmbarbour Component vs. Framework by dmbarbour Brookian Behavior by dmbarbour ...	const	2012-02-08 02:01
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