#picolisp on 2022-08-10 — irc logs at libera.irclog.whitequark.org

2021-05-27 09:06 beneroth changed the topic of #picolisp to: PicoLisp language | The scalpel of software development | Channel Log: https://libera.irclog.whitequark.org/picolisp | Check www.picolisp.com for more information

03:34 alexshendi has quit [Quit: -a- Connection Timed Out]

03:38 alexshendi has joined #picolisp

04:06 alexshendi has quit [Ping timeout: 255 seconds]

04:07 aw- has quit [Quit: Leaving.]

04:12 aw- has joined #picolisp

05:42 aw- has quit [Quit: Leaving.]

05:54 aw- has joined #picolisp

09:07 <tankf33der> I finished refactoring prime integer factorization on picolisp. Solves 64bit integers immediately as it should. Enough.

09:08 <abu[m]> 👍

09:10 <beneroth> nice!

10:05 <tankf33der> I factored 193bit integer with flint

10:39 <tankf33der> 306bit took 3min on 1 modern cpu

10:39 <tankf33der> https://git.envs.net/mpech/flint_pil/raw/branch/master/demo.c

13:22 aw- has quit [Ping timeout: 255 seconds]

13:34 aw- has joined #picolisp

15:31 aw- has quit [Quit: Leaving.]

15:32 aw- has joined #picolisp

16:47 <abu[m]> I see. The bignum interface is decimal string representation

18:30 alexshendi has joined #picolisp

21:27 alexshendi has quit [Ping timeout: 268 seconds]

21:31 alexshendi has joined #picolisp

22:15 alexshendi has quit [Ping timeout: 252 seconds]

22:25 chexum has quit [Write error: Broken pipe]

22:27 chexum has joined #picolisp

22:30 alexshendi has joined #picolisp

22:38 alexshe35 has joined #picolisp

22:38 alexshendi has quit [Read error: Connection reset by peer]

22:39 alexshendi has joined #picolisp

22:40 alexshe95 has joined #picolisp

22:42 alexshe35 has quit [Ping timeout: 255 seconds]

22:44 alexshendi has quit [Ping timeout: 255 seconds]

22:44 alexshe95 has quit [Read error: Connection reset by peer]

22:44 alexshendi has joined #picolisp

22:48 alexshe34 has joined #picolisp

22:48 alexshendi has quit [Read error: Connection reset by peer]

22:49 alexshe34 has quit [Read error: Connection reset by peer]

22:49 alexshendi has joined #picolisp

22:51 chexum has quit [Remote host closed the connection]

22:51 chexum has joined #picolisp

23:01 f8l has quit [Ping timeout: 244 seconds]

23:02 alexshendi has quit [Read error: Connection reset by peer]

23:02 alexshendi has joined #picolisp

23:06 alexshe89 has joined #picolisp

23:06 alexshendi has quit [Read error: Connection reset by peer]

23:08 alexshe89 has quit [Read error: Connection reset by peer]

23:08 alexshendi has joined #picolisp

23:12 alexshe90 has joined #picolisp

23:12 alexshendi has quit [Read error: Connection reset by peer]

23:14 alexshe90 has quit [Read error: Connection reset by peer]

23:15 alexshendi has joined #picolisp

23:49 alexshendi has quit [Ping timeout: 268 seconds]