Lambda the Ultimate

type	title	author	last post
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Hm by gasche Value ranges by gasche Quora woes by gasche	Sean McDirmid	2015-11-24 16:45
Forum topic	How Useful is Erlang Hot-Swapping of Code? Hm by gasche Hm by gasche OS and languages by gasche	marco	2015-11-10 18:57
Forum topic	1ML — Core and modules united Lambda-the-ultimate still shines by gasche Incremental type-checking by gasche Separate compilation matters by gasche	Tom Primožič	2015-11-09 21:29
Forum topic	inter-language PL theory patterns relevant to IPC? Heh by gasche	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX "How we ended up with microservices" by gasche Ok by gasche Hm by gasche How should PX be evaluated? by gasche	Sean McDirmid	2015-10-26 18:24
Forum topic	The future of live programming Programming by example by gasche	Sean McDirmid	2015-10-17 01:38
Forum topic	alternate basic models of framing code behavior and purpose? Interesting by gasche	Rys McCusker	2015-10-15 04:27
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml Meh by gasche Hm by gasche Email (meta) by gasche Link by gasche	Allan McInnes	2015-10-12 22:15
Forum topic	Optimal efficiency Memory reuse in CHR implementations by gasche Nice by gasche Hm by gasche Real hardware by gasche	Keean Schupke	2015-10-12 06:19
Forum topic	Live programming in APX, an early peek Tuple selection by gasche Hm by gasche Types, benchmarks by gasche Type system motivation unsatisfying by gasche	Sean McDirmid	2015-09-30 15:45
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
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