Lambda the Ultimate

type	title	author	last post
Story	Lightweight Static Capabilities *Bump* -- what about proving by lmeyerov	Paul Snively	2021-12-02 13:45
Forum topic	Representing Type Information in Dynamically Typed Languages It was a reference book by lmeyerov Does it? by lmeyerov Huh? Arthur was here a week by lmeyerov Perhaps the underlying by lmeyerov I don't know of *any* by lmeyerov	Ray Dillinger	2018-04-06 21:50
Forum topic	Reversing operations Immutablity is basically the by lmeyerov You may enjoy the Galois by lmeyerov	Pablo Barenbaum	2017-09-08 16:08
Forum topic	On the (Alleged) Value of Proof for Assurance type can be usefully by lmeyerov	shap	2016-11-24 01:04
Forum topic	Whither FRP? See site by lmeyerov Yep by lmeyerov Falcor+Rx+React = SE for FRP by lmeyerov	raould	2016-09-03 12:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report nope by lmeyerov Turtles all the way down by lmeyerov Writing for the reader by lmeyerov	Greg Buchholz	2016-05-26 05:14
Forum topic	A Farewell to FRP in Elm Not as worried by lmeyerov Remove flatmap, prioritize cells? by lmeyerov	Greg Buchholz	2016-05-11 15:35
Forum topic	PL's hotness challenge Scale is fun & hard by lmeyerov Behind every great man by lmeyerov	Sean McDirmid	2016-05-10 06:04
Forum topic	Formalization and programming language design -- explained to all Agreed; premise is weak by lmeyerov	gasche	2016-04-01 05:40
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” classic but with problems by lmeyerov Partial mea culpa by lmeyerov non-scientific notion of empirical by lmeyerov Group dynamics are tricky by lmeyerov	Allan McInnes	2016-03-25 19:25
Forum topic	MCG: A Visual Functional Programming Language balancing direct and abstract by lmeyerov	cdiggins	2015-11-02 19:34
Forum topic	PL vs. PX Art is a distraction by lmeyerov seminal by lmeyerov dominoes by lmeyerov More acceptance in SE & HCI & DB than traditional PL by lmeyerov	Sean McDirmid	2015-10-26 18:24
Forum topic	Halide: a language for image processing and computational photography Schedule specification and synthesis is great by lmeyerov	Thomas Lord	2015-10-20 22:35
Forum topic	The future of live programming why lambda calculus by lmeyerov walk before you run? by lmeyerov	Sean McDirmid	2015-10-17 01:38
Forum topic	word2vec Encourage good != discouraging bad by lmeyerov Natural evolution by lmeyerov Structural vs. Contextual, and the Denotational Zoo by lmeyerov yep by lmeyerov Think of it more as clustering error messages by lmeyerov Check out Dave Mandelin's and Dan Grossman's work here by lmeyerov dnns for interpretation & summarization by lmeyerov	Sean McDirmid	2015-09-05 18:26
Forum topic	Another "big" question Frameworks and DSLs by lmeyerov	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions monotonic by lmeyerov	Ehud Lamm	2015-08-27 03:57
Forum topic	Implementing the communication semantics of actors Echo chamber by lmeyerov actors != Actors by lmeyerov	Andrew Moss	2015-08-24 18:31
Forum topic	Continuous feedback in PL Quasi-related by lmeyerov	Sean McDirmid	2015-08-21 14:39
Forum topic	Limitations of FRP? Pragmatic by lmeyerov We've looked at almost by lmeyerov interfaces and purism by lmeyerov	Sean McDirmid	2015-08-04 08:28
Forum topic	Have tracing JIT compilers won? In general: browser by lmeyerov Wow, great list, by lmeyerov For popular usage of the by lmeyerov Trace-based JITs use traces by lmeyerov I believe ie9 has a by lmeyerov A language level mechanism by lmeyerov This seems to assume traces by lmeyerov This post seems pretty off. by lmeyerov Yep, Aspect-Oriented by lmeyerov Nope, just the papers I by lmeyerov ...	Peter Michaux	2015-05-26 21:09
Forum topic	Whither Flow Analysis? guesses by lmeyerov shenanigans by lmeyerov Wait, which FPs? by lmeyerov physical constants by lmeyerov See above. Less important, by lmeyerov Agreed by lmeyerov huh? by lmeyerov recent breakthroughs by lmeyerov	raould	2014-11-14 11:54
Forum topic	EigenCFA: Accelerating Flow Analysis with GPUs comblas by lmeyerov Classic connundrum by lmeyerov	Alex1	2014-11-03 02:01
Forum topic	Preaching to the already converted: Om AOP + React is powerful by lmeyerov	raould	2014-10-09 20:24
Story	Open thread: RIP Steve Jobs In Sean's defense, I believe by lmeyerov	Ehud Lamm	2014-10-05 00:19
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