Lambda the Ultimate

type	title	author	last post
Forum topic	Moderation on LtU Personal preference is fine by gasche Meh by gasche Okay by gasche Blind trust by gasche Hm by gasche Any other volunteers? by gasche Hm by gasche So? by gasche Indeed by gasche Voluntary by gasche ...	gasche	2015-09-05 11:34
Forum topic	Big questions Doing what you like by gasche More meh by gasche Meh natural talent meh by gasche Grading on beauty by gasche HoTT as *an* equality rather than *the* equality by gasche Hard to tell by gasche ML and dependent by gasche Open questions in functional programming? by gasche	Ehud Lamm	2015-08-27 03:57
Forum topic	Eric Lippert's Sharp Regrets Object-orientation creates hard issues by gasche Topic move by gasche Relevant pointer by gasche	Wolf Logan	2015-08-24 11:10
Forum topic	Harnessing Curiosity to Increase Correctness in End-User Programming Very interesting by gasche	Blaisorblade	2015-08-22 19:05
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development You cannot conflate hardware and software memory models by gasche Weak memory models tend to be broken by gasche	gasche	2015-08-22 15:22
Story	STABILIZER : Statistically Sound Performance Evaluation	gasche	2015-08-19 14:43
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Meh by gasche Infinite man-years (or Mike Pall) interpreters by gasche	adrieng	2015-08-18 16:42
Story	ACM Classic Books Series Link by gasche	Ehud Lamm	2015-08-18 13:44
Story	Running Probabilistic Programs Backwards Relation to Hansei? by gasche	gasche	2015-08-05 10:38
Story	Ceptre: A Language for Modeling Generative Interactive Systems.	gasche	2015-08-04 15:14
Forum topic	Limitations of FRP? Synchronous dataflow languages by gasche	Sean McDirmid	2015-08-04 08:28
Forum topic	NOOL 2015 Hm by gasche I missed the joke by gasche Strange title by gasche	Sean McDirmid	2015-07-31 00:19
Forum topic	Research vs implementation, theory vs practice, and LtU Meta-opinion? by gasche IDE vs. runtime by gasche Cognitive dissonance by gasche Classic by gasche Bug-free programming by gasche Interesting by gasche Silent is fine by gasche More about LtU than academia by gasche Not a problem in practice? by gasche Research languages are exploratory by gasche ...	Blaisorblade	2015-07-28 16:57
Forum topic	Who can make LtU2? This is about form, not content by gasche New is better by gasche Hosting? by gasche ... by gasche (In)actions rather than consensus by gasche Community by gasche	raould	2015-07-19 21:56
Forum topic	Compilation to C, a definitive guide? Still generative by gasche "structural in their parameters" by gasche On the Sun/Oracle bugtracker by gasche Unfair by gasche Opaque matters by gasche And debugging and profiling by gasche	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey PLDI, POPL, ECOOP surveys by gasche arxiv in actual practice by gasche	gasche	2015-06-25 06:55
Story	BER MetaOCaml -- an OCaml dialect for multi-stage programming MetaOCaml integration: not yet by gasche Hm by gasche	gasche	2015-06-24 08:53
Forum topic	Types are fundamental to both logic and computation Unconvinced by gasche Hm by gasche Wow by gasche Unsurprising by gasche Excluded middle decidable over finite sets by gasche	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions If you cannot be polite, you can be quiet by gasche Moderation by gasche Expressing negativity by gasche I have a problem with this thread by gasche Unhappy by gasche	gasche	2015-05-30 21:12
Forum topic	More information about Albatross Not related to imperative constructs by gasche Executable by gasche	hbrandl	2015-05-29 13:47
Forum topic	message, stream and protocol typing Session types by gasche	Rys McCusker	2015-05-25 23:37
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Tooling by gasche We lack concrete examples by gasche Please be constructive by gasche	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? Domain theory? by gasche Daimon references by gasche What is bottom? by gasche	Matt M	2015-05-20 00:23
Story	Eve: the development diary of a programming environment aimed at non-programmers Agreed by gasche Robustly glue them together by gasche	gasche	2015-05-18 20:56
Forum topic	Trouble understanding Danvy's functional unparsing Indeed; and I think it is by gasche Found it by gasche Seems to work by gasche	jezng	2015-05-18 13:35
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