ur

Messages by Date

2013/11/27 Re: [Ur] TechEmpower Benchmarks escalier
2013/11/27 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
2013/11/27 Re: [Ur] TechEmpower Benchmarks Chris Double
2013/11/27 Re: [Ur] TechEmpower Benchmarks Maciek Starzyk
2013/11/25 Re: [Ur] CSRF protection Adam Chlipala
2013/11/25 [Ur] CSRF protection Chris Double
2013/11/25 Re: [Ur] Using Persona Authentication API Chris Double
2013/11/24 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Marc Weber
2013/11/24 [Ur] Ur/Web user census Adam Chlipala
2013/11/24 [Ur] New release Adam Chlipala
2013/11/22 Re: [Ur] Using Persona Authentication API Adam Chlipala
2013/11/21 Re: [Ur] HTML Edit control Adam Chlipala
2013/11/21 Re: [Ur] Best practices for Mercurial + autogeneration of files? Adam Chlipala
2013/11/21 Re: [Ur] Best practices for Mercurial + autogeneration of files? Jason Gross
2013/11/21 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Adam Chlipala
2013/11/21 Re: [Ur] Best practices for Mercurial + autogeneration of files? Adam Chlipala
2013/11/21 Re: [Ur] Best practices for Mercurial + autogeneration of files? Jason Gross
2013/11/21 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Adam Chlipala
2013/11/21 Re: [Ur] Best practices for Mercurial + autogeneration of files? Adam Chlipala
2013/11/21 Re: [Ur] Very interesting, but mind-exploding Marcelo de Moraes Serpa
2013/11/21 Re: [Ur] Very interesting, but mind-exploding Marc Weber
2013/11/21 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Marc Weber
2013/11/21 Re: [Ur] Very interesting, but mind-exploding Adam Chlipala
2013/11/21 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Marc Weber
2013/11/21 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Vladimir Shabanov
2013/11/20 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Marc Weber
2013/11/20 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Timothy Beyer
2013/11/20 Re: [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Adam Chlipala
2013/11/19 [Ur] What about a new project - general purpose ur like language which collaborates with existing languages? Marc Weber
2013/11/19 Re: [Ur] Checking for equality in SQL expressions fails for None Adam Chlipala
2013/11/18 [Ur] Checking for equality in SQL expressions fails for None Istvan Chung
2013/11/17 Re: [Ur] Very interesting, but mind-exploding Adam Chlipala
2013/11/17 Re: [Ur] Anybody interested in targeting phonegap eventually ? Adam Chlipala
2013/11/17 Re: [Ur] Very interesting, but mind-exploding Sergey Mironov
2013/11/16 [Ur] Anybody interested in targeting phonegap eventually ? Marc Weber
2013/11/16 Re: [Ur] Very interesting, but mind-exploding Marc Weber
2013/11/16 [Ur] Very interesting, but mind-exploding Marcelo de Moraes Serpa
2013/11/13 Re: [Ur] rpc using POST? Chris Double
2013/11/13 Re: [Ur] rpc using POST? Adam Chlipala
2013/11/12 [Ur] Using Persona Authentication API Chris Double
2013/11/12 [Ur] rpc using POST? Chris Double
2013/11/06 Re: [Ur] OpenId compile error Adam Chlipala
2013/11/06 [Ur] OpenId compile error Chris Double
2013/11/04 Re: [Ur] (minor) hidden table constraints Adam Chlipala
2013/11/04 Re: [Ur] TechEmpower Benchmarks escalier
2013/11/04 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
2013/11/04 Re: [Ur] TechEmpower Benchmarks escalier
2013/11/04 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
2013/11/03 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
2013/11/02 [Ur] TechEmpower Benchmarks escalier
2013/10/21 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
2013/10/18 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
2013/10/17 Re: [Ur] (minor) hidden table constraints Adam Chlipala
2013/10/17 [Ur] (minor) hidden table constraints Sergey Mironov
2013/10/15 Re: [Ur] Signature for a style declaration Sergey Mironov
2013/10/14 Re: [Ur] Signature for a style declaration Adam Chlipala
2013/10/14 [Ur] Signature for a style declaration Sergey Mironov
2013/10/14 Re: [Ur] cygwin, pthread_attr_init failed Adam Chlipala
2013/10/14 Re: [Ur] cygwin, pthread_attr_init failed Sergey Mironov
2013/10/14 [Ur] cygwin, pthread_attr_init failed Sergey Mironov
2013/10/11 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Adam Chlipala
2013/10/11 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
2013/10/10 Re: [Ur] java-script calls are optimised out Sergey Mironov
2013/10/10 Re: [Ur] Odd bug with error pages Adam Chlipala
2013/10/10 Re: [Ur] java-script calls are optimised out Adam Chlipala
2013/10/10 Re: [Ur] Redirecting to the same page with a form, getting "wrong cookie signature" Adam Chlipala
2013/10/10 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Adam Chlipala
2013/10/09 [Ur] Odd bug with error pages Austin Seipp
2013/10/09 Re: [Ur] blessXml again Adam Chlipala
2013/10/09 [Ur] blessXml again Sergey Mironov
2013/10/08 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
2013/10/08 [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
2013/10/06 Re: [Ur] css_style and 'Anonymous function remains at code generation' Adam Chlipala
2013/10/04 Re: [Ur] css_style and 'Anonymous function remains at code generation' Sergey Mironov
2013/10/04 Re: [Ur] css_style and 'Anonymous function remains at code generation' Adam Chlipala
2013/10/04 [Ur] css_style and 'Anonymous function remains at code generation' Sergey Mironov
2013/10/03 Re: [Ur] java-script calls are optimised out Adam Chlipala
2013/10/03 Re: [Ur] java-script calls are optimised out Sergey Mironov
2013/10/02 Re: [Ur] java-script calls are optimised out Adam Chlipala
2013/10/02 [Ur] java-script calls are optimised out Sergey Mironov
2013/10/02 Re: [Ur] using mapX Sergey Mironov
2013/10/02 Re: [Ur] using mapX Adam Chlipala
2013/10/02 Re: [Ur] using mapX Adam Chlipala
2013/10/02 Re: [Ur] using mapX Sergey Mironov
2013/10/02 [Ur] using mapX Sergey Mironov
2013/10/01 Re: [Ur] code bug Adam Chlipala
2013/10/01 Re: [Ur] Mailing list problem Sergey Mironov
2013/10/01 Re: [Ur] code bug Sergey Mironov
2013/09/30 Re: [Ur] code bug Adam Chlipala
2013/09/30 Re: [Ur] Mailing list problem Adam Chlipala
2013/09/30 Re: [Ur] code bug Maciek Starzyk
2013/09/30 Re: [Ur] code bug Sergey Mironov
2013/09/30 Re: [Ur] code bug Sergey Mironov
2013/09/30 [Ur] code bug Sergey Mironov
2013/09/30 [Ur] Mailing list problem Sergey Mironov
2013/09/26 Re: [Ur] -root option is broken? Adam Chlipala
2013/09/26 Re: [Ur] constructor-level constraints and more Adam Chlipala
2013/09/26 [Ur] constructor-level constraints and more Sergey Mironov
2013/09/23 [Ur] -root option is broken? Sergey Mironov
2013/09/18 [Ur] changing built-in ccompiler Sergey Mironov
2013/09/13 Re: [Ur] Non-printable character 10 in blob to SQLify Adam Chlipala
2013/08/28 Re: [Ur] ANNOUNCE urembed - file-to-urp converter Adam Chlipala
2013/08/28 [Ur] ANNOUNCE urembed - file-to-urp converter Sergey Mironov
2013/08/28 Re: [Ur] HTML Edit control Sergey Mironov
2013/08/27 Re: [Ur] HTML Edit control Adam Chlipala
2013/08/26 [Ur] HTML Edit control Sergey Mironov
2013/08/20 [Ur] Non-printable character 10 in blob to SQLify Sergey Mironov
2013/08/06 [Ur] Error triggers unlimited retry Sergey Mironov
2013/08/05 Re: [Ur] Best practices for Mercurial + autogeneration of files? Jason Gross
2013/08/05 [Ur] [ur] beginner questions Sergey Mironov
2013/07/28 Re: [Ur] Redirecting to the same page with a form, getting "wrong cookie signature" Daniel Patterson
2013/07/17 Re: [Ur] Confusing error message when using effectful javascript ffi function in onload handler Daniel Patterson
2013/07/09 Re: [Ur] MySQL+InnoDB-backed sequences reset on database restart Istvan Chung
2013/07/09 Re: [Ur] HTML Being escaped? Adam Chlipala
2013/07/08 [Ur] HTML Being escaped? David Snider
2013/07/04 [Ur] An issue with Cyrillic characters Artyom Shalkhakov
2013/06/02 Re: [Ur] Anonymous function remains at code generation? Istvan Chung
2013/06/02 Re: [Ur] Anonymous function remains at code generation? Adam Chlipala
2013/06/02 Re: [Ur] Anonymous function remains at code generation? David Snider
2013/06/02 Re: [Ur] Anonymous function remains at code generation? David Snider
2013/06/01 [Ur] Anonymous function remains at code generation? Istvan Chung
2013/05/31 Re: [Ur] Possible to have products in SQL aggregates? Daniel Patterson
2013/05/31 Re: [Ur] Possible to have products in SQL aggregates? Adam Chlipala
2013/05/31 [Ur] Possible to have products in SQL aggregates? Daniel Patterson
2013/05/30 [Ur] Invitation to connect on LinkedIn William Halchin
2013/05/30 [Ur] Invitation to connect on LinkedIn William Halchin
2013/05/29 Re: [Ur] Pattern Matching Adam Chlipala
2013/05/29 Re: [Ur] Pattern Matching David Snider
2013/05/28 Re: [Ur] Pattern Matching Adam Chlipala
2013/05/28 [Ur] Pattern Matching David Snider
2013/05/27 Re: [Ur] Folds on lists of xbody Adam Chlipala
2013/05/27 [Ur] Folds on lists of xbody Istvan Chung
2013/05/27 Re: [Ur] Code Review David Snider
2013/05/27 Re: [Ur] Code Review Adam Chlipala
2013/05/27 Re: [Ur] Using a type variable for the type of a table Adam Chlipala
2013/05/26 [Ur] Using a type variable for the type of a table Istvan Chung
2013/05/25 [Ur] Walkthrough of a small Ur/Web application Daniel Patterson
2013/05/24 Re: [Ur] Library Dependencies Adam Chlipala
2013/05/24 [Ur] Code Review David Snider
2013/05/21 [Ur] Library Dependencies David Snider
2013/04/21 [Ur] New release Adam Chlipala
2013/04/20 Re: [Ur] Looking for an example of a common pattern Adam Chlipala
2013/04/20 Re: [Ur] Calling an Ur/Web function from Javascript Istvan Chung
2013/04/20 [Ur] Looking for an example of a common pattern David Snider
2013/04/08 Re: [Ur] Calling an Ur/Web function from Javascript Adam Chlipala
2013/04/07 Re: [Ur] Calling an Ur/Web function from Javascript Istvan Chung
2013/04/07 Re: [Ur] Calling an Ur/Web function from Javascript Adam Chlipala
2013/04/07 Re: [Ur] Calling an Ur/Web function from Javascript Istvan Chung
2013/04/07 Re: [Ur] Calling an Ur/Web function from Javascript Adam Chlipala
2013/04/07 [Ur] Calling an Ur/Web function from Javascript Istvan Chung
2013/04/01 Re: [Ur] cookie + table compiler bug Adam Chlipala
2013/03/22 [Ur] cookie + table compiler bug Nathan Wolfe
2013/03/19 Re: [Ur] -static not linking in some libraries Adam Chlipala
2013/03/18 Re: [Ur] Body onload handlers do not cause scripts to be included Daniel Patterson
2013/03/18 Re: [Ur] -static not linking in some libraries Daniel Patterson
2013/03/18 Re: [Ur] -static not linking in some libraries Adam Chlipala
2013/03/18 Re: [Ur] -static not linking in some libraries Karn Kallio
2013/03/18 [Ur] -static not linking in some libraries Daniel Patterson
2013/03/15 Re: [Ur] Body onload handlers do not cause scripts to be included Adam Chlipala
2013/03/14 Re: [Ur] Way to rewrite path to app.js? Adam Chlipala
2013/03/14 [Ur] Way to rewrite path to app.js? Daniel Patterson
2013/03/12 Re: [Ur] Passing non-Basis data types to javascript ffi? Adam Chlipala
2013/03/12 Re: [Ur] Passing non-Basis data types to javascript ffi? Daniel Patterson
2013/03/12 Re: [Ur] Passing non-Basis data types to javascript ffi? Adam Chlipala
2013/03/11 [Ur] Passing non-Basis data types to javascript ffi? Daniel Patterson
2013/03/11 Re: [Ur] rpc calls from signals? Karn Kallio
2013/03/11 Re: [Ur] rpc calls from signals? Daniel Patterson
2013/03/11 Re: [Ur] Body onload handlers do not cause scripts to be included Adam Chlipala
2013/03/11 Re: [Ur] rpc calls from signals? Adam Chlipala
2013/03/11 [Ur] rpc calls from signals? Daniel Patterson
2013/03/11 Re: [Ur] Body onload handlers do not cause scripts to be included Daniel Patterson
2013/03/09 Re: [Ur] Body onload handlers do not cause scripts to be included Adam Chlipala
2013/03/05 Re: [Ur] 500 Internal Server Error on cached page Istvan Chung
2013/03/05 Re: [Ur] 500 Internal Server Error on cached page Adam Chlipala
2013/03/04 [Ur] 500 Internal Server Error on cached page Istvan Chung
2013/02/27 Re: [Ur] "Invalid Link expression" when pulling a function out of a record Adam Chlipala
2013/02/27 [Ur] "Invalid Link expression" when pulling a function out of a record Benjamin Barenblat
2013/02/25 Re: [Ur] CGI executables and parsed header format Adam Chlipala
2013/02/23 [Ur] CGI executables and parsed header format Benjamin Barenblat
2013/02/12 Re: [Ur] Using Variant.weaken in a foldUR Patrick Hurst
2013/02/12 Re: [Ur] Using Variant.weaken in a foldUR Adam Chlipala
2013/02/12 Re: [Ur] Using Variant.weaken in a foldUR Patrick Hurst
2013/02/12 Re: [Ur] Using Variant.weaken in a foldUR Adam Chlipala
2013/02/11 [Ur] Using Variant.weaken in a foldUR Patrick Hurst
2013/01/25 Re: [Ur] Serving Non-XML Text? Evan Danaher
2013/01/25 Re: [Ur] Serving Non-XML Text? Chris Double
2013/01/25 [Ur] Serving Non-XML Text? Evan Danaher
2013/01/01 Re: [Ur] Stylesheet questions Edward Z. Yang
2013/01/01 [Ur] Stylesheet questions Bryn Keller
2012/12/31 Re: [Ur] Several patches and questions Adam Chlipala
2012/12/31 Re: [Ur] Several patches and questions Edward Z. Yang
2012/12/31 Re: [Ur] Several patches and questions Adam Chlipala
2012/12/31 Re: [Ur] Several patches and questions Edward Z. Yang
2012/12/31 Re: [Ur] Several patches and questions Adam Chlipala
2012/12/30 Re: [Ur] Several patches and questions Edward Z. Yang
2012/12/30 Re: [Ur] AJAX style in-page replacement? Adam Chlipala
2012/12/30 [Ur] AJAX style in-page replacement? Gian Perrone
2012/12/27 Re: [Ur] Several patches and questions Adam Chlipala
2012/12/19 Re: [Ur] Several patches and questions Edward Z. Yang
2012/12/19 Re: [Ur] Several patches and questions Adam Chlipala