freenode/#sbcl - IRC Chatlog
Search
13:08:39
jmercouris
libc++abi.dylib: terminating with uncaught exception of type std::__1::system_error: condition_variable timed_wait failed: Invalid argument
13:11:38
Bike
https://github.com/apache/incubator-mxnet/issues/309 e.g., here's some stuff about the same error in some project
18:28:02
Xach
hmm, is http://report.quicklisp.org/2020-05-30/failure-report/sel.html#software-evolution-library_run-rest-server due to sbcl changes?
19:43:34
Krystof
35: ((:METHOD FINALIZE-INHERITANCE :AFTER (T)) #<STANDARD-CLASS SOFTWARE-EVOLUTION-LIBRARY/SOFTWARE/LISP:READER-QUOTE>)
20:17:28
Krystof
(I can't even work out how to trigger the layout-invalid case in %ensure-both-classoids-valid any more)
20:21:44
ajb`
I use SBCL at work and write a lot of code that is performance sensitive and I get a bit bored inserting declarations and fighting with SBCL. So, for the last couple months (weekends only, so it's slow) I've been experimenting with the type inferencing / constraint propagation part of SBCL. I figured it might be worth asking if anyone has any pointers here or if anyone is currently working on this?
20:21:57
ajb`
What PK wrote here https://pvk.ca/Blog/2013/11/22/the-weaknesses-of-sbcls-type-propagation/ seems still true, though I will admit it took me a long time to understand it. As this is my first time working on SBCL, and anything compiler related since school, there's a bit of a learning curve --- which has been fun! I've read http://home.pipeline.com/~hbaker1/TInference.html which helped give a perhaps overly optimistic perspective.