Lambda the Ultimate

type	title	author	last post
Forum topic	Don't use "Yield" for co-routines; instead use "Postpone" Thunks don't implement "Postpone" (or "Future") by Hewitt Versions of "Yield" attempted to tame hairy control structure by Hewitt "Hairy control structure" didn't work out in practice by Hewitt FutureFringe can be higher performance than PostponedFringe by Hewitt Natural implements ℕ by Hewitt Thanks! by Hewitt Actors are *not* first-order by Hewitt SameFringe? uses 2-way communication by Hewitt FutureList is a different type than List by Hewitt There are many equivalence classes for Actors by Hewitt ...	Hewitt	2016-05-09 12:03
Story	Second-order logic explained in plain English Incompleteness theorem for ℕ by Hewitt Types can help with the monsters by Hewitt Models first-order theories: infinite integers & infinitesimals by Hewitt "Monster" is a technical term after Lakatos. by Hewitt CS foundations: bar infinite integers & infinitesimal reals by Hewitt Computer Science foundations: bar monsters of first-order logic. by Hewitt First-order logic semantics doesn't work for types by Hewitt Most philosophers now view higher-order logic as radical by Hewitt Power of higher-order logic understood in one simple axiom by Hewitt	Charles Stewart	2016-02-19 12:40
Forum topic	Implementing "Elements of Programming" in Actor Script Needed extra functionality for ActorScript types? by Hewitt Excellent question! by Hewitt Almost correct by Hewitt Procedure with type parameter by Hewitt To enforce branding, implementation types cannot be subtytped by Hewitt "referentially transparent" is *not* the same as "alias free" by Hewitt [Integer*] is the type of a list with integer elements by Hewitt Referential transparency:same expression referring to same thing by Hewitt Maximizing referential transparancy by Hewitt An Actor is allowed to directly update its own variables by Hewitt ...	Keean Schupke	2015-09-24 08:07
Story	Freer Monads, More Extensible Effects Sequencing: Lists (i.e. [...]) versus ⬤ (i.e. ";") by Hewitt A list (i.e. [...]) is an abstraction: many ways to implement by Hewitt Doesn't fix fundamental problem with monads: concurrency by Hewitt	naasking	2015-09-14 03:17
Forum topic	word2vec Distances as a type: Meters by Hewitt	Sean McDirmid	2015-09-05 18:26
Forum topic	Moderation on LtU Maybe some brave soul will counter Wikipedia PL censorship by Hewitt Censorship by anon Wikipedia admin CBM is slowing progress :-( by Hewitt The link that would be most useful to Wikipedia users by Hewitt Carl Hewitt Wikipedia article: totally out of date and censored by Hewitt Examples of anonymous censorship on Wikipedia by Hewitt Anonymous censorship can be a big problem by Hewitt Authenticate with real name + email (to be kept private) by Hewitt Most of the Administrators (censors) on Wikipedia are anonymous by Hewitt A contributor to LtU should register under their own name by Hewitt Suggestions for better LtU organization by Hewitt ...	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". A discrimination of stuff can be used only for discrimination by Hewitt A discimination ssignature: no signatures of its discriminants by Hewitt Sophisticated many-core applications by Hewitt Compiling top-level definitions separately is fine by Hewitt Currently no good benchmarks for complex many-core applications by Hewitt Compaction significant for many-core perf: caching and paging by Hewitt Generality of ActorScript by Hewitt Traction causes investment which is only way to compete on perf by Hewitt Linear alias types are inadequate for many-core applications by Hewitt Java has traction, which Ada totally lacks by Hewitt ...	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Not usually defined: Meter < Meter^2; but can do Meter↦Meter^2 by Hewitt Parameterized types + upcast/downcast by Hewitt	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions Censorship and exclusion are larger problems on Wikipedia by Hewitt Path from CyberLocalism to CyberTotalism by Hewitt	Ehud Lamm	2015-08-27 03:57
Forum topic	Unstructured casting considered harmful to security Actors for IoT by Hewitt A major intended application area is IoT by Hewitt Extension type does the heavy lifting in downcasting by Hewitt Downcasting of an interface type: to an extension interface by Hewitt Blog communication is difficult; but miscommunication easy :-( by Hewitt "Stone Casting" by Mark Miller by Hewitt Please don't mind the attempted censorship. by Hewitt	Hewitt	2015-08-25 14:11
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
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