ur  

Messages by Date

• 2015/07/30 Re: [Ur] New website? Istvan Chung
• 2015/07/29 Re: [Ur] New website? ml
• 2015/07/29 Re: [Ur] New website? Sergey Mironov
• 2015/07/29 Re: [Ur] New website? Orchidaceae Phalaenopsis
• 2015/07/28 Re: [Ur] New website? ml
• 2015/07/28 Re: [Ur] New website? Timothy Beyer
• 2015/07/28 Re: [Ur] New website? ml
• 2015/07/28 Re: [Ur] Live-coding demo (was: New website?) Sergey Mironov
• 2015/07/28 Re: [Ur] New website? Torstein Saltvedt
• 2015/07/28 Re: [Ur] New website? Adam Chlipala
• 2015/07/28 Re: [Ur] Live-coding demo (was: New website?) Adam Chlipala
• 2015/07/28 Re: [Ur] New website? Adam Chlipala
• 2015/07/28 [Ur] Minimal example of <select> widget for foreign-key field; error "Some constructor unification variables are undetermined" mentions field [Id = string] - but my field is actually [Id = int] Stefan Scott Alexander
• 2015/07/28 [Ur] Running queryX1 once works; running it twice gives a compiler error Stefan Scott Alexander
• 2015/07/28 Re: [Ur] Running queryX1 once works; running it twice gives a compiler error Adam Chlipala
• 2015/07/28 Re: [Ur] Minimal example of <select> widget for foreign-key field; error "Some constructor unification variables are undetermined" mentions field [Id = string] - but my field is actually [Id = int] Adam Chlipala
• 2015/07/28 Re: [Ur] Using a simpler "flexible record pattern" - still getting syntax errors Adam Chlipala
• 2015/07/27 [Ur] Running queryX1 once works; running it twice gives a compiler error Stefan Scott Alexander
• 2015/07/27 Re: [Ur] C FFI and openssl Todd Roth
• 2015/07/27 [Ur] New website? Stefan Scott Alexander
• 2015/07/27 [Ur] Minimal example of <select> widget for foreign-key field; error "Some constructor unification variables are undetermined" mentions field [Id = string] - but my field is actually [Id = int] Stefan Scott Alexander
• 2015/07/27 [Ur] Using a simpler "flexible record pattern" - still getting syntax errors Stefan Scott Alexander
• 2015/07/27 Re: [Ur] C FFI and openssl Todd Roth
• 2015/07/27 Re: [Ur] (1) Syntax errors when destructuring a record of records on a field value; (2) Is it ok to define a function which returns something of kind `Name`? Adam Chlipala
• 2015/07/26 [Ur] (1) Syntax errors when destructuring a record of records on a field value; (2) Is it ok to define a function which returns something of kind `Name`? Stefan Scott Alexander
• 2015/07/26 Re: [Ur] Five weird questions involving kind `Name` vs type `string` Adam Chlipala
• 2015/07/26 [Ur] Given some strings, is it possible to create a record using them as field names? Stefan Scott Alexander
• 2015/07/26 Re: [Ur] C FFI and openssl Benjamin Barenblat
• 2015/07/26 [Ur] A question involving type `string` and field names Stefan Scott Alexander
• 2015/07/26 [Ur] C FFI and openssl Todd Roth
• 2015/07/26 [Ur] Five weird questions involving kind `Name` vs type `string` Stefan Scott Alexander
• 2015/07/26 Re: [Ur] New website? Sergey Mironov
• 2015/07/26 Re: [Ur] New website? Orchidaceae Phalaenopsis
• 2015/07/25 Re: [Ur] Compilation error using onchange with ccheckbox Graham Hopper
• 2015/07/24 Re: [Ur] Compilation error using onchange with ccheckbox Sergey Mironov
• 2015/07/24 Re: [Ur] New website? Austin Seipp
• 2015/07/24 Re: [Ur] New website? Adam Chlipala
• 2015/07/24 Re: [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Adam Chlipala
• 2015/07/24 Re: [Ur] Compilation error using onchange with ccheckbox Julian Squires
• 2015/07/24 [Ur] Compilation error using onchange with ccheckbox Graham Hopper
• 2015/07/24 Re: [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Chris Double
• 2015/07/23 [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Stefan Scott Alexander
• 2015/07/23 [Ur] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])` Stefan Scott Alexander
• 2015/07/23 Re: [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Chris Double
• 2015/07/23 [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Stefan Scott Alexander
• 2015/07/23 Re: [Ur] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])` Sergey Mironov
• 2015/07/22 [Ur] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])` Stefan Scott Alexander
• 2015/07/20 [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
• 2015/07/20 Re: [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Julian Squires
• 2015/07/20 [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
• 2015/07/19 Re: [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Istvan Chung
• 2015/07/19 [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
• 2015/07/19 Re: [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Adam Chlipala
• 2015/07/19 [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
• 2015/07/19 Re: [Ur] queryL question Todd Roth
• 2015/07/19 Re: [Ur] queryL question Adam Chlipala
• 2015/07/19 Re: [Ur] checking for equality between optional and non-optional values in queries Adam Chlipala
• 2015/07/19 Re: [Ur] checking for equality between optional and non-optional values in queries Todd Roth
• 2015/07/19 Re: [Ur] checking for equality between optional and non-optional values in queries Adam Chlipala
• 2015/07/19 Re: [Ur] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors Adam Chlipala
• 2015/07/19 [Ur] checking for equality between optional and non-optional values in queries Todd Roth
• 2015/07/19 [Ur] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors Stefan Scott Alexander
• 2015/07/18 [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Stefan Scott Alexander
• 2015/07/18 [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Stefan Scott Alexander
• 2015/07/18 Re: [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Adam Chlipala
• 2015/07/18 [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Stefan Scott Alexander
• 2015/07/16 Re: [Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless' Adam Chlipala
• 2015/07/16 [Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless' Stefan Scott Alexander
• 2015/07/16 [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) [SOLVED] Stefan Scott Alexander
• 2015/07/16 Re: [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) Adam Chlipala
• 2015/07/15 [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) Stefan Scott Alexander
• 2015/07/15 [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) Stefan Scott Alexander
• 2015/07/15 [Ur] queryL question Todd Roth
• 2015/07/14 Re: [Ur] fix returnBlob and redirect in static protocol Adam Chlipala
• 2015/07/14 [Ur] Existing examples laying the groundwork for building a Native Select Widget. Help is welcome on how to make this a Native *Databound* *Autocomplete* Widget ! :-) Stefan Scott Alexander
• 2015/07/13 [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
• 2015/07/13 [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
• 2015/07/13 [Ur] fix returnBlob and redirect in static protocol Julian Squires
• 2015/07/13 Re: [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Sergey Mironov
• 2015/07/13 Re: [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? ml
• 2015/07/13 [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
• 2015/07/12 [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
• 2015/07/11 [Ur] Help needed to implement a data-bound type-ahead / auto-complete widget for Ur/Web, to support easy editing of foreign-key fields Stefan Scott Alexander
• 2015/07/09 Re: [Ur] Mutually recursive values Gabriel Riba
• 2015/07/09 Re: [Ur] Mutually recursive values Adam Chlipala
• 2015/07/09 [Ur] Mutually recursive values Gabriel Riba
• 2015/07/08 [Ur] Trying to create a data-bound typeahead/autocomplete drop-down menu Stefan Scott Alexander
• 2015/07/08 [Ur] Trying to create a data-bound typeahead/autocomplete drop-down menu Stefan Scott Alexander
• 2015/07/03 Re: [Ur] type recursion in records Adam Chlipala
• 2015/07/03 [Ur] type recursion in records Gabriel Riba
• 2015/06/29 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
• 2015/06/29 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/29 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/28 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/27 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/26 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
• 2015/06/26 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/20 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/20 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/20 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 [Ur] Hamlet like XML, structured by indentation with tag autoclosing Ziv Scully
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 Re: [Ur] Looking for RSS/Atom library Sergey Mironov
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Sergey Mironov
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
• 2015/06/18 Re: [Ur] Calculate difference between old and new database schemas Adam Chlipala
• 2015/06/18 Re: [Ur] Looking for RSS/Atom library Adam Chlipala
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Ziv Scully
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/18 [Ur] Calculate difference between old and new database schemas Sergey Mironov
• 2015/06/18 [Ur] Looking for RSS/Atom library Sergey Mironov
• 2015/06/17 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Sergey Mironov
• 2015/06/17 Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
• 2015/06/17 [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• 2015/06/17 Re: [Ur] Hash and Gravatar libraries Adam Chlipala
• 2015/06/15 [Ur] Hash and Gravatar libraries Benjamin Barenblat
• 2015/06/10 Re: [Ur] Troubles writing error monad Sergey Mironov
• 2015/06/10 Re: [Ur] Draft of a paper on the Ur/Web optimizer mozert1 mozert1
• 2015/06/09 Re: [Ur] Troubles writing error monad Adam Chlipala
• 2015/06/09 [Ur] Troubles writing error monad Sergey Mironov
• 2015/06/07 [Ur] [ANNOUNCE] urweb-captcha library Sergey Mironov
• 2015/06/04 Re: [Ur] Constructing SQL WHERE clause at runtime Sergey Mironov
• 2015/06/04 [Ur] Draft of a paper on the Ur/Web optimizer Adam Chlipala
• 2015/06/04 Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/06/04 Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
• 2015/06/04 Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/06/04 Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/06/03 Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
• 2015/06/03 Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/06/03 Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
• 2015/06/03 Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/06/02 Re: [Ur] Constructing SQL WHERE clause at runtime Adam Chlipala
• 2015/06/02 [Ur] Constructing SQL WHERE clause at runtime Sergey Mironov
• 2015/05/29 Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
• 2015/05/29 Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/05/28 Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
• 2015/05/28 Re: [Ur] Bug with oversized int literals and hexadecimal ones bigger than 32 bits Adam Chlipala
• 2015/05/26 [Ur] Redundant duplicate entry in urweb.lex Gabriel Riba
• 2015/05/26 [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• 2015/05/26 [Ur] Bug with oversized int literals and hexadecimal ones bigger than 32 bits Gabriel Riba
• 2015/05/20 [Ur] New release Adam Chlipala
• 2015/05/18 Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Sergey Mironov
• 2015/05/18 Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Timothy Beyer
• 2015/05/18 [Ur] [SOLVED: will now use Postgres instead] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Stefan Scott Alexander
• 2015/05/18 Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Adam Chlipala
• 2015/05/18 Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Sergey Mironov
• 2015/05/18 Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Timothy Beyer
• 2015/05/17 [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Stefan Scott Alexander
• 2015/05/17 [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Stefan Scott Alexander
• 2015/05/17 Re: [Ur] textbox disabled and readonly attrs Todd Roth
• 2015/05/16 Re: [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Sean Chalmers
• 2015/05/16 Re: [Ur] textbox disabled and readonly attrs Julian Squires
• 2015/05/16 [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Stefan Scott Alexander
• 2015/05/16 [Ur] Fatal initialization error: Table 'uw_crud1_t1' does not exist. [SOLVED] Stefan Scott Alexander
• 2015/05/16 Re: [Ur] textbox disabled and readonly attrs Todd Roth
• 2015/05/16 Re: [Ur] textbox disabled and readonly attrs Adam Chlipala
• 2015/05/16 [Ur] textbox disabled and readonly attrs Todd Roth
• 2015/05/16 Re: [Ur] Fatal initialization error: Table 'uw_crud1_t1' does not exist. Adam Chlipala
• 2015/05/16 Re: [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. Julian Squires
• 2015/05/16 Re: [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Sean Chalmers
• 2015/05/15 [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. Stefan Scott Alexander
• 2015/05/15 [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Stefan Scott Alexander
• 2015/05/15 Re: [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. ml
• 2015/05/15 [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. Stefan Scott Alexander
• 2015/05/15 [Ur] Fatal initialization error: Table 'uw_crud1_t1' does not exist. Stefan Scott Alexander
• 2015/05/13 Re: [Ur] Change breaks backward compatibility: default event propagation in GUI handlers Vladimir Shabanov
• 2015/05/13 [Ur] Change breaks backward compatibility: default event propagation in GUI handlers Adam Chlipala
• 2015/05/09 Re: [Ur] event propagation Vladimir Shabanov
• 2015/05/09 Re: [Ur] event propagation Adam Chlipala
• 2015/05/09 Re: [Ur] more small patches: elisp, fieldset, file Adam Chlipala
• 2015/05/07 [Ur] event propagation Julian Squires
• 2015/05/05 Re: [Ur] more small patches: elisp, fieldset, file Julian Squires
• 2015/05/05 Re: [Ur] more small patches: elisp, fieldset, file Julian Squires
• 2015/05/04 [Ur] more small patches: elisp, fieldset, file Julian Squires
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt Adam Chlipala
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt Artella Coding
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt Adam Chlipala
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt Adam Chlipala
• 2015/05/03 Re: [Ur] HTML5 tags: source tag conflict Adam Chlipala
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt mozert1 mozert1
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt Artella Coding
• 2015/05/03 Re: [Ur] Standalone executable/binary runnable from command prompt Sergey Mironov
• 2015/05/03 [Ur] Standalone executable/binary runnable from command prompt Artella Coding
• 2015/05/03 Re: [Ur] HTML5 tags: source tag conflict Sergey Mironov
• 2015/05/03 [Ur] HTML5 tags: source tag conflict Sergey Mironov
• 2015/04/28 Re: [Ur] Client http functionality? Adam Chlipala
• 2015/04/28 Re: [Ur] Client http functionality? Sergey Mironov
• 2015/04/28 [Ur] Client http functionality? Gabriel Riba
• 2015/04/26 [Ur] TechEmpower benchmarks Round 10 release Adam Chlipala
• 2015/04/24 Re: [Ur] two small patches Adam Chlipala
• 2015/04/24 [Ur] two small patches Julian Squires
• 2015/04/24 Re: [Ur] Bug in SQL name-mangling (patch) Adam Chlipala
• 2015/04/23 [Ur] Bug in SQL name-mangling (patch) Istvan Chung
• 2015/04/12 [Ur] Announcing the Ur/Web People Organizer Adam Chlipala
• 2015/04/12 [Ur] New release Adam Chlipala

• Earlier messages
• Later messages