Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance more on Sturgeon's revelation by el-vadimo Sturgeon vs. Pedersen by el-vadimo Bracha on Java serialization (and language design) by el-vadimo grand challenge by el-vadimo seL4's formal semantics of Haskell and C by el-vadimo the Z notation by el-vadimo Gutmann's critique of formal methods by el-vadimo	shap	2016-11-24 01:04
Forum topic	Concatenative Language Kont 2Variable by el-vadimo	Chris	2014-10-22 09:15
Story	seL4: Formal Verification of an Operating-System Kernel rigorous standards by el-vadimo Re: Atanassowism by el-vadimo Re: Not in the May issue…. by el-vadimo from the horse's mouth by el-vadimo first-order vs. fourth-order by el-vadimo ask not what formal verification can do for you by el-vadimo Re: Communications of the ACM, May, 2010 Klein et al by el-vadimo	James Iry	2014-07-29 07:19
Story	Deca, an LtU-friendly bare metal systems programming language être, ou ne pas étre by el-vadimo “You and Your Research” by el-vadimo	Anton van Straaten	2014-04-23 16:10
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future future history of logic programming by el-vadimo	Ehud Lamm	2013-07-28 20:42
Story	Informed dissent: William Cook contra Bob Harper on OOP social aspects of influential dissent by el-vadimo	Ehud Lamm	2012-09-29 09:12
Forum topic	The Monad.Reader theorem industry redux by el-vadimo death by a thousand Dedekind cuts by el-vadimo notice of correction by el-vadimo iceberg looming in the background by el-vadimo Perlis vs. Dijkstra by el-vadimo	Wouter Swierstra	2012-04-11 12:54
Forum topic	Career paths and concerns more of the same... by el-vadimo "You and Your Research" by Richard Hamming by el-vadimo view from the trenches by el-vadimo	Jonathan Schuster	2012-03-31 18:04
Forum topic	References about the importance of formalism in programming language design Doron Zeilberger's Opinion #112 by el-vadimo	giuseppemag	2012-03-30 05:42
Story	Social Processes and Proofs of Theorems and Programs xref by el-vadimo Doron Zeilberger's Opinion #112 by el-vadimo understanding Spafford's lack of enthusiasm by el-vadimo tour de force brute by el-vadimo breaking provably secure systems by el-vadimo Vardi's recent digs at DeMillo, Lipton, and Perlis by el-vadimo a modern take on social processes and static analysis by el-vadimo requested citation by el-vadimo ...except hot bakery items by el-vadimo machine-obstructed proof by el-vadimo ...	Luke Gorrie	2012-03-19 13:02
Forum topic	Bret Victor's Inventing on Priniciple algorithm animation by el-vadimo	Sean McDirmid	2012-03-05 10:44
Forum topic	why first-class functions Christian Queinnec meets Norman Adams by el-vadimo	ad1mt	2012-03-02 13:33
Story	Milawa on Jitawa: a Verified Theorem Prover xref by el-vadimo	Paul Snively	2012-02-29 22:34
Story	Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic xref by el-vadimo expressivity by el-vadimo trusting your SAT solver by el-vadimo the no–meltdown theorem… by el-vadimo	Paul Snively	2012-02-29 19:59
Forum topic	PLT humor on Twitter @PLT_Borat by el-vadimo full disclosure by el-vadimo	Manuel J. Simoni	2012-02-25 21:54
Story	The Algebra of Data, and the Calculus of Mutation dimensional analysis by el-vadimo	Manuel J. Simoni	2012-02-15 00:19
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Re: What exactly can it do? by el-vadimo	Paul Snively	2012-02-09 18:04
Forum topic	Go's proposed panic/recover exception-like mechanism exceptions ⇏ stack unwinding by el-vadimo Re: Error-Handling Patterns by el-vadimo	pgregory	2012-01-07 01:57
Forum topic	Programmer Archeologists understanding things top to bottom by el-vadimo	Sean McDirmid	2012-01-06 16:48
Story	Seven Myths of Formal Methods Revisited tangential remarks by el-vadimo	naasking	2012-01-03 15:24
Forum topic	Run Your Research: On the Effectiveness of Mechanization relationship of Redex to Jackson's Alloy by el-vadimo	lmeyerov	2011-12-29 20:22
Forum topic	iPhone PL lockdown Gilad Bracha's take by el-vadimo	Sean McDirmid	2011-12-24 05:49
Forum topic	General purpose as a special case? CiaoPP by el-vadimo Re: Why only ‘minimal’ langues by el-vadimo therapeutic aspect of a REPL by el-vadimo	Wendell	2011-12-18 04:04
Forum topic	REPL-schmepl? more like, “I hate debuggers” by el-vadimo eval gone bad by el-vadimo evaluating evaluators by el-vadimo REPL as an afterthought by el-vadimo on the value of planning (and documentation) by el-vadimo	el-vadimo	2011-12-07 00:25
Story	A bit of Scheming updated link by el-vadimo	Ehud Lamm	2011-12-01 13:44
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