Lambda the Ultimate

type	title	author	last post
Forum topic	Casting addresses of other Actors considered harmful Articles on Facets by Hewitt Alternate interfaces of an Actor are sometimes called "facets" by Hewitt Suggest putting in "Purpose and Policies" in LtU navigate bar by Hewitt LtU should not be narrow minded about PL issues by Hewitt Front Page versus New Topic? by Hewitt	Hewitt	2015-05-13 00:59
Forum topic	Controversy over the definition of "Logic Program" Erroneous (clausal) logic program by Hewitt Unfortuntely easy to make mistakes with logic clause programs by Hewitt Logic clause syntax is inadequate for logic programs by Hewitt Premature for article just on "Inconsistency Robustness" book by Hewitt Wikipedia should not censor published research by Hewitt There is no moderation in arbitrary censorship and/or banning by Hewitt Types are fundamental to both logic and computation by Hewitt Banning and censoring users is a dangerous business by Hewitt Diagonalization in contemporary mathematics by Hewitt LtU by Hewitt ...	Hewitt	2015-05-03 22:07
Forum topic	Church's fundamental paradox: "Is there such a thing as logic?" Curry's paradox does not involve negation (or Excluded Middle) by Hewitt Mathematics self-proves that it is open by Hewitt	Hewitt	2015-05-01 15:21
Forum topic	C++ Parser Combinator Library How to produce good diagnostics as a program is typed in an IDE by Hewitt Parser combinators are not good enough by Hewitt Criteria for technology validating powerful grammars by Hewitt Validating powerful grammars by Hewitt Improved language design for better parsing diagnostics by Hewitt	Keean Schupke	2015-05-01 13:29
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing ArXiv nixed updating online article with published version by Hewitt Implementations of ActorScript by Hewitt ActorScript tutorial by Hewitt	Andris Birkmanis	2015-04-25 23:47
Forum topic	Type Differentials Parametrized types can do the job. by Hewitt	Talin	2015-04-25 15:02
Story	Seemingly impossible programs Actor Model Semantics by Hewitt Libel by Hewitt Libels probably won't limit the future of Actors by Hewitt Proving theorems is a difficult and rigorous business by Hewitt Unicode is the future of programming languages by Hewitt Increasing understanding by Hewitt Please help improve article on the Actor Model by Hewitt Lambda calculus is not performant versus Actors by Hewitt Unlike Actors, a NDTM can't implement unbounded nondeterminism by Hewitt Nondeterministic lambda calculus is same as NDTM by Hewitt ...	Ohad Kammar	2015-04-18 02:15
Story	Everything old is new again: Quoted Domain Specific Languages Jaśkowski's natural deduction more important than Gentzen’s by Hewitt	naasking	2015-04-10 05:04
Forum topic	how many lines of code can civilization support? Monads do not implement concurrency by Hewitt Swiss cheese is answer to scheduling conundrum by Hewitt Concurrency exponentially faster than Parallel Lambda Calculus by Hewitt Internet of Things by Hewitt Inconsistency Robust Direct Logic by Hewitt	Thomas Lord	2015-04-09 22:07
Forum topic	Actors for CyberThings Electronic copies of published versions by Hewitt Implementation of ActorScript is not publicly available by Hewitt	Hewitt	2015-04-09 14:57
Story	The Next Stage of Staging Parameterized types require special scoping rules by Hewitt	naasking	2015-04-07 14:58
Forum topic	Detected contradictions in large information systems Contradictions do not mean "annihilation." by Hewitt A contradiction is P and ¬P; even if said by different speakers by Hewitt "Correctness" vs. Ignore, Defer, Circumvent, & Ameliorate by Hewitt	Hewitt	2014-04-22 11:45
Forum topic	Modelling Actors with Locks Clarifying issues is not easy on LtU by Hewitt "Eventual consistency" is reconciliation and not consistency by Hewitt Adding excuses does not magically erase contradictions by Hewitt No mythical "eventual" consistency because no consistency by Hewitt Exactly when is eventual consistency realized? by Hewitt Banking industry does realize eventual consistency by Hewitt Application programs: Don't use locks, threads, channels, etc. by Hewitt Synchronously transferring between different banks: oxymoron by Hewitt	laforge49	2014-04-14 06:21
Forum topic	Avoiding Actor Deadlocks--JActor Efficiency of message passing is crucial by Hewitt Messages are immutable, Request Actors are not immutable by Hewitt Deadlocks can be detected and broken but not prevented by Hewitt Global virtual time does not apply to fully distributed systems by Hewitt Preserving message order imposes significant overhead by Hewitt An Actor can process messages in any order it chooses by Hewitt Not possible to avoid deadlock in fully-distributed systems by Hewitt Request Actors for messages (e.g. JActor) is inefficient :-( by Hewitt Messages are received in the order that they are received :-) by Hewitt Messages in transit are immutable because they must be by Hewitt	laforge49	2014-03-27 04:37
Story	Propositions as Types Modern Logic Programs: proofs using Jaśkowski natural deduction by Hewitt Modern Logic Programs superior to Curry-Howard correspondence by Hewitt The lambda calculus is inadequate for computation by Hewitt Jaśkowski's natural deduction is superior to Gentzen's for CS by Hewitt Proposition *is* a type by Hewitt	Manuel J. Simoni	2014-03-19 07:14
Forum topic	The Evolution of CS Papers Dijkstra had a problem with assignment, but didn't know it :-( by Hewitt Sorry that you didn't understand. by Hewitt Hoare gave up on Dijkstra's model of states with assignments by Hewitt It's not the goto; but the assignment command that is at fault by Hewitt	Sean McDirmid	2014-03-11 14:09
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Computation these days means concurrent computation by Hewitt Nondeterministic state machines cannot implement concurrency by Hewitt How can (concurrent) computation be rigorously defined? by Hewitt Erlang/OTP is inadequate with respect to hardware failures by Hewitt Which of the principles of Actors are satisfied by Erlang/OTP? by Hewitt Unfortunately, Erlang/OTP does not properly support Actors by Hewitt Defensive code for pervasive indeterminacy and inconsistency by Hewitt	Allan McInnes	2014-03-05 19:33
Forum topic	Inconsistency Robustness in Foundations Unclear by Hewitt Eval messages with types by Hewitt A programming language without types is hopeless in practice by Hewitt Implementing Eval messages requires type Any by Hewitt Syntactic stratification is unworkable for Computer Science by Hewitt Wittgenstein: self-referential propositions infer inconsistency by Hewitt Logical foundations are for axioms and Logic Programs by Hewitt	Hewitt	2014-02-26 20:00
Forum topic	Not that one, the other one! Existentially closed minds by Hewitt Compactness in logic is undesireable in Computer Science by Hewitt Arbiters cause indeterminacy in computation by Hewitt Hartmaninis & Stearns theory is *not* about concurrency by Hewitt Nondeterministic state machines cannot implement concurrency by Hewitt	Hank Thediek	2014-02-23 22:08
Forum topic	Parallelism and Concurrency in the Actor Model Quantum physics: relevant to theory and practice of computation by Hewitt Interaction creates reality locally by Hewitt Indeterminacy in Actors is local in accord with standard QM by Hewitt Accidental duplicate post by Hewitt Indeterminacy is fundamental to concurrency by Hewitt Organizations scale, but the limits are unknown by Hewitt Actor Model provides a foundation for Concurrent Computation by Hewitt The science of concurrent computaton is in its infancy by Hewitt Organizational compostion is *not* a "meaningless buzz phrase" by Hewitt Indeterminacy: *necessary* not omnipresent in concurrent systems by Hewitt ...	Hewitt	2014-02-21 05:06
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
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