Lambda the Ultimate

type	title	author	last post
Story	Lightweight Static Capabilities Skepticism by Paul Snively Let's Do It by Paul Snively My Head... by Paul Snively	Paul Snively	2021-12-02 13:45
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 This Was Not the News I Came Back to Read by Paul Snively	jdougan	2021-10-14 09:16
Forum topic	Are Monads a Waste of Time? Monads aren't a waste of by Paul Snively	Keean Schupke	2018-03-16 00:59
Forum topic	Programming by poking: why MIT stopped teaching SICP > Prove me wrong and we can by Paul Snively If you don't know by Paul Snively If you start too concrete, by Paul Snively The Jokes Write Themselves by Paul Snively	Sean McDirmid	2018-01-26 06:42
Story	ECMAScript Edition 4 Reference Implementation Thanks... by Paul Snively Follow-Up on Important Point by Paul Snively	Dave Herman	2017-08-05 19:34
Forum topic	Abstractionless programming Non-Prototype Literate Programming via Outlines, w/Cloned Nodes by Paul Snively	Wouter	2017-06-10 16:36
Forum topic	Living it up with a Live Programming Language Congratulations! by Paul Snively I'd stick with the i.e. by Paul Snively Ditto... by Paul Snively	Sean McDirmid	2017-06-10 16:27
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Other Way by Paul Snively	Achilleas Margaritis	2017-03-31 19:14
Forum topic	jsMath support? Shameless Plug by Paul Snively	neelk	2016-12-29 16:05
Forum topic	On the (Alleged) Value of Proof for Assurance Absolutely by Paul Snively Proof Script vs. Proof by Paul Snively Plenty of Truth by Paul Snively Phase Distinctions by Paul Snively "Production" Code by Paul Snively Quick Addendum by Paul Snively With an error like this... by Paul Snively Thanks! by Paul Snively Nothing More Than Feelings by Paul Snively Isn't That What Marc Said Up-Thread? by Paul Snively ...	shap	2016-11-24 01:04
Forum topic	"Inconsistency Robustness" now available Moving higher on the pile by Paul Snively	Hewitt	2015-08-17 21:21
Story	Running Probabilistic Programs Backwards Relation to Hansei? by Paul Snively	gasche	2015-08-05 10:38
Story	Self-Representation in Girard’s System U We may be missing a conjunct by Paul Snively Possibilities by Paul Snively	naasking	2015-06-18 22:53
Forum topic	general patterns in PL persistence schemes? The New Hotness and Ancient History by Paul Snively	Rys McCusker	2015-02-24 02:23
Forum topic	How can languages help us in terms of achieving correct program design? Give me Kernel or give me Coq redux by Paul Snively	bryanedds	2015-02-02 17:56
Story	Morrow & First-class Labels Second by Paul Snively	Frank Atanassow	2014-12-28 20:26
Forum topic	Concatenative Language Kont Toplevel by Paul Snively	Chris	2014-10-22 09:15
Forum topic	Jonathan Blow's next foray into game language design Relate by Paul Snively	jdougan	2014-10-21 20:35
Story	Open thread: RIP Steve Jobs Dylan by Paul Snively Having been there when Dylan was being developed... by Paul Snively	Ehud Lamm	2014-10-05 00:19
Story	seL4: Formal Verification of an Operating-System Kernel Practice Makes Perfect by Paul Snively Self-Made Frustration by Paul Snively Decomposition by Paul Snively Interesting by Paul Snively In Certain Circles... by Paul Snively Good Question! by Paul Snively	James Iry	2014-07-29 07:19
Story	Deca, an LtU-friendly bare metal systems programming language Very Kind... by Paul Snively This is it by Paul Snively	Anton van Straaten	2014-04-23 16:10
Story	Gilad Is Right Well Put by Paul Snively On the Contrary by Paul Snively	Erik Meijer	2014-03-23 13:38
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future This is a really good question... by Paul Snively Disappointing by Paul Snively	Ehud Lamm	2013-07-28 20:42
Forum topic	Cost of provably-correct code Real Programming Languages vs. Algorithmic Information Theory by Paul Snively Language Design Terminology by Paul Snively Yep by Paul Snively Pragmatism by Paul Snively Embrace and Extend by Paul Snively Assumptions by Paul Snively However... by Paul Snively	Ehud Lamm	2013-07-06 19:56
Story	the gnu extension language See Also... by Paul Snively Good Points and Greatly Appreciated by Paul Snively Not OK by Paul Snively OK by Paul Snively OK by Paul Snively With friends like this... by Paul Snively	Manuel J. Simoni	2013-06-28 14:23
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