freenode/#lisp - IRC Chatlog
Search
21:04:10
aeth
shka_: depends on what you want from the compiler... parsers are probably not going to be that mature, but once you parse things into s-expressions, you get a free intermediate format.
21:49:55
|3b|
getting a bash-like shell on github actions on windows is a bit of a mess currently :/
21:56:48
|3b|
yeah, adding git made it work, but apparently i did that wrong so i should expect it to break randomly at some point (luckily i wasn't planning to actually use this longer than just running it now)
22:33:51
TheInformaticist
de Morgan says, "...in all logical reasoning, the negation is simply negation, and nothing more, never implying affirmation of the contrary," "...since the denial of one, and the affirmation of the other, are obviously equivalent propositions." Yet, in mathematical logic, it would appear that negation is exactly that, since, for instance, to say "not equals," affirms all cases that are false under the condition of "equals." So is
22:36:02
|3b|
isn't that "law of excluded middle" or whatever it is? and what does it have to do with (common) lisp?
22:41:49
aeth
|3b|: most numbers negate as expected. -0.0f0 is counterintuitive unless you're used to floating point
22:43:51
|3b|
(pretty sure -0.0 is optional in spec, but probably exists in most current implementations)
22:45:05
TheInformaticist
The problem is, that any system that is consistent, will be incomplete, and any system that is complete, will be inconsistent.
22:46:54
White_Flame
programming is about internally complete models, not externally complete models
22:48:58
aeth
CL's escape hatch here is to have SATISFIES types which are inefficient and probably not checkable at compile time
22:53:41
TheInformaticist
<aeth>: I see. I only began studying Common Lisp yesterday, though I have studied other Lisps.
23:42:31
sveit
hi. maybe I should ask in #sbcl, but i have been trying to compile SBCL on non-rooted Android (through an app called Termux if anyone has experience). By disabling threads, and making some other small modifications to various lisp files to avoid conflicts between "linux" and "android" parts of the build, it gets somewhat far, but fails because the SBCL binary has "text relocations", which are not supported on Android. Do people know how
23:44:06
sveit
if anyone has experience with cross-compilation/compilation using the NDK or otherwise, or any other method to get a binary running on bare Android, I'd be very interested as well. I do have SBCL running under a "fake" chroot (called proot), but this is a significantly slower environment.
23:46:03
sveit
i understand it's thankless, but i wish the documentation for the SBCL build would be a bit better. for example grepping through the source i see various mysterious references to Android/NDK, so I think someone must have already figured it out
7:31:21
contrapunctus
beach: I was thinking of doing as you suggested - writing pure Lisp libraries instead of using FFI. Is it possible to write an audio library this way? Especially for programs which want to use PulseAudio or JACK? 🤔