Lambda the Ultimate

type	title	author	last post
Story	Applications of Blockchain to Programming Language Theory Thanks, fare by Z-Bo	Z-Bo	2020-04-23 14:47
Story	Tensor Considered Harmful	Z-Bo	2019-11-09 02:27
Forum topic	Type Mapping in Source-To-Source Translation Several ways to approach the problem by Z-Bo	thomash	2019-10-29 17:23
Forum topic	Advantages of pointfree? A point-free self-hosting Haskell compiler by Z-Bo +/%# by Z-Bo	John Nowak	2019-10-17 16:20
Forum topic	Histogram: You have to know the past to understand the present by Tomas Petricek Neat by Z-Bo	spdegabrielle	2019-09-24 22:04
Story	Seven Sketches in Compositionality: An Invitation to Applied Category Theory Neat by Z-Bo	Andris Birkmanis	2019-05-24 22:34
Story	"Three Things I Wish I Knew When I Started Designing Languages" Some older posts: by Z-Bo	Charles Stewart	2019-05-14 00:54
Story	Selective Functors	Z-Bo	2019-03-05 18:39
Forum topic	Representing Type Information in Dynamically Typed Languages BaLinda K by Z-Bo You're so terse sometimes by Z-Bo CBD by Z-Bo	Ray Dillinger	2018-04-06 21:50
Story	Project Snowflake: Non-blocking safe manual memory management in .NET .net core doesn't expose Threads by Z-Bo	naasking	2017-09-13 20:37
Forum topic	Type system based on epistemic modal logic? Here is the basic challenge by Z-Bo	Jon Purdy	2017-09-12 02:48
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
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