Lambda the Ultimate

type	title	author	last post
Forum topic	Type system based on epistemic modal logic? Here is the basic challenge by Z-Bo	Jon Purdy	2017-08-16 03:07
Forum topic	hobbes, Morgan Stanley OSS Got it by Z-Bo How many FLOPS is that? by Z-Bo I'll say one thing about by Z-Bo	Kalani	2017-07-27 14:55
Story	kdb+ 3.5 released last month Fixed, thanks by Z-Bo	Z-Bo	2017-03-26 23:57
Forum topic	Splitting witnesses up Thanks by Z-Bo	Z-Bo	2016-11-30 17:22
Forum topic	On the (Alleged) Value of Proof for Assurance What I fail to realize :) by Z-Bo What's Bad In My Books by Z-Bo Orthogonal to the reflection by Z-Bo Feeling faster vs. truly fast runtime reflection by Z-Bo Two reasons by Z-Bo Update by Z-Bo Vadim, you tug on the heart strings by Z-Bo Baseline Project Plan, Current Project Plan by Z-Bo Third goal by Z-Bo The Composing Contracts papers by Z-Bo ...	shap	2016-11-24 01:04
Story	Automating Ad hoc Data Representation Transformations You're missing the point by Z-Bo The reason it isn't fully realized by Z-Bo	naasking	2016-09-29 18:54
Story	PowerShell is open sourced and is available on Linux Ability to fix bugs by Z-Bo	Ehud Lamm	2016-08-21 21:31
Forum topic	Alice, Bob, and Penthesilea: mutually suspicious code and data owners I don't get the Penthesilea reference by Z-Bo	johnwcowan	2016-07-29 14:27
Story	Admin Of course by Z-Bo	Ehud Lamm	2016-07-24 14:16
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Or, the other way around by Z-Bo	raould	2016-04-24 16:35
Story	Progress on Gradual Typing We, the Schmuck by Z-Bo 5 real world examples of problems we schmuck are trying to solve by Z-Bo	gasche	2016-01-28 15:13
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Who will the US Government and EU pick? by Z-Bo	Sean McDirmid	2015-11-24 16:45
Story	STABILIZER : Statistically Sound Performance Evaluation Gabe... by Z-Bo principle of diversification by Z-Bo	gasche	2015-08-19 14:43
Story	Facebook open sources "Infer", static program analysis tool Scale by Z-Bo It says it in the linked post. by Z-Bo Um by Z-Bo	Z-Bo	2015-07-28 18:54
Forum topic	Have tracing JIT compilers won? Escape analysis by Z-Bo No it's not... by Z-Bo No. by Z-Bo We actually had a discussion by Z-Bo Propagation delay by Z-Bo I don't understand by Z-Bo javascript heap objects by Z-Bo Lua is king in the land of Lua-dites by Z-Bo Observation by Z-Bo Right, Z-Bo. That's kind of by Z-Bo ...	Peter Michaux	2015-05-26 21:09
Forum topic	What makes LtU more or less enjoyable? Friendships by Z-Bo	gasche	2015-05-07 06:03
Forum topic	Virgil: a statically-typed language balancing functional and OO features Thanks, makes sense now. by Z-Bo I think ultimately the only by Z-Bo Not entirely fair by Z-Bo Consider how much simpler writing LINQ could be by Z-Bo Nemerle by Z-Bo	Kartik Agaram	2014-10-25 23:08
Story	LtU's new server Wonderfully done by Z-Bo	Anton van Straaten	2014-10-20 16:51
Forum topic	Reactive Programming Antony Courtney by Z-Bo The Yale Haskell Group: by Z-Bo Doug Engelbart by Z-Bo Tombstones by Z-Bo	J Storrs Hall	2014-08-06 03:32
Story	seL4: Formal Verification of an Operating-System Kernel Domain specific languages by Z-Bo	James Iry	2014-07-29 07:19
Forum topic	You don't mean people actually still use it?! VB.NET? by Z-Bo	Ehud Lamm	2014-04-25 01:13
Story	.NET Compiler Platform ("Roslyn") Extremely jealous of high school and college students by Z-Bo	Ehud Lamm	2014-04-22 23:53
Story	Study finds that when no financial interests are involved programmers choose DECENT languages I thought LessWrong.com was a bunch of robots? by Z-Bo	Ehud Lamm	2014-04-15 05:59
Forum topic	Modern Shell Language PowerShell is structured around RAD by Z-Bo	Pavel P	2014-04-06 11:51
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future Maybe instead of having a bottom value by Z-Bo Perspectrive by Z-Bo	bashyal	2014-03-26 03:53
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