Lambda the Ultimate

type	title	author	last post
Story	Static vs. Dynamic Languages: A Literature Review People use code fragments by dmbarbour overly narrow definitions by dmbarbour discipline and foresight by dmbarbour in software development this by dmbarbour Not at all by dmbarbour Augmenting intelligence by dmbarbour A live programming by dmbarbour Debugger by dmbarbour Types First in Haskell by dmbarbour every client that contacted by dmbarbour ...	naasking	2016-01-11 06:22
Forum topic	Typed Data Success depends on your goal by dmbarbour Local reasoning by dmbarbour A dominant object model by dmbarbour The problem with OO's appeal by dmbarbour Even with nouns, we can have by dmbarbour OO and language by dmbarbour Most intuitions are by dmbarbour Design is the difference by dmbarbour Trained correct intuitions by dmbarbour Re: Reasons by dmbarbour ...	Andrew Moss	2015-12-31 08:59
Forum topic	Nesting imperative into functional code performance by dmbarbour re: do notation and emulating imperative by dmbarbour Effectful Pipelines by dmbarbour Imperative code is easily by dmbarbour	Ivan V.	2015-12-23 02:46
Forum topic	Logical and Functional Programming in Each Other pure parallel union find by dmbarbour performance semantics by dmbarbour Affine Vectors by dmbarbour	Jack Waugh	2015-12-02 19:01
Forum topic	Implementing the communication semantics of actors testing and debugging by dmbarbour circular argument? by dmbarbour	Andrew Moss	2015-08-24 18:31
Forum topic	Are Actors a Good Model for Computation. Removing the 'large scale' by dmbarbour You misconstrue my position. by dmbarbour re: temporal logic by dmbarbour Human attention is a by dmbarbour temporal logic by dmbarbour Debugging becomes difficult by dmbarbour Actors Criticism by dmbarbour	Keean Schupke	2015-08-19 02:04
Forum topic	Limitations of FRP? managed time with imperative code by dmbarbour Staging by dmbarbour Control systems and signal processing by dmbarbour Intrinsic limitations by dmbarbour State in FRP can be by dmbarbour	Sean McDirmid	2015-08-04 08:28
Forum topic	Database programming language review K and Mumps both include by dmbarbour	davidb	2015-07-23 00:44
Forum topic	Fixed points considered harmful physical implies finite time by dmbarbour Okay. by dmbarbour Sure. by dmbarbour Does a recipe for a cake by dmbarbour Non-determinism was already by dmbarbour A single Actor definition by dmbarbour re: math for cs by dmbarbour can't examine any digit by dmbarbour you may not accuse my by dmbarbour transcendental darts by dmbarbour ...	Hewitt	2015-07-21 06:16
Forum topic	Recursive Descent Parser Generators re: crutches by dmbarbour visualization =/= visual programming by dmbarbour stack =/= concatenative by dmbarbour Try programming in Forth. by dmbarbour re: human-oriented by dmbarbour color-forth by dmbarbour re: too many bytecodes by dmbarbour Not necessary. by dmbarbour grammar-free stage by dmbarbour editable views and extension-independent parsing by dmbarbour	Alexander Morou	2015-07-14 06:50
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
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