Lambda the Ultimate

The Programming Languages Weblog

Home
Feedback
FAQ
Getting Started
Discussions
Site operation discussions
Recent Posts
(new topic)
Departments
Courses
Research Papers
Design Docs
Quotations
Genealogical Diagrams
Archives

User login

Username:

Password:

Create new account
Request new password

Navigation

recent posts

Home » user account

rektide

view
track

Personal information

Interests:

ZFC

History

Member for:
13 years 27 weeks

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation

Browse archives

« January 2022
Su	Mo	Tu	We	Th	Fr	Sa
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

Active forum topics

CUE: An open-source data validation language
Cicada language -- a new dependently typed language
Shen Standard Library
Do names and symbols really imply semantics? If so what to do about it?
Trojan Source: Unicode Bidi Algorithm abuses in source code

New forum topics

Cicada language -- a new dependently typed language
CUE: An open-source data validation language
Shen Standard Library
Trojan Source: Unicode Bidi Algorithm abuses in source code
The Book of Shen 4th edition is now available online.

Recent comments

Nice references
4 weeks 3 days ago
Programming with lattice structure
4 weeks 4 days ago
A nice overview
5 weeks 3 days ago
Updated link
8 weeks 1 day ago
cutting the tower
9 weeks 4 days ago
The tower of dependencies must be cut somehow at basement level
9 weeks 4 days ago
re fragile towers
9 weeks 6 days ago
re: contradictory
9 weeks 6 days ago
re: I'd be more interested in...
9 weeks 6 days ago
Yup, this must hold for everything in the whole universe
11 weeks 1 day ago