Greetings,
I have just uploaded an implementation of Fiat and Shamir's zero-knowledge
network authentication protocol on ocamlforge. It was written for a
grad-level cryptology course. I thought this was more useful than my
half-baked attempts at writing a cryptanalysis library, so here you go :)
On Sun, 2010-08-15 at 12:45 +0200, Adrien wrote:
>
> Finally, C bindings. I created a few while not having access to the
> internet and they are quite dirty. I highly doubt they play perfectly
> well with the garbage collector: they seem ok but probably aren't
> perfect. That's definitely somethi
On Sun, Aug 15, 2010 at 10:41:44AM +, Sylvain Le Gall wrote:
> Maybe it has nothing todo, but you talked about ocaml-ssl possibly and
> your application hanging, it reminds me:
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=591891
>
> ocaml-ssl and ocaml-dbus are involved, so maybe the gui
Adrien wrote:
> Hi,
> Also, on my computer, I have the following behaviour:
> 11:44 ~ % sudo echo 0 > /proc/sys/kernel/randomize_va_space
> zsh: permission denied: /proc/sys/kernel/randomize_va_space
> r...@jarjar:~# echo 0 > /proc/sys/kernel/randomize_va_space
> r...@jarjar:~#
>
Hi,
I recently had similar output from the GC (huge count of words) which
I noticed after my program started to exit with an out-of-memory
error. It doesn't seem to be happening anymore but I'm not sure I
"fixed" it. There are three things I thought of to get rid of it.
(btw, I'm on 64bit linux)
On 15-08-2010, Paul Steckler wrote:
> On Sun, Aug 15, 2010 at 7:16 PM, Basile Starynkevitch
> wrote:
>
>> Are you sure that you don't have badly coded C routines that you call
>> from your Ocaml code (don't forget correct use of CAMLparam & CAMLlocal,
>> read again carefully
>> http://caml.inria.f
> For some reason, I was able to edit that file using emacs, even when
> echo wouldn't work.
maybe you wrote "sudo echo 0 > file" or something similar which perfoms the
echo as root but the redirection as normal user ?___
Caml-list mailing list. Subscri
On Sun, Aug 15, 2010 at 7:16 PM, Basile Starynkevitch
wrote:
> To check that it did work as expected (which I doubt) do
> cat /proc/sys/kernel/randomize_va_space
> it should give 0
It did work as expected.
> Are you sure that you don't have badly coded C routines that you call
> from your Ocam
On Sun, 2010-08-15 at 18:40 +1000, Paul Steckler wrote:
> > I guess this is related to the fact that recent Linux kernel have turned
> > on the randomize virtual address space feature -designed to improve
> > system security. You could disable it by
> > echo 0 > /proc/sys/kernel/randomize_va_space
> I guess this is related to the fact that recent Linux kernel have turned
> on the randomize virtual address space feature -designed to improve
> system security. You could disable it by
> echo 0 > /proc/sys/kernel/randomize_va_space
> but first learn more about it.
For some reason, I was able t
On Sun, Aug 15, 2010 at 5:03 PM, Basile Starynkevitch
wrote:
> I guess this is related to the fact that recent Linux kernel have turned
> on the randomize virtual address space feature -designed to improve
> system security. You could disable it by
> echo 0 > /proc/sys/kernel/randomize_va_space
>
On Sun, 2010-08-15 at 15:57 +1000, Paul Steckler wrote:
> I haven't yet come up with a solution to the GC hanging problem I
> mentioned the other day.
>
> But here's something that looks funny. [..]
> After turning on the Gc verbose option, I see:
[...]
> !<>Sweeping 9223372036854775807 words
>
12 matches
Mail list logo