Lambda the Ultimate

type	title	author	last post
Forum topic	Limitations of Prolog-style clausal programs Parallelism and Concurrency in the Actor Model by Hewitt Meaningful information can be more than assertions by Hewitt Meaningful information is not necessarily knowledge by Hewitt Meaningful information is *not* bits; although bits can be used by Hewitt Meaningful information is *not* in general reducible to bits. by Hewitt Meaningful information can have contradictions by Hewitt Denial is not viable in face of existent pervasive inconsistency by Hewitt "Snowden might be a whistleblower." is too wishy-washy by Hewitt Information Inconsistency: both intension and extension by Hewitt A propostion and its negation are contradictory by Hewitt ...	Hewitt	2014-02-11 10:53
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft Void should be first-class and every type should be Nullable by Hewitt	Charles Torre	2014-01-27 05:08
Forum topic	Less is more. Axioms together with rules of inference are insufficient by Hewitt	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. An Interface should allow any conforming implementation by Hewitt	Kannan Goundan	2014-01-15 04:00
Story	Pure Subtype Systems "Type" is both of type "Type" and a subtype of "Type" by Hewitt Notation for programming languages with first-class types by Hewitt ":=" is not good for the subtype relationship; use "≺:"? by Hewitt An Actor type needs to respond to an Extends[aType] message by Hewitt Types as first-class Actors by Hewitt Need types for both variable assignment and identifier binding by Hewitt	naasking	2014-01-14 06:09
Forum topic	Inconsistency Robustness in Logic Programs Logic Programs should be monotonic for assertions and goals by Hewitt Negation as Failure: less proveable means more can be asserted! by Hewitt Negation as failure (from Planner): ||- (¬⊢p) → ⊢¬p by Hewitt Prolog doesn't even have mechanism for concurrent inference by Hewitt Prolog does not concurrently backward and forward chain :-( by Hewitt Future of Logic Programs is many-core concurrency by Hewitt Prolog developed as a backward chaining subset of Micro-Planner by Hewitt Logic Programs development illustrates Inconsistency Robustness by Hewitt Control structure issues in theorem proving by Hewitt ||- means "goal" (originated in Planner) by Hewitt ...	Hewitt	2014-01-01 18:30
Forum topic	John Shutt on "Abstractive Power" A programming language needs a model of computation by Hewitt	gasche	2013-12-25 04:25
Forum topic	Computation is not subsumed by deduction (contra claim by Kowalski) A message received exactly once is processed exactly once by Hewitt A goal is that a message sent is received exactly once by Hewitt The Actor Model is pure message passing by Hewitt	Hewitt	2013-12-23 17:45
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. What are concurency glitches in "Glitch" beyond overclaiming ;-) by Hewitt Managing concurrency effects is enormously challenging by Hewitt	bryanedds	2013-12-08 06:50
Forum topic	"Fog Cutter" model illustrates Actor Model issues Mailboxes (Fog Cutter) and Channels are "down the rabbit hole" by Hewitt Behavior is more general than Program+State by Hewitt	Hewitt	2013-12-04 00:15
Forum topic	Strong Mathematical Foundations for Computer Science Math is open; Math theories are closed by Hewitt 1st-Order Completeness is Weak v. Math Inferential Undecidablity by Hewitt Axioms versus Coq Defintions by Hewitt Absorption [P∧(P∨Q) = P] is not Inconsistency Robust by Hewitt Inconsistency Robust Boolean Equivalences by Hewitt Coq needs additional notation: functions vs. procedures by Hewitt Functions from ℕ into Boolean uncountable via standard proof by Hewitt First-order ZFC is an inadequate foundation for Computer Science by Hewitt Coq started as the calculus of inductive constructions by Hewitt ⊢ in additon to Boolean Equivalences by Hewitt ...	Hewitt	2013-11-25 14:58
Forum topic	actors conflate too much Relevant responses should be welcome even if delayed by Hewitt Every real system is networked and consequently large by Hewitt A list provides an ordering on its elements. by Hewitt Variable race conditions can be syntactically eliminated by Hewitt In practice, all information systems are large by Hewitt That a given server Actor always responds can be proved by Hewitt The Actor Model is abstract; you can fill in details by Hewitt Is the Actor Model the same as "dataflow concurrency"? by Hewitt Stacks, locks, coherent memory, etc: useful low-level mechanisms by Hewitt Threads are not a suitable foundation for concurrency by Hewitt ...	raould	2013-11-16 01:13
Forum topic	Why is Static Typing Hard? ? by Hewitt No difference between "static" and "dynamic" with type "Any" by Hewitt	Jon Purdy	2013-11-12 18:56
Forum topic	Continuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Inconsistency Robustness is the emerging paradigm by Hewitt Is Pedagogical Logic capabable for inference in math? by Hewitt Is Pedagogical Logic suitable for practical reasoning? by Hewitt States can model nondeterminacy but not indeterminacy by Hewitt Requiring Instances in proof steps can be self defeating by Hewitt Theory of Cargo Cults by Hewitt Full Induction is not expressible in First-Order Logic by Hewitt State models of computation are inadequate for concurrency by Hewitt Tarskian Model Theory is inadequate for Computer Science by Hewitt First-order logic is inadequate for Computer Science by Hewitt	Hewitt	2013-10-26 19:36
Forum topic	Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.) Implementing unbounded systems requires ever more resources by Hewitt Unfortunately I don't know date that CSP changed by Hewitt Unbounded nondeterminism in CSP by Hewitt Please see discussion of arbiters in "What is Computation?" by Hewitt Why did Hoare change CSP to unbounded nondeterminism? by Hewitt Petri Nets are a Global State Model by Hewitt Configurations versus Global States by Hewitt Bounded nondeterminism in CSP by Hewitt Plotkin proof: a global state machine has bounded nondeterminism by Hewitt	Hewitt	2013-08-14 18:34
Forum topic	Future of Programs using Assertions, Goals, and Plans Continued on forum topic "Global State Machines Inadequate" by Hewitt Performance problems with "batch" Actors by Hewitt From above response, I take it that Dmbarbour concedes the point by Hewitt "Batch" Actors also have performance problems by Hewitt Is @async a kludge? by Hewitt Unbounded nondeterminism required so that a server works by Hewitt Dmbarbour's proposed "batch" Actors have terrible modularity by Hewitt Easiest way to understand unbounded nondeterminism is Actors by Hewitt Global state models support only bounded nondeterminism by Hewitt Implementations versus Denotations by Hewitt ...	Hewitt	2013-08-10 01:07
Forum topic	The Future of Programming according to Bret Victor Programming using Assertions, Goals, and Plans by Hewitt Great Talk! But deployment of the ideas has stagnated :-( by Hewitt	Christian Lindig	2013-08-02 14:28
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future What is the Temporal Logic Program for the account above? by Hewitt Even with time arguments, Prolog can't implement concurrecy by Hewitt If I can't imagine it, then it can't be. by Hewitt Even with Monads, Lambda Calculus can't implement Concurrency by Hewitt Sociology and Subject Issues of Wikipedia Conflict by Hewitt LP is inadequate even for small scale programming by Hewitt Actors are the future of Logic Programming by Hewitt Attempting to generalize Prolog led to 5th Generation failure by Hewitt State Machines are an inadequate foundaton for concurrency by Hewitt Wikipedia policy of Outlawry by Hewitt ...	Ehud Lamm	2013-07-28 20:42
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Menues for Unicode Characters by Hewitt How about by Hewitt Rendering bold and itallic for the challenged by Hewitt By using an IDE, a name mangler is not required by Hewitt Bold and italic are easily distinguished in most fonts by Hewitt Are bold and italic sufficiently distinguishable? by Hewitt Typography and Unicode by Hewitt Readability is paramount; extensibiility is important by Hewitt	Sean McDirmid	2013-07-28 00:17
Forum topic	"Relational Model Outgrown" CACM May 2013 Many-core is just one fundamental way the world has changed by Hewitt Glaucon, has the world changed? by Hewitt Why have schemas? by Hewitt Major Challenge: Integrating declaratives and imperatives by Hewitt Arm has no power advantage over Intel by Hewitt Coherent memory scales well on a chip by Hewitt Coherent memory will win by Hewitt Coprocessors becoming obsolete; streaming OK by Hewitt Erlang versus Actor Model by Hewitt Efficiency of Actor Model by Hewitt ...	Hewitt	2013-05-10 01:56
Forum topic	Fixpoint theory, induction and recursion Computatonal Representation Theorem by Hewitt	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? by Hewitt by Hewitt	Sean McDirmid	2013-03-01 03:45
Forum topic	Relational Model Considered Obsolete The problems in medical information are deep. by Hewitt Parse physician notes using a specialized parser by Hewitt Tables are treated as relations in the Relational Model by Hewitt No convenient way to store disjunction or quantificaton by Hewitt SQL updates lose information. by Hewitt Inconsistency is the Norm by Hewitt NoSQL is just key-value storage, i.e., no semantics by Hewitt Actors are the way to implement Inconsistency Robust Reasoning by Hewitt Inconsistency Robust Reasoning by Hewitt Relational Model includes SQL and transactions by Hewitt ...	Hewitt	2013-01-12 03:12
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Models vs. Language Features by Hewitt Concurrent objects are Actors by Hewitt	w7cook	2013-01-08 20:02
Forum topic	Designing a languge — what theory is a must? The most widely used langauge started out as "garbage" by Hewitt Garbage programming languages by Hewitt Rigor should be a primary purpose by Hewitt Actor Model is popular by Hewitt	pgregory	2012-09-28 19:01
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