Anton van Straaten

typetitleauthorlast post sort icon
StoryLtU is now running in a new, more stable environment Anton van Straaten2022-11-28 23:40
Forum topicHTTPS and logins to LtU. Ray Dillinger2022-09-20 06:02
Forum topicMajor problems with access const2019-02-24 09:31
StoryThe Little Typer Anton van Straaten2018-12-21 18:48
StoryCaptcha Ehud Lamm2018-07-09 18:16
Forum topicADMIN: You NEED to set up HTTPS soon Bárður Árantsson2018-04-15 23:49
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicSite migration Anton van Straaten2018-03-12 12:02
Forum topicInteresting new paper from T. Sweeney and others jasonwatkinspdx2018-01-22 05:09
Forum topicAlgebra Of Pointers Keean Schupke2017-12-30 13:48
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
Forum topicJob ads Kalani2015-02-11 23:11
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
StoryLtU's new server Anton van Straaten2014-10-20 16:51
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicProgramming by page faulting Sean McDirmid2014-09-09 00:11
StoryCost semantics for functional languages gasche2014-08-21 22:00
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
PageDepartments Anton van Straaten2014-07-13 10:01
Forum topicMath.js crashes my iPad Sean McDirmid2014-07-03 16:05
Forum topicAnnouncing Lang.NEXT 2014 - Registration is Free and Now Open Charles Torre2014-06-04 00:59