Lambda the Ultimate

type	title	author	last post
Story	Lightweight Static Capabilities match-functions vs GADTs by MarkM What about arguments? by MarkM Sign me up by MarkM Top down vs bottom up proof engineering by MarkM That would be a worthy experiment by MarkM	Paul Snively	2021-12-02 13:45
Forum topic	POLA Would Have Prevented the Event-Stream Incident	MarkM	2018-12-06 14:51
Forum topic	A2: Analog Malicious Hardware A different kind of defense by MarkM	marco	2016-05-28 09:36
Forum topic	Have tracing JIT compilers won? Why fragile? by MarkM	Peter Michaux	2015-05-26 21:09
Forum topic	Long rant on Erlang-style Actors: Lost Dimension Not ugly using promises and generators by MarkM Combining reactions by MarkM Excellent point by MarkM Are serializers just a pattern of promises? by MarkM Seems related by MarkM Naming the model by MarkM	const	2012-03-20 08:57
Forum topic	Monads vs. Actors What is a "capability" in an "object-capability system"? by MarkM	Sean McDirmid	2011-03-02 21:15
Forum topic	Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7) What I was claiming to be "impossible" by MarkM	Charles Torre	2010-11-11 02:14
Story	The Structure of Authority: Why security is not a separable concern Please explain how AOP was marketed by MarkM I'm wrong -- there is a significant difference by MarkM Modulo an information leak, they are equivalent by MarkM Would anyone actually like to discuss the paper? by MarkM Yes, please don't say "safety" by MarkM	naasking	2010-05-07 21:39
Story	Joe-E: A Security-Oriented Subset of Java I don't understand -- goal confusion? by MarkM	Ehud Lamm	2010-03-02 01:35
Story	Google TechTalk: The Evolution of End-User Programming ToonTalk is an object-capability system by MarkM	Z-Bo	2010-02-16 14:05
Forum topic	The Theory and Calculus of Aliasing Seems useful for proving authority limits by MarkM	Bertrand_Meyer	2010-01-27 01:40
Story	Scheme to be split into two languages Might Small Scheme be an ocap language? by MarkM	Manuel J. Simoni	2009-11-26 16:54
Forum topic	Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Behavioral Equality vs Primitive Equality by MarkM How's "totally functional" relate to "everything's an object"? by MarkM	Colin Kemp	2009-08-26 03:13
Forum topic	Receiver knowing the sender? EcmaScript 5 Strict fixes this by MarkM	BigZaphod	2009-08-25 21:27
Story	Process calculi for transactions Orc topic by MarkM Formal Orc by MarkM Orc, a simple and expressive process calculi by MarkM	Charles Stewart	2009-03-06 09:15
Story	Automated Code Review Tools for Security Chaumian Blinding by MarkM Liked everything but the over extended limb by MarkM	Ehud Lamm	2009-01-09 20:00
Story	JavaScript harmony Main motivation: Avoid Needless Complexity by MarkM	Chris Rathman	2008-08-16 03:44
Story	The irreducible physicality of security properties The irreducible physicality of correctness by MarkM	Charles Stewart	2008-05-18 14:42
Story	Caja: Capability Javascript The object-capability chalenge by MarkM	Ehud Lamm	2007-11-13 01:06
Story	Rob Pike on Concurrency and Message passing in Newsqueak Yes, but it redirects to... by MarkM	Ehud Lamm	2007-09-17 17:08
Forum topic	Delegating Responsibility in Digital Systems: Horton's "Who Done It?" Spending time with the example code by MarkM Cheezy "animation" by MarkM	MarkM	2007-05-23 19:52
Forum topic	brainstorming dataflow language visualizations Check out Toontalk by MarkM	Max	2007-02-05 19:51
Forum topic	Programming Language Research Search Engine Related ABACUS google custom search engine by MarkM	cdiggins	2006-12-28 17:17
Forum topic	Transparent Persistence Non-orthogonal persistence and distributed consistency by MarkM Smalltalk, persistence, upgrade by MarkM	playergiro	2006-12-20 17:31
Story	Future of software design? E doesn't have declarative concurrency by MarkM Clarifying the Carlin Joke by MarkM The conflict is elsewhere by MarkM We need both forms of distribution by MarkM Communicating Event Loops are cheap by MarkM Learning from prior convergences by MarkM Reasoning about concurrency in Erlang by MarkM Varieties of Message Passing Concurrency by MarkM Yes, I suggest that we discuss this rationale here by MarkM Asking a different question by MarkM	Peter Van Roy	2006-11-21 20:18
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