Lambda the Ultimate

type	title	author	last post
Forum topic	Strengthening Process Calculi latency by dmbarbour	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? No by dmbarbour Similarly by dmbarbour Security by dmbarbour clearly by dmbarbour dependent types by dmbarbour impure structural by dmbarbour encryption is orthogonal by dmbarbour nominal and structural types by dmbarbour Integration by dmbarbour Some of that by dmbarbour ...	naasking	2015-07-05 19:00
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Your quote spoke of by dmbarbour Something that does not by dmbarbour	Hewitt	2015-06-25 00:05
Forum topic	The evolution of Rust Seems too expressive by dmbarbour simplicity of compilation by dmbarbour vector use case by dmbarbour re: physics imperative by dmbarbour Protected Optimizations by dmbarbour	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation HoTT or OTT by dmbarbour	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions How fast must an algorithm by dmbarbour re: performance first, correctness second by dmbarbour misuse of 'ad hominem' by dmbarbour	gasche	2015-05-30 21:12
Forum topic	More information about Albatross compartmentalization, not camouflage by dmbarbour That's an interesting claim. by dmbarbour re: data and programming by dmbarbour Very Ambitious by dmbarbour	hbrandl	2015-05-29 13:47
Forum topic	Generating compiler back ends at the snap of a finger Neat by dmbarbour	raould	2015-05-28 15:24
Forum topic	Have tracing JIT compilers won? What is Bytecode? by dmbarbour Futamura Projection by dmbarbour Profiling by dmbarbour Betting on JIT by dmbarbour	Peter Michaux	2015-05-26 21:09
Forum topic	message, stream and protocol typing logic and types by dmbarbour linear logic for stories by dmbarbour P1 and P2 by dmbarbour linear types by dmbarbour	Rys McCusker	2015-05-25 23:37
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) terrible programmers by dmbarbour casual programming by dmbarbour Putting UX skins and behavior by dmbarbour You're operating under the by dmbarbour segregating textual and visual content by dmbarbour Image data lacks a good by dmbarbour Non-Compositional by dmbarbour Sigh. by dmbarbour Render the Cat by dmbarbour Visual EDSLs by dmbarbour ...	Sean McDirmid	2015-05-20 12:15
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community laziness and purity by dmbarbour obscurity by dmbarbour Elegant, efficient, pure, strict implementation of "Fringe" by dmbarbour exercise left to reader by dmbarbour Types by dmbarbour I'm sure by dmbarbour Meh by dmbarbour 6 lines by dmbarbour Sure by dmbarbour Why do I even bother? by dmbarbour ...	Phil Miess	2015-05-18 14:25
Forum topic	Pony Actor/OO with Deny Capabilities It's referenced from the by dmbarbour	raould	2015-05-05 16:19
Forum topic	Controversy over the definition of "Logic Program" bad logic by dmbarbour Not convinced by dmbarbour Exponential decay by dmbarbour Books reasonably have by dmbarbour 'arbitrary' censorship by dmbarbour Yet they are tangential to a by dmbarbour Moderation in moderation. by dmbarbour getting caught up in definitions by dmbarbour I should know better by dmbarbour LtU is not Wikipedia by dmbarbour ...	Hewitt	2015-05-03 22:07
Forum topic	C++ Parser Combinator Library Passing information between by dmbarbour	Keean Schupke	2015-05-01 13:29
Forum topic	Fixing broken software development for the masses Structured editing with a by dmbarbour There's a practical by dmbarbour emergent effects by dmbarbour What could we have in our by dmbarbour	raould	2015-04-22 18:33
Story	Seemingly impossible programs where's the libel? by dmbarbour On exactly which page of by dmbarbour argument by repetition by dmbarbour	Ohad Kammar	2015-04-18 02:15
Forum topic	Why we don't believe in Visual Programming Visual DSLs by dmbarbour Escher language by dmbarbour Weaknesses of visual by dmbarbour	Tiago Simoes	2015-04-14 15:24
Forum topic	how many lines of code can civilization support? bi-directional coordination by dmbarbour coordination costs by dmbarbour reply below by dmbarbour throw-away software by dmbarbour not even close by dmbarbour re: TC and monads by dmbarbour Some kinds of shielding may by dmbarbour reading the code has to be by dmbarbour There's a point on which we by dmbarbour reading and comprehension by dmbarbour ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging 403 Forbidden Lancet by dmbarbour Lancet by dmbarbour Can a JIT compiled language by dmbarbour	naasking	2015-04-07 14:58
Forum topic	general patterns in PL persistence schemes? re: code visibility by dmbarbour if only by dmbarbour mounting and aliasing by dmbarbour vfs by dmbarbour durability by dmbarbour opinions by dmbarbour	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Separate Concerns by dmbarbour	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Multiplicative Disjunction and Principal Types by dmbarbour Composition, Modularity by dmbarbour	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. DSLs for performance by dmbarbour Thanks. I do remember by dmbarbour mixing GC modes by dmbarbour Language level security by dmbarbour turning the app around by dmbarbour Mist by dmbarbour Hard advice by dmbarbour Advice and Influence by dmbarbour Not quite by dmbarbour We can compile to different by dmbarbour ...	John Nagle	2015-02-09 07:25
Forum topic	Computing by deltas? Sounds interesting. by dmbarbour Always specific by dmbarbour incremental computing by dmbarbour	Andy Fischer	2015-02-06 16:26
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