Lambda the Ultimate

type	title	author	last post
Story	Progress on Gradual Typing Type Annotations by Keean Schupke Sufficiently expressive types by Keean Schupke	gasche	2016-01-28 15:13
Story	Static vs. Dynamic Languages: A Literature Review Goals by Keean Schupke Pleasure and Pain. by Keean Schupke System 2 by Keean Schupke Evidence of Intelligence by Keean Schupke Cut and Paste Coding by Keean Schupke Observation of Intelligence by Keean Schupke Intelligence by Keean Schupke Explanation by Keean Schupke Aquire and Apply by Keean Schupke Intelligence is independent from knowledge. by Keean Schupke ...	naasking	2016-01-11 06:22
Forum topic	Typed Data Lean Architecture by Keean Schupke Some code is practically immutable by Keean Schupke Organisation, Simplicity, and Hardware Design by Keean Schupke Reasons by Keean Schupke Deep Learning by Keean Schupke Intel Phi by Keean Schupke Repeatability by Keean Schupke FP on top. by Keean Schupke Control Flow (qualification). by Keean Schupke Control Flow Does Not Parallelise by Keean Schupke ...	Andrew Moss	2015-12-31 08:59
Forum topic	Languages for SIMT Architectures Barriers by Keean Schupke Instruction Order by Keean Schupke CUDA SIMT by Keean Schupke	Keean Schupke	2015-12-23 04:49
Story	Compilers as Assistants Two languages by Keean Schupke Generics by Keean Schupke Runtime Error by Keean Schupke Code slicing by Keean Schupke Innacuracies by Keean Schupke Recovery makes it worse, try interactive type error debugging. by Keean Schupke	bashyal	2015-12-04 15:35
Forum topic	Logical and Functional Programming in Each Other Union Find by Keean Schupke	Jack Waugh	2015-12-02 19:01
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Static allocation by Keean Schupke No solution in PL. by Keean Schupke Pessimal GC by Keean Schupke Ada lacks good container abstractions by Keean Schupke That Depends. by Keean Schupke Many different garbage collectors. by Keean Schupke	Sean McDirmid	2015-11-24 16:45
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Reflection by Keean Schupke	naasking	2015-11-18 18:04
Forum topic	How Useful is Erlang Hot-Swapping of Code? Roll your own. by Keean Schupke Non GC allocator by Keean Schupke Writing the Kernel in Language X by Keean Schupke Runtime and OS by Keean Schupke Not sure by Keean Schupke Runtime vs OS by Keean Schupke	marco	2015-11-10 18:57
Forum topic	1ML — Core and modules united Imprecise by Keean Schupke Universal Visibility of Classes by Keean Schupke No Associated Types by Keean Schupke Unnecessary Parameter by Keean Schupke Dependent Types by Keean Schupke Signatures and Modules by Keean Schupke Object = Module + State + FixedPoint by Keean Schupke Both. by Keean Schupke Hidden type equality. by Keean Schupke Type Equality by Keean Schupke ...	Tom Primožič	2015-11-09 21:29
Forum topic	Garbage Collection Based on a Linear Type System This is what I am planning by Keean Schupke	raould	2015-11-03 06:48
Forum topic	inter-language PL theory patterns relevant to IPC? Type System Composition by Keean Schupke Type-safe rewriting and constraints on types. by Keean Schupke Type systems for IL by Keean Schupke Amiga Programming. by Keean Schupke	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX Are you buying? by Keean Schupke New Clothes by Keean Schupke Anyone can use by Keean Schupke Code, Happiness, and Learning the Language. by Keean Schupke The space between requirements. by Keean Schupke Differentiating by Keean Schupke Steve Jobs by Keean Schupke Microsoft vs Apple by Keean Schupke Perfection vs Compromise. by Keean Schupke Personal Expression vs Design by Committtee by Keean Schupke ...	Sean McDirmid	2015-10-26 18:24
Story	Dependent Types for Low-Level Programming Typing 'C' by Keean Schupke Liquid types are dependent types? by Keean Schupke Liquid vs Dependent by Keean Schupke	naasking	2015-10-16 07:59
Forum topic	Optimal efficiency GPUs and Parallel vs Serial by Keean Schupke Declarative by Keean Schupke Optimal efficiency for all algorithms. by Keean Schupke Not Proved by Keean Schupke The Proof? by Keean Schupke This is my opinion too by Keean Schupke	Keean Schupke	2015-10-12 06:19
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Computed Goto For Efficient Dispatch Tables by Keean Schupke Compilers not good at partial evaluation. by Keean Schupke You are right. by Keean Schupke Assembly for each pattern. by Keean Schupke Reducing array size. by Keean Schupke Real problems for benchmarking by Keean Schupke Verified Assembly by Keean Schupke My tests reveal otherwise by Keean Schupke Megamorphic, and uneven distributions. by Keean Schupke Inlining is not relevant by Keean Schupke ...	Ray Dillinger	2015-09-29 15:36
Forum topic	Implementing "Elements of Programming" in Actor Script Correct as far as I can tell. by Keean Schupke Not Suitable For Generic Programming? by Keean Schupke Your comments were about the code that was there. by Keean Schupke Where? by Keean Schupke Not the same thing by Keean Schupke Existence or importance? by Keean Schupke Bigger problem than just machine types. by Keean Schupke Types and casting by Keean Schupke extends vs implement by Keean Schupke extends and extension by Keean Schupke ...	Keean Schupke	2015-09-24 08:07
Forum topic	LMNtal Membranes and Logic Variables by Keean Schupke	Keean Schupke	2015-09-21 22:35
Story	Freer Monads, More Extensible Effects Read "Elements of Programming"? by Keean Schupke General Iterators by Keean Schupke	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU Funny Comments by Keean Schupke Coexistence. by Keean Schupke Not all my arguments are great. by Keean Schupke To get to know people and understand their opinions. by Keean Schupke Real Names and Suspending Accounts by Keean Schupke Anonymous Posting by Keean Schupke Discouraged. by Keean Schupke Not opposing real names? by Keean Schupke Real Names by Keean Schupke	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Understand and control allocation by Keean Schupke GIMPLE by Keean Schupke Reverse References by Keean Schupke Discrimination? by Keean Schupke - by Keean Schupke Substitutions by Keean Schupke Rewriting many references must be slow by Keean Schupke Related by discrimination by Keean Schupke Linear alias types by Keean Schupke Interfaces and implementations by Keean Schupke ...	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Dimensionless Numbers by Keean Schupke Apples per Hour by Keean Schupke Boxing in creativity? by Keean Schupke Composable eDSLs by Keean Schupke Languages with eDSL support by Keean Schupke DSLs as Libraries. by Keean Schupke	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions We should try harder to give people the opportunity. by Keean Schupke Heritability of Interests by Keean Schupke Ability = Talent + Work. by Keean Schupke Implementation of Algorithms by Keean Schupke Rosettacode by Keean Schupke Quality by Keean Schupke I read the code by Keean Schupke Network Chips and Sequential Computers by Keean Schupke Bayesian Propositional Logic by Keean Schupke Predictability by Keean Schupke ...	Ehud Lamm	2015-08-27 03:57
Forum topic	Unstructured casting considered harmful to security Can keep this one brief by Keean Schupke	Hewitt	2015-08-25 14:11
Forum topic	Implementing the communication semantics of actors Second Order Semantics by Keean Schupke How long to wait? by Keean Schupke Do all messages require a response? by Keean Schupke Trials by Keean Schupke Minimal Specification by Keean Schupke Are Actors a Good Model for Computation by Keean Schupke Order of Sending by Keean Schupke	Andrew Moss	2015-08-24 18:31
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