Hi all,
I'm wondering what the nicest way to achieve client-side content replacement is
- conceptually, I have a server-side function that generates a bit of XML, and
on a client-side button press, I want some the XML generated on the server-side
to end up inside a div without a page reload.
On 7/20/11 2:20 PM, Adam Chlipala wrote:
As Gergely said, Gian's tutorial contains information on how to get
started with MySQL, but not Postgres. If you read to the end of that
step, you'll see all the information you need to get the code running.
The MySQL choice is mostly because I was
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Gentlemen,
On 3/26/11 6:51 PM, Marc Weber wrote:
The low entry point can only be achieved by
- teaching its theory (eg give hints about which books to read)
- write many tutorials.
To this end, I finally got around to starting something I've been
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 12/20/10 6:08 PM, Marc Weber wrote:
PHP: 2.7 total
urweb (http):
benchmark PHP (run by apache) (5.3):
ab -n 100 -c1 http://l/pg_speed.php 0.01s user 0.03s system 3% cpu 1.242
total
benchmark ur (http):
ab -n 100 -c1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 12/20/10 8:29 PM, Marc Weber wrote:
Its the time output of zsh. ab is the benchmark tool which ships with
apache. So you don't see the CPU time of the server process, but the one
of the benchmark tool. The total time is the time it takes until
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 12/1/10 5:45 PM, sampath kirupa shankar wrote:
Hi everybody,
I am Kirupashankar Sampath, a grad student at CSU Fresno, CA. I am
interested in Ur and have started a project of proving the safety
theorems of Ur language. I am not able to install
