Lambda the Ultimate

type	title	author	last post
Forum topic	Implementing the communication semantics of actors Actor Model should be able to simulate any digital computation by Hewitt The goal of ActorScript is to specify implementations of Actors by Hewitt Quantum: simulate electron; Actor Model: simulate account by Hewitt Like Quantum Mechanics, the Actor Model can't be "implemented" by Hewitt Actors are intended to model *all* digital computation by Hewitt Actor implementations are a work in progress by Hewitt Infrastructure throws exceptions based on policies in place by Hewitt Request requires a response; one-way message doesn't by Hewitt If a response is not received, then an exception is thrown by Hewitt In "Prep", "｡" separates preparations from return expression by Hewitt ...	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets "Void" is an Actor that is also a type by Hewitt	Wolf Logan	2015-08-24 11:10
Forum topic	Harnessing Curiosity to Increase Correctness in End-User Programming Bi-simulation is much more important than assertions by Hewitt	Blaisorblade	2015-08-22 19:05
Forum topic	Are Actors a Good Model for Computation. ActorScript versus Actor Model by Hewitt Goal: model *all* digital computation using Actors by Hewitt Why should people have to put up with failing applications? by Hewitt No single points of failure in important applications by Hewitt How should ActorScript be "hobbled"? by Hewitt Indeterminacy: exponentially faster than parallel lambda calc by Hewitt Multitudes of issues by Hewitt Indeterminacy is inherent to massive concurrency by Hewitt CS needs foundations for massive concurrency by Hewitt A message must be received and processed in order to be acked by Hewitt	Keean Schupke	2015-08-19 02:04
Forum topic	"Inconsistency Robustness" now available invalidity of the Gödel/Smullyan writings on incompleteness by Hewitt A couple of bugs in Smullyan's work by Hewitt Table of Contents by Hewitt	Hewitt	2015-08-17 21:21
Forum topic	Limitations of FRP? Bloom is not concurrent :-( by Hewitt	Sean McDirmid	2015-08-04 08:28
Forum topic	Aggregations (e.g., sets) in Logic Programs Of course, both Ψ and ¬Ψ can hold in a theory. by Hewitt Beyond Boolean propositions: using types, numbers, ⇒, ⊢, ∀, etc. by Hewitt Boolean propositions are a very special case of propostions by Hewitt Inconsistency Robust Logic is a special case of Classical by Hewitt Rules of DL are propositions so that computers know the rules by Hewitt Excellent summary by Hewitt Propositional substitutions by Hewitt Associativity of ∨ is a consequence of equivalences for ∨ by Hewitt De Morgan: not allowed for proof by contradiction in IRDL by Hewitt Disjunction is commutative by equivalences for ∨ by Hewitt ...	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU Types are Actors that can be used in computations by Hewitt	Blaisorblade	2015-07-28 16:57
Forum topic	"Prep" in programming languages Please start a new topic. by Hewitt "Prep" (like "Let") is very simple. by Hewitt Unicode in the browser by Hewitt "Afterward" assignments affect the *next* message received by Hewitt "Prep" is a new construct that seems generally useful in PL by Hewitt Explanation of unicode symbols by Hewitt A response must be received for a request message or ... by Hewitt ART can generate X86 and ARM code; no need for C by Hewitt Prep does not necessarily involve Actor construction by Hewitt C need not be part of tool chain for implementing Actors by Hewitt ...	Hewitt	2015-07-25 23:26
Forum topic	When are Actors appropriate? A CreateReal.[ ] is one of uncountably many Actors by Hewitt Theorems of Math are not computationally enumerable by Hewitt Each CreateReal.[ ] is one of uncountably many Actors by Hewitt Friedman's work is *only* for first-order logic :-( by Hewitt Direct Logic formalizes what is known about Mathematics (⊢) by Hewitt Consistency proof of Math: no formal assumption of consistency by Hewitt Use HAL. arXiv articles are obsolete :-( by Hewitt Improving scientific articles is challenging by Hewitt Proofs of finite length are uncountable by Hewitt The theorems of Mathematics are *not* computationally enumerable by Hewitt ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Sets◅ℕ▻ is a type, but *not* a set in Mathematics by Hewitt Direct Logic intention: a rigorous mathematical foundation of CS by Hewitt Type checking is rapidly decidable in ActorScript by Hewitt Intutionistic logic is paraconsistent by Hewitt Propositions are *not* expressions by Hewitt Excluded Middle in Classical but not Inconsistency Robust DL by Hewitt Paraconsistency is a special case of Inconsistency Robustness by Hewitt Proposition not Boolean; Peano induction predicate is Boolean^ℕ by Hewitt Not the Y fixed point procedure by Hewitt Signature but no valid implementation of Y◅Sentence▻ by Hewitt ...	Hewitt	2015-07-21 06:16
Forum topic	Lamport: Interprocess Communication Hardware example in ActorScript by Hewitt ActorScript: direct implementation of Actor Model by Hewitt Denotational model of Actor message passing by Hewitt Direct implementation and modeling by Hewitt Sending a message does not require any Actor to change by Hewitt A global state is part of a global state space with transitions by Hewitt There is no global state space of communications media by Hewitt Actor Model message passing: no periodic testing by a receiver by Hewitt	Allan McInnes	2015-07-07 08:06
Forum topic	Strengthening Process Calculi A message can take a long time to be received by Hewitt Signal message operations with "put" and "get" by Hewitt Not a good assumption: simultaneous change in auto drivers by Hewitt Focus on message passing instead of global state spaces by Hewitt Also not simpler: assuming a global state space by Hewitt Not simpler: assuming simultaneous change in different processes by Hewitt Dangers of wandering into unreality by Hewitt Analysis of hypothesis of simultaneous change in different procs by Hewitt CSP programming language in CACM [Hoare 1978] by Hewitt CSP is ambiguous: programming language *and* process calculus by Hewitt ...	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? Eval should be a message to an expression of parameterized type by Hewitt Type parameters can be tricky by Hewitt Security is becoming increasingly important and dominant by Hewitt Type parameters are different from structural parameters by Hewitt Unfortunately, Haskell is both verbose and redundant by Hewitt Named types are fundamentally different from structural types by Hewitt Many equivalence relations so default equality must be strict by Hewitt Matching in a programming language uses a strict equality by Hewitt Named types can be recursive by Hewitt JVM protection is OK; but some libraries can be doubtful by Hewitt ...	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey An Actor can be determinate by Hewitt Actor Model is a *mathematical* theory of computation by Hewitt Actor Model is founded on physics by Hewitt Beta reduction is sending the argument to the lambda expression by Hewitt Message-passing is a good way to understand the lambda calculus by Hewitt Church machines are much more fundamental than Turing machines by Hewitt Censorship has been an issue on arXiv; HAL has done better by Hewitt Lambda calculus is more intutive than Turing Machines by Hewitt In Actor Model, parallel lambda calculus more intuitive than TM by Hewitt Lambda Calculus is more fundamental than Turing Machines by Hewitt ...	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) LtU is garbeling Unicode :-( by Hewitt Up to isomorphism, there is just one model of ℕ in Direct Logic by Hewitt Girad's paradox concerns the nonexistent universal type by Hewitt Types do an excellent job of making fixed points not exist by Hewitt Double post :-( by Hewitt Liar Paradox derives an inconsistency using fixed points by Hewitt Technical discussions on LtU can be difficult & frustrating :-( by Hewitt Types in Direct Logic mean that fixed points do *not* exist. by Hewitt First-order dogma is too limiting leading to many problems. by Hewitt There are no casts in math from propositions to strings by Hewitt ...	Hewitt	2015-06-25 00:05
Forum topic	Bi-simulation in security auditing Bisimulation for higher-order process calculi by Hewitt	Hewitt	2015-06-24 21:29
Forum topic	The Page-Fault Weird Machine: Lessons in Instruction-less Computation Security Swiss cheese? by Hewitt	marco	2015-06-24 18:46
Forum topic	Dedekind, Cantor, Conway, & Hewitt (w/ some Chomsky) Real.[ ] is *one* Actor: may be nonelement of countable set by Hewitt	Thomas Lord	2015-06-23 16:20
Story	Self-Representation in Girard’s System U Meta system is on pages 51-92 of HAL ActorScript article by Hewitt Type semantics of ActorScript are in the meta system by Hewitt Does ActorScript already have a typed self-interpreter? by Hewitt Actors are more powerful than nondeterministic Turing Machines by Hewitt Numbers: irrelevant to inferential incompleteness by Hewitt Eval is a message (not a procedure) by Hewitt Types are not logical predicates. by Hewitt	naasking	2015-06-18 22:53
Forum topic	Good syntax for single argument methods? Bite the bullet and put in the brackets, e.g., factorial.[3] by Hewitt	Sean McDirmid	2015-06-17 21:36
Forum topic	XKCD on type theory... Examples of ActorScript programs on HAL by Hewitt Software engineering must become more professional by Hewitt	Ray Dillinger	2015-06-16 21:32
Forum topic	The evolution of Rust Actors: exponentially faster than parallel lambda calculus by Hewitt New kinds of applications: require enormously more performance by Hewitt Because clock frequency stalled, software is getting slower by Hewitt Silicon will scale to at least 10^3 cores within 10 years by Hewitt Number of cores will continue exponential growth for a decade by Hewitt In many applications, many-core can outperform CUDA by Hewitt The future of processor architecture is many-core (not CUDA) by Hewitt	qznc	2015-06-07 16:54
Forum topic	Paper journals are in bad shape; priority established in HAL ... Openness in HAL: censorship versus categorization by Hewitt What are the arXiv censorship policies? by Hewitt HAL is newer than arXiv, also more open and international by Hewitt Paper-based journals are Procrustean :-( by Hewitt HAL doesn't have the censorship limitations of arXiv by Hewitt	Hewitt	2015-06-07 15:39
Forum topic	process oriented PL boot-strapping Actors are based on message-passing semantics; not preemption by Hewitt Instead of complicated borrowing, make variable races impossible by Hewitt	Rys McCusker	2015-06-05 17:47
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