Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-05-21

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:04 ertes joined #isabelle
01:48 ilbot3 joined #isabelle
01:48 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
08:17 * JCaesar only barely resists the temptation to join #coq and write "Whaddup? I got a huge HOL.".
09:39 larsrh It's probably difficult to measure actual community size
09:39 larsrh one could count funding, I guess?
09:56 JCaesar That's probably difficult to count and not very representative either.
10:02 pruvisto This IRC channel only contains a tiny fraction of its actual users though
10:14 int-e Ah, cvc4 core dumps... *tweaks isabelle script*
10:14 int-e (adding ulimit -c 0)
10:22 JCaesar int-e: It wouldn't be half as bad if those core dumps weren't multiple GB big…
10:23 int-e Well at least I see them. (No systemd storing them in an obscure log directory)
10:44 int-e and actually they'd be truncated at 32MB here... which makes them useless, of course, but not a big problem, size wise.
11:03 ammbauer joined #isabelle
11:34 ertes joined #isabelle
11:59 JCaesar int-e: obscure, I guess, but I kind of like only having to fire $ coredumpctl gdb, and I'm in post mortem debugging for my last crashed process (which is usually some C++ thing I'm working on.) (Btw, /proc/sys/kernel/core_pattern controls where the coredump goes.)
21:00 ertesx joined #isabelle
21:03 ertesx joined #isabelle
21:28 ertes joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary