Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Even in Java configurations by Ben L. Titzer Ah, you are right. by Ben L. Titzer Somewhat guilty by Ben L. Titzer	shap	2016-11-24 01:04
Story	Second-order logic explained in plain English Provocative by Ben L. Titzer Enough by Ben L. Titzer	Charles Stewart	2016-02-19 12:40
Story	Static vs. Dynamic Languages: A Literature Review Memory aliasing by Ben L. Titzer	naasking	2016-01-11 06:22
Story	Compilers as Assistants Too aggressive type inference by Ben L. Titzer Ambiguity by Ben L. Titzer Don't go for maximum errors by Ben L. Titzer Compilers could at least be polite by Ben L. Titzer	bashyal	2015-12-04 15:35
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Fighter jets don't have by Ben L. Titzer The things that need to be by Ben L. Titzer Shaky assumptions by Ben L. Titzer A variety of high-profile by Ben L. Titzer Self-driving C++ by Ben L. Titzer Indeed by Ben L. Titzer I wrote the Virgil garbage by Ben L. Titzer 100kb = luxury by Ben L. Titzer I'll go with Gibson on this by Ben L. Titzer Memory management in 2015 by Ben L. Titzer	Sean McDirmid	2015-11-24 16:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? L1 data by Ben L. Titzer Sorry, no. by Ben L. Titzer Cold paths, big programs by Ben L. Titzer	Ray Dillinger	2015-09-29 15:36
Forum topic	When are Actors appropriate? This is not bullying by Ben L. Titzer In its context, this is by Ben L. Titzer Please read what I actually by Ben L. Titzer Please no by Ben L. Titzer Mostly agree by Ben L. Titzer	raould	2015-07-21 16:25
Forum topic	Compilation to C, a definitive guide? All good things in moderation by Ben L. Titzer	naasking	2015-07-05 19:00
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) There are no practical uses by Ben L. Titzer <=> by Ben L. Titzer	Hewitt	2015-06-25 00:05
Forum topic	The evolution of Rust Another example by Ben L. Titzer Actually, for a unified by Ben L. Titzer That's not the point. We by Ben L. Titzer Unclear by Ben L. Titzer 320 cores then? by Ben L. Titzer	qznc	2015-06-07 16:54
Forum topic	Generating compiler back ends at the snap of a finger Less potential by Ben L. Titzer	raould	2015-05-28 15:24
Forum topic	Have tracing JIT compilers won? No by Ben L. Titzer	Peter Michaux	2015-05-26 21:09
Forum topic	how many lines of code can civilization support? Bottled water, Betamax, $4 by Ben L. Titzer Chill, seriously. by Ben L. Titzer the better alternatives by Ben L. Titzer	Thomas Lord	2015-04-09 22:07
Forum topic	Some notes on Rust, the language. V8 Dev here.In V8 by Ben L. Titzer Punch a hole by Ben L. Titzer	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? Chill by Ben L. Titzer	bryanedds	2015-02-02 17:56
Forum topic	Virgil: a statically-typed language balancing functional and OO features Variants are in by Ben L. Titzer _ can only be used as an argument by Ben L. Titzer Local reasoning by Ben L. Titzer Left to right by Ben L. Titzer [dup] by Ben L. Titzer Some features not mentioned by Ben L. Titzer Relational Mashup by Ben L. Titzer Troubles with induction by Ben L. Titzer Reality is, there are by Ben L. Titzer Some valid points by Ben L. Titzer	Kartik Agaram	2014-10-25 23:08
Forum topic	Jonathan Blow's next foray into game language design You win something here by Ben L. Titzer Overconstraining the runtime system by Ben L. Titzer Zero allocations is even by Ben L. Titzer Handles by Ben L. Titzer That's usually because you by Ben L. Titzer Compilers improve by Ben L. Titzer Escape analysis by Ben L. Titzer Register allocators / latency by Ben L. Titzer Generational hypothesis by Ben L. Titzer	jdougan	2014-10-21 20:35
Story	Open thread: RIP Steve Jobs Hi Andreas. Java is hardly a by Ben L. Titzer Hi Sean. Your post was by Ben L. Titzer The story seems plausible by Ben L. Titzer Sadly I feel there is little by Ben L. Titzer Live in denial like I do. :) by Ben L. Titzer I'm not really sure why Kay by Ben L. Titzer	Ehud Lamm	2014-10-05 00:19
Story	Interactive scientific computing; of pythonic parts and goldilocks languages I don't see how "change by Ben L. Titzer HotSpot is pretty by Ben L. Titzer Who you calling a ludicrous by Ben L. Titzer	gasche	2014-07-24 16:28
Story	Deca, an LtU-friendly bare metal systems programming language Nice work by Ben L. Titzer	Anton van Straaten	2014-04-23 16:10
Story	What Are The Resolved Debates in General Purpose Language Design? I think Python's nesting by Ben L. Titzer Well, if I'm allowed to by Ben L. Titzer Well, if I'm allowed to by Ben L. Titzer None of those are DSLs by Ben L. Titzer Unfortunately, this does not by Ben L. Titzer Fine, as long as there still by Ben L. Titzer Which is why language by Ben L. Titzer I, for one, am waiting for by Ben L. Titzer All of which I consider DSLs. by Ben L. Titzer Separate compilation of by Ben L. Titzer ...	James Iry	2014-03-31 20:55
Forum topic	Inheritance is the Base Class of Evil Blinkered by Ben L. Titzer	Charles Torre	2014-02-26 22:16
Story	The Three Laws of Programming Language Design You are reasoning by analogy by Ben L. Titzer Schooling only works up to a by Ben L. Titzer	bashyal	2013-07-04 14:32
Forum topic	Compile-time constraint solver? Tons of optimizations by Ben L. Titzer	George Morrison	2013-06-16 10:18
Forum topic	A little comparison of some programming lanugages Not a very careful analysis by Ben L. Titzer	raould	2013-06-15 20:14
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