Lambda the Ultimate

type	title	author	last post
Forum topic	Advantages of pointfree? A point-free self-hosting Haskell compiler by Z-Bo +/%# by Z-Bo	John Nowak	2021-11-02 19:30
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 The Anti-Little Schemer by Z-Bo	jdougan	2021-10-14 09:16
Story	Google announces Logica: organizing your data queries, making them universally reusable and fun Basic boolean algebra manipulations are easier w/ Horn clauses by Z-Bo	Z-Bo	2021-09-24 17:33
Forum topic	What is a type? Code Contracts by Z-Bo Neither here nor there by Z-Bo Seems to me, one ought to by Z-Bo We designed the type system by Z-Bo Simple answer by Z-Bo	cpurdy	2021-08-05 01:10
Story	Introducing PathQuery, Google's Graph Query Language	Z-Bo	2021-07-27 13:34
Forum topic	Emacs modes: what is it? Hmm... by Z-Bo A more elegant Emacs by Z-Bo The Craft of Text Editing; or, Emacs for the Modern World by CF by Z-Bo	Qiantan Hong	2021-07-09 15:09
Story	LAMBDA: The ultimate Excel worksheet function Finance Reaction: "oooohhh" by Z-Bo	bashyal	2021-04-01 21:52
Forum topic	Loop and recursion Loops by Z-Bo	Mats	2021-01-21 21:50
Story	Google Brain's Jax and Flax	Z-Bo	2021-01-15 15:01
Forum topic	Type Mapping in Source-To-Source Translation Several ways to approach the problem by Z-Bo	thomash	2020-11-19 02:27
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	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
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