phoe changed the topic of #lisp to: Common Lisp, the #1=(programmable . #1#) programming language | <http://cliki.net/> <https://irclog.tymoon.eu/freenode/%23lisp> <https://irclog.whitequark.org/lisp> <http://ccl.clozure.com/irc-logs/lisp/> | SBCL 1.4.14, CMUCL 21b, ECL 16.1.3, CCL 1.11.5, ABCL 1.5.0
_whitelogger has joined #lisp
iAmDecim has quit [Ping timeout: 268 seconds]
karlosz has joined #lisp
iAmDecim has joined #lisp
Lycurgus has joined #lisp
Kundry_Wag has joined #lisp
monokrom has quit [Remote host closed the connection]
Kundry_Wag has quit [Ping timeout: 246 seconds]
karlosz has quit [Quit: karlosz]
karlosz has joined #lisp
igemnace has joined #lisp
Kundry_Wag has joined #lisp
iovec has joined #lisp
Kundry_Wag has quit [Ping timeout: 240 seconds]
Lycurgus has quit [Quit: Exeunt]
torbo has joined #lisp
JetJej has quit [Read error: Connection reset by peer]
Mr-Potter_ has quit [Ping timeout: 250 seconds]
<margaritamike> Are Julia and CL pretty much equivelant?
<fiddlerwoaroof> margaritamike: I think they have fairly different goals
<no-defun-allowed> nope
<fiddlerwoaroof> Julia is trying to be fast for numerical computations
<fiddlerwoaroof> CL is much more general purpose
<margaritamike> I thought they were marketing themselves as general purpose now
<margaritamike> I wonder if their macro system can really do all the things Lisp can now
<fiddlerwoaroof> Maybe? Also, I don't think Julia really has the "system" mindset that CL and Smalltalk have
<margaritamike> I know that they don't have multiple inheritance yet, though
<fiddlerwoaroof> Most languages deriving from Lisp/Smalltalk give that up
<margaritamike> It does indeed have late binding :P
<margaritamike> And strong typing via annotations
shifty has joined #lisp
aindilis has quit [Ping timeout: 268 seconds]
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 250 seconds]
orivej has quit [Ping timeout: 250 seconds]
sjl_ has quit [Ping timeout: 240 seconds]
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 268 seconds]
karlosz has quit [Quit: karlosz]
<permagreen> I will say that I quite like Julia, but it's a pretty different animal from lisp in most respects. There are pros and cons to both (as there are between any two languages) and some of that stuff is largely subjective
<djeis[m]> It doesn't handle redefinition nearly as well, for better or worse.
<djeis[m]> Rather, there are a lot more restrictions on what can be redefined.
<djeis[m]> But altogether it's a very nicely put together language.
<djeis[m]> (imo)
<permagreen> Yep, that is probably one of the biggest pains in the ass I've come across when messing around with it
dale has quit [Quit: dale]
undiscovered has quit [Ping timeout: 256 seconds]
sjl_ has joined #lisp
Kundry_Wag has joined #lisp
iAmDecim has quit [Ping timeout: 250 seconds]
Kundry_Wag has quit [Ping timeout: 240 seconds]
hectorhonn has joined #lisp
<hectorhonn> morning everyone
<permagreen> Mornin
Kundry_Wag has joined #lisp
X-Scale` has joined #lisp
X-Scale has quit [Ping timeout: 244 seconds]
X-Scale` is now known as X-Scale
markoong has quit [Ping timeout: 245 seconds]
Kundry_Wag has quit [Ping timeout: 245 seconds]
chongwish has joined #lisp
Kundry_Wag has joined #lisp
chongwish has quit [Read error: Connection reset by peer]
* fiddlerwoaroof thinks that people who want an infix lisp should just use Dylan
Kundry_Wag has quit [Ping timeout: 240 seconds]
<margaritamike> Hasn't been updated since 2015
<fiddlerwoaroof> The github repo is still pretty active
stardiviner has joined #lisp
quazimodo has joined #lisp
madrik has joined #lisp
smokeink has joined #lisp
aindilis has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 240 seconds]
space_otter has joined #lisp
dddddd has quit [Remote host closed the connection]
Oladon has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 250 seconds]
Kundry_Wag has joined #lisp
space_otter has quit [Remote host closed the connection]
Kundry_Wag has quit [Ping timeout: 250 seconds]
space_otter has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Read error: Connection reset by peer]
space_otter has quit [Remote host closed the connection]
space_otter has joined #lisp
dale has joined #lisp
ym has quit [Ping timeout: 245 seconds]
ym has joined #lisp
Kundry_Wag has joined #lisp
Oladon has quit [Ping timeout: 245 seconds]
jbayardo has quit [Ping timeout: 264 seconds]
Kundry_Wag has quit [Ping timeout: 245 seconds]
Ekho has quit [Remote host closed the connection]
Ekho has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 240 seconds]
xkapastel has quit [Quit: Connection closed for inactivity]
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 246 seconds]
<holycow> join #debian
dale has quit [Quit: dale]
<beach> Good morning everyone!
<fiddlerwoaroof> holycow: Welcome to #Debian. This is a discussion channel; if you have a question about Debian GNU/Linux, ask and we will try our best to answer it. Newcomers should read the channel's guidelines by typing "/msg dpkg guidelines". Please do not paste in the channel; use #flood instead. Thank you.
<fiddlerwoaroof> morning, beach
vibs29 has quit [Ping timeout: 250 seconds]
<holycow> haha!
<holycow> sorry about that :)
iovec has quit [Quit: Connection closed for inactivity]
<holycow> my response should have been: anyone here use debian?
<holycow> hehe, my timing is off today
vibs29 has joined #lisp
<holycow> :)
anewuser has joined #lisp
<madrik> To keep it somewhat on topic, Debian is a good system if you want to use Common Lisp.
<madrik> There are a number of implementations available as packages; both SLIME and the HyperSpec are also packaged.
<holycow> madrik, see the post about the snek lisp project today?
<holycow> the author moved on but he did some really cool art with common lisp: https://inconvergent.net/2017/snek-is-not-an-acronym/
<madrik> holycow: I have not.
<diip> madrik: What do you mean "the hyperspec is packaged"
<madrik> diip: aptitude install hyperspec
<no-defun-allowed> Surely it'd be in non-free or contrib.
<holycow> oh wow, it is packaged
<holycow> i did not know
<holycow> neat
<madrik> no-defun-allowed: It is in the contrib section, yes.
<diip> nice to know, Thanks.
<madrik> On amd64, I know that we can get SBCL, GCL, and ECL; by adding support for 32-bit libraries, we also can get CMUCL
wigust- has joined #lisp
<madrik> Lisps besides these have to be installed manually, of course.
karlosz has joined #lisp
Kundry_Wag has joined #lisp
wigust has quit [Ping timeout: 268 seconds]
Kundry_Wag has quit [Read error: Connection reset by peer]
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 245 seconds]
<fiddlerwoaroof> The biggest issue is that you get fairly old versions of the packages.
<fiddlerwoaroof> s/packages/implementations
smokeink has quit [Ping timeout: 245 seconds]
<fiddlerwoaroof> unless you're running the testing distribution, at least
esrse has joined #lisp
<diip> madrik: how do I use the hyperspec though? Does the implementation know to look for it on the PC?
<fiddlerwoaroof> diip: I think you can set the hyperspec root in emacs
<fiddlerwoaroof> common-lisp-hyperspec-root
<madrik> Well, in my Emacs init, I have
<madrik> (setf common-lisp-hyperspec-root "file:///usr/share/doc/hyperspec/")
<diip> ok, Thanks
torbo has quit [Remote host closed the connection]
<madrik> diip: You are welcome.
<fiddlerwoaroof> you can also set browse-url-function to 'eww-browse-url to open the file inside emacs
igemnace has quit [Quit: WeeChat 2.3]
Bike has quit [Quit: Lost terminal]
<diip> fiddlerwoaroof: Thanks, I guess I'll be experimenting with this a bit
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 250 seconds]
Kundry_Wag has joined #lisp
smokeink has joined #lisp
Kundry_Wag has quit [Ping timeout: 246 seconds]
holycow has quit [Quit: Lost terminal]
akoana has left #lisp ["Leaving"]
abhixec has quit [Quit: leaving]
abhixec has joined #lisp
atgreen has quit [Ping timeout: 240 seconds]
atgreen has joined #lisp
abhixec has quit [Ping timeout: 250 seconds]
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 246 seconds]
jprajzne has quit [Quit: jprajzne]
esrse has quit [Ping timeout: 268 seconds]
asarch has quit [Quit: Leaving]
smokeink has quit [Ping timeout: 240 seconds]
nowhere_man has joined #lisp
Kundry_Wag has joined #lisp
space_otter has quit [Remote host closed the connection]
anewuser has quit [Quit: anewuser]
Kundry_Wag has quit [Ping timeout: 268 seconds]
schweers has joined #lisp
Kundry_Wag has joined #lisp
edgar-rft has joined #lisp
Inline has quit [Quit: Leaving]
Kundry_Wag has quit [Ping timeout: 246 seconds]
smokeink has joined #lisp
karlosz has quit [Quit: karlosz]
<hectorhonn> are there any libraries like numpy and scipy for common lisp?
<verisimilitude> Common Lisp features many advanced (uncommon) mathematical facilities in the standard language.
<verisimilitude> I don't know what all numpy or scipy contains, though.
<no-defun-allowed> There's some BLAS FFI things, some native libraries for matrices which might be a tad slower, and some other stuff in there.
sauvin has joined #lisp
<hectorhonn> im looking for common math stuff like clustering and regression
<no-defun-allowed> there was a machine learning thing that had stuff like that
<hectorhonn> is there a de facto library for them?
<no-defun-allowed> i forgot which one but it was in here
<hectorhonn> no-defun-allowed: ah okk. thanks!
<no-defun-allowed> i think it was, at least, but those seem like relevant words
<hectorhonn> verisimilitude: probably too low level, haha
Kundry_Wag has joined #lisp
jprajzne has joined #lisp
jprajzne has quit [Remote host closed the connection]
jprajzne has joined #lisp
Kundry_Wag has quit [Ping timeout: 272 seconds]
<fiddlerwoaroof> hectorhonn: there aren't many highly-optimized algebra libraries in CL
<fiddlerwoaroof> Although, numpy is mostly C :)
powerbit has quit [Read error: Connection reset by peer]
<no-defun-allowed> petalisp is gonna be good though
orivej has joined #lisp
Kundry_Wag has joined #lisp
atgreen has quit [Ping timeout: 264 seconds]
Kundry_Wag has quit [Ping timeout: 246 seconds]
heisig has joined #lisp
<heisig> no-defun-allowed: Heh, thanks :)
<aeth> most optimized (as in, knows the implementation details) mathematics for CL is graphics/game/real-time-physics math afaik.
Kundry_Wag has joined #lisp
<splittist> peta-morning
<no-defun-allowed> https://gist.github.com/nodefunallowed/95b95469449124570f36bb05192b7ef8 is an example of a petalisp program
<no-defun-allowed> it's not as high level as numpy though, but it's workable
<no-defun-allowed> also i suggest you get a greek input method so you can write α and β, since a and b don't look as nice
nirved has quit [Ping timeout: 268 seconds]
Kundry_Wag has quit [Ping timeout: 240 seconds]
scymtym has quit [Ping timeout: 240 seconds]
undiscovered has joined #lisp
igemnace has joined #lisp
slightlycyborg has quit [Ping timeout: 246 seconds]
varjag has joined #lisp
<beach> We think this paper http://metamodular.com/make-method-lambda.pdf is pretty much ready to go. If anyone here would like to appear in the "Acknowledgments" section, this is your opportunity to proofread the paper and suggest improvements. Make sure you tell us how you would like to be referred to.
<beach> There is no rush. There is another week until the deadline, and it is likely that there will be a deadline extension.
nirved has joined #lisp
<beach> If you prefer to send remarks by email, please use my gmail address.
permagreen has quit [Ping timeout: 245 seconds]
robdog_ has joined #lisp
iovec has joined #lisp
scymtym has joined #lisp
ebrasca has joined #lisp
plugd has joined #lisp
shifty has quit [Ping timeout: 250 seconds]
Kundry_Wag has joined #lisp
<pjb> /whoami
<no-defun-allowed> root
Kundry_Wag has quit [Ping timeout: 245 seconds]
hhdave_ has joined #lisp
smokeink has quit [Ping timeout: 246 seconds]
Mr-Potter_ has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 240 seconds]
Kundry_Wag has joined #lisp
plugd has quit [Ping timeout: 250 seconds]
Kundry_Wag has quit [Ping timeout: 244 seconds]
serichsen has joined #lisp
stardiviner has quit [Quit: WeeChat 2.3]
Kaisyu has quit [Quit: Connection closed for inactivity]
scottj has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 246 seconds]
shifty has joined #lisp
atgreen has joined #lisp
m00natic has joined #lisp
amerlyq has joined #lisp
hectorhonn has quit [Quit: Page closed]
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 240 seconds]
nowhere_man has quit [Ping timeout: 252 seconds]
Essadon has joined #lisp
Essadon has quit [Max SendQ exceeded]
smokeink has joined #lisp
notzmv has joined #lisp
Kundry_Wag has joined #lisp
q3d has joined #lisp
Kundry_Wag has quit [Ping timeout: 240 seconds]
Lord_of_Life has quit [Ping timeout: 244 seconds]
Lord_of_Life has joined #lisp
xkapastel has joined #lisp
markoong has joined #lisp
lnostdal has quit [Read error: Connection reset by peer]
lnostdal has joined #lisp
ym has quit [Ping timeout: 245 seconds]
ym has joined #lisp
robdog_ has quit [Remote host closed the connection]
gxt has quit [Ping timeout: 264 seconds]
powerbit has joined #lisp
dddddd has joined #lisp
Kundry_Wag has joined #lisp
notzmv has quit [Ping timeout: 240 seconds]
Kundry_Wag has quit [Ping timeout: 245 seconds]
q3d has quit [Ping timeout: 256 seconds]
status402 has joined #lisp
auxruul has joined #lisp
gxt has joined #lisp
myrkraverk has quit [Ping timeout: 250 seconds]
plugd has joined #lisp
Kundry_Wag has joined #lisp
myrkraverk has joined #lisp
beach has quit [Disconnected by services]
shrdlu68 has joined #lisp
beach has joined #lisp
Kundry_Wag has quit [Ping timeout: 245 seconds]
nowhere_man has joined #lisp
q3d has joined #lisp
plugd has quit [Ping timeout: 244 seconds]
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 268 seconds]
ravenousmoose has joined #lisp
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
kajo has quit [Ping timeout: 268 seconds]
Inline has joined #lisp
milanj has joined #lisp
wxie has joined #lisp
xkapastel has quit [Quit: Connection closed for inactivity]
Kundry_Wag has joined #lisp
FreeBirdLjj has joined #lisp
hhdave has joined #lisp
xkapastel has joined #lisp
Kundry_Wag has quit [Ping timeout: 245 seconds]
hhdave_ has quit [Ping timeout: 250 seconds]
plugd has joined #lisp
FreeBirdLjj has quit [Ping timeout: 246 seconds]
Bike has joined #lisp
rippa has joined #lisp
LiamH has joined #lisp
pierpal has quit [Quit: Poof]
pierpal has joined #lisp
q3d has quit [Ping timeout: 256 seconds]
kajo has joined #lisp
nowhereman has joined #lisp
nowhere_man has quit [Read error: Connection reset by peer]
monokrom has joined #lisp
<ebrasca> Do you know some cl lybrary for detecting duplicate code?
schweers has quit [Ping timeout: 240 seconds]
nowhereman has quit [Ping timeout: 268 seconds]
Kundry_Wag has joined #lisp
<heisig> Sounds like just a few lines of code. Build an EQUAL hash table of forms, walk all files, populate the table and count their appearance.
<ebrasca> heisig: It don't sound very inteligent system.
Kundry_Wag has quit [Ping timeout: 250 seconds]
<heisig> It would reliably detect all duplicate code. Or do you mean similar code? Detecting that would be much harder.
<pjb> well, duplicate code can differ by the symbol names.
smokeink has quit [Ping timeout: 268 seconds]
<pjb> (lambda (x) (* 3 x)) and (lambda (y) (* 3 y)) are duplicates…
auxruul has quit [Ping timeout: 250 seconds]
<ecraven> α conversion!
<ebrasca> heisig: Similar
<heisig> Then you would need a code walker (e.g., agnostic-lizard) and a metric for similarity.
lnostdal has quit [Read error: Connection reset by peer]
pierpal has quit [Quit: Poof]
lnostdal has joined #lisp
pierpal has joined #lisp
<ebrasca> I am not interested in writing one.
<heisig> A wise choice :-)
<heisig> Maybe you could use a generic plagiarism checker. It might not be tailored towards CL, but could work reasonably well.
<ebrasca> Do you have some recomendation?
<shka_> i think that this can be perhaps done slightly differently
<heisig> Some people at our university use jplag: https://jplag.ipd.kit.edu/
<heisig> It seems to work for Scheme code...
<shka_> so, lisp code is basicly always following this (operator arg1 arg2 ...) convention
<shka_> therefore it would be possible to do the following
<shka_> first, construct concrete tree of piece of code
<shka_> secondly, get root of the tree
<shka_> now, build large bloom filter
heisig has quit [Quit: Leaving]
<shka_> then go and hash operand of the root
<shka_> put it into filter
<shka_> then go, calculate hashes of direct children operands, multiply with hash of the parent and also put it into filter
<shka_> recursivly repeat
<ebrasca> shka_: Do you like to implement it?
<shka_> this way you would end up with fixed size data structure that would hold estimate of the whole structure
<shka_> actual detection would be just based around jaccard metric of two filters
<shka_> ebrasca: nah, already busy
<ebrasca> shka_: What about duplication is same file?
<shka_> files are irrelevant, this would work on individual form level
<ebrasca> shka_: Why 2 filters?
<shka_> base case when you only considering two pieces of code while checking for duplication
<shka_> anyway, this is my idea, not sure if it would work but it sounds reasonable to me
<shka_> would be kinda broken for large code trees i think
<shka_> because leafs would quickly dominate the root
<shka_> but perhaps this is how it should work…
vaporatorius has quit [Quit: Leaving]
Lycurgus has joined #lisp
madrik has quit [Remote host closed the connection]
wxie has quit [Remote host closed the connection]
wxie has joined #lisp
<ebrasca> shka_: What about macros?
<shka_> ebrasca: i would just considered those as a everything else
ravenousmoose[aw has joined #lisp
ravenousmoose[aw has quit [Client Quit]
lnostdal has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #lisp
cage_ has joined #lisp
jkordani has joined #lisp
pierpal has quit [Quit: Poof]
pierpal has joined #lisp
orivej has quit [Ping timeout: 268 seconds]
dale has joined #lisp
sjl has joined #lisp
slightlycyborg has joined #lisp
status402 has quit [Quit: status402]
lnostdal has joined #lisp
ravenousmoose[aw has joined #lisp
ravenousmoose[aw has quit [Client Quit]
madrik has joined #lisp
PyroLagus has quit [Ping timeout: 252 seconds]
anamorphic has joined #lisp
ravenousmoose[aw has joined #lisp
PyroLagus has joined #lisp
ravenousmoose[aw has quit [Client Quit]
Kundry_Wag has joined #lisp
wxie has quit [Ping timeout: 244 seconds]
Kundry_Wag has quit [Ping timeout: 240 seconds]
JetJej has joined #lisp
ravenousmoose has joined #lisp
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
akoana has joined #lisp
atgreen_ has joined #lisp
pierpal has quit [Ping timeout: 245 seconds]
nanoz has joined #lisp
atgreen has quit [Ping timeout: 268 seconds]
shrdlu68 has quit [Ping timeout: 250 seconds]
jprajzne has quit [Quit: jprajzne]
varjag has quit [Quit: ERC (IRC client for Emacs 25.2.2)]
marvin2 has joined #lisp
Kundry_Wag has joined #lisp
hhdave has quit [Ping timeout: 246 seconds]
Kundry_Wag has quit [Ping timeout: 272 seconds]
pierpal has joined #lisp
anamorphic has quit [Quit: anamorphic]
pierpal has quit [Quit: Poof]
pierpal has joined #lisp
sloanr has joined #lisp
ravenousmoose[aw has joined #lisp
ravenousmoose[aw is now known as ravenousmoose
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
Kundry_Wag has joined #lisp
nanoz has quit [Read error: Connection timed out]
nanoz has joined #lisp
ravenousmoose[aw has joined #lisp
Kundry_Wag has quit [Ping timeout: 272 seconds]
ravenousmoose[aw has quit [Client Quit]
Josh_2 has joined #lisp
cantstanya has quit [Remote host closed the connection]
scymtym has quit [Ping timeout: 268 seconds]
cantstanya has joined #lisp
Lycurgus has quit [Quit: Exeunt]
varjag has joined #lisp
Kundry_Wag has joined #lisp
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #lisp
ravenousmoose[aw has joined #lisp
ravenousmoose[aw has quit [Client Quit]
Kundry_Wag has quit [Ping timeout: 245 seconds]
mathrick has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Ping timeout: 272 seconds]
nowhere_man has joined #lisp
mathrick has joined #lisp
ravenousmoose[aw has joined #lisp
w37 has quit [Remote host closed the connection]
ravenousmoose[aw has quit [Client Quit]
random-nick has joined #lisp
dale has quit [Read error: Connection reset by peer]
dale_ has joined #lisp
dale_ is now known as dale
Kundry_Wag has joined #lisp
m00natic has quit [Remote host closed the connection]
Kundry_Wag has quit [Ping timeout: 268 seconds]
karlosz has joined #lisp
anamorphic has joined #lisp
Kundry_Wag has joined #lisp
scymtym has joined #lisp
Kundry_Wag has quit [Ping timeout: 246 seconds]
anamorphic has quit [Quit: anamorphic]
plugd has quit [Quit: rcirc on GNU Emacs 26.1]
Essadon has joined #lisp
milanj has quit [Quit: This computer has gone to sleep]
anamorphic has joined #lisp
karlosz has quit [Quit: karlosz]
lavaflow has quit [Quit: WeeChat 2.3]
lavaflow has joined #lisp
sauvin has quit [Read error: Connection reset by peer]
<fiddlerwoaroof> shka_: there was a post about writing a s-exp diff tool on HN a while back
<fiddlerwoaroof> I think it was implemented in racket, thoguh
<fiddlerwoaroof> Hmm, maybe it was Ocaml
<fiddlerwoaroof> :)
<fiddlerwoaroof> two strikes, it's rust
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 250 seconds]
vibs29 has quit [Ping timeout: 240 seconds]
vibs29 has joined #lisp
lnostdal has quit [Ping timeout: 250 seconds]
<loli> Ocaml really enjoys using sexps
verisimilitude has quit [Remote host closed the connection]
anamorphic has quit [Quit: anamorphic]
anamorphic has joined #lisp
lnostdal has joined #lisp
undiscovered has quit [Ping timeout: 256 seconds]
akoana has quit [Quit: Leaving]
akoana has joined #lisp
anamorphic has quit [Ping timeout: 240 seconds]
anamorphic has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 245 seconds]
Josh_2 has quit [Remote host closed the connection]
Josh_2 has joined #lisp
MichaelRaskin has joined #lisp
terpri has quit [Remote host closed the connection]
terpri has joined #lisp
milanj has joined #lisp
nanoz has quit [Ping timeout: 244 seconds]
ebrasca has quit [Read error: Connection reset by peer]
Kundry_Wag has joined #lisp
_whitelogger has joined #lisp
random-nick has quit [Read error: Connection reset by peer]
anamorphic has quit [Quit: anamorphic]
cage_ has quit [Remote host closed the connection]
gxt has quit [Ping timeout: 245 seconds]
cmatei has joined #lisp
random-nick has joined #lisp
Kundry_Wag has joined #lisp
ebrasca has joined #lisp
Kundry_Wag has quit [Ping timeout: 250 seconds]
<fiddlerwoaroof> Yeah, it's a jane street project and so it's probably related to an ocaml codebase
orivej has joined #lisp
lavaflow has quit [Read error: Connection reset by peer]
lavaflow has joined #lisp
francogrex has joined #lisp
<francogrex> dears, any plans to release SICL soon? updates are almost daily
nirved has quit [Killed (sinisalo.freenode.net (Nickname regained by services))]
nirved has joined #lisp
<francogrex> what's funny is that it's 67% lisp and 30% tex! (+ other)
<no-defun-allowed> Well, at the moment beach is finalising a paper for ELS and I think there's some discussion about improving the compiler.
<no-defun-allowed> You can test it, it only takes about two minutes to compile with low debug settings.
<francogrex> yes I know, using sbcl. but not standalone yet
gxt has joined #lisp
<Bike> there is no backend. i do not think beach has set a target release date.
karlosz has joined #lisp
<no-defun-allowed> Then you'd need to wire in the compiler and make a code generator too. I don't know how SICL manages that, or if the test environment/REPL goes through Cleavir even.
rippa has quit [Quit: {#`%${%&`+'${`%&NO CARRIER]
<Bike> it does.
Bike has quit []
verisimilitude has joined #lisp
<no-defun-allowed> Oh, right.
<no-defun-allowed> However, that just goes to a backend which generates more Common Lisp to run on the host from memory.
<francogrex> I was surprised to learn that closure cl always seeded itself from a previous image. few are lisp implementations that can be build from the ground up with just an assembler?
<no-defun-allowed> Why would you do that?
<francogrex> why would you do otherwise?
<verisimilitude> Why would you want a Common Lisp that is an assembler base?
<no-defun-allowed> It's like construction with a toothpick for a tool.
<francogrex> why would you want a common lisp that is based on god knows what?
<verisimilitude> That's how I want to do it. For one, you avoid the malicious compiler attack.
<no-defun-allowed> A Common Lisp in Common Lisp is reusable though.
<no-defun-allowed> An assembler could backdoor its code though.
<francogrex> computers work with assembly instructions and it is more transparent and clear to know what is going on
<verisimilitude> Ideally, most of the Common Lisp would be Common Lisp.
<verisimilitude> With how I'd do it, there'd be no building at all; you'd have the machine code and that loads the rest of the Common Lisp package and there you have it.
<francogrex> not unless you have a lisp machine running
<verisimilitude> I wouldn't be harmed by a malicious assembler, because I'm writing my own machine code development tools.
<francogrex> no one has any these days so it makes perfect sense to be build assembly based
<no-defun-allowed> It's less transparent, there's much more to read and assembler requires a lot of state to remember.
Lycurgus has joined #lisp
<verisimilitude> All you need to do is implement the very base everything else builds from, no-defun-allowed; you wouldn't even need the base to include the GC.
<francogrex> verisimilitude: loading the machine code seems grand
<francogrex> but yes i expect that wiould be only the very base, everything else in lisp, sure
<verisimilitude> Yes; I like programming without any complex building stages; it's disgusting to see software that wants over an hour to compile on a machine with well over a gigahertz of speed and gigabytes of working memory.
<verisimilitude> If you want me to go in a tad more detail, I'll tell you about the general scheme I've thought up for this implementation I want to eventually find myself writing, francogrex.
<francogrex> yes that being said, writing and loading machine code is not the greatest fun either
<francogrex> but yes it interests me, so please tell me or do you have references?
<verisimilitude> Well, I have an article concerning the machine code development tool, I've been working on, if you'd want to see it.
<francogrex> how would you poke and execute machine code into mem? which tools u use?
<francogrex> verisimilitude: sure
<verisimilitude> This is the tool: http://verisimilitudes.net/2017-07-07
<verisimilitude> Now, how I'd like to do it is have a simple machine code program that implements READ and a few other necessary CL functions. You could have an EXT package that exposes everything that needs to be there, but isn't in CL.
<verisimilitude> As an example, you could expose the data structures used for GC in this EXT package and after loading the functions that will manipulate it, UNINTERN this symbol. Then, it can't be accessed further and such a reference won't ever be created again.
<pjb> francogrex: Toaster from assembler (from scratch): https://www.youtube.com/watch?v=R3Qn98bE880 Toaster from sophisticated tools: https://www.youtube.com/watch?v=crc8n7D4kYg
<pjb> francogrex: your pick.
<verisimilitude> You'd need a loading program that's what's actually called. This could also contain the version and help information. This would be written in, say, sh.
<verisimilitude> Closing, all the machine code would do is READ and one of the first things that the loading program would do is feed in the rest of the CL package before locking it. Then you have a working implementation. One thing this would permit is customizing how most of the CL package is compiled, if that's desired.
<verisimilitude> You get the idea now, francogrex.
<pjb> verisimilitude: if you're building your assembler using stuff you didn't build yourself, you're fucked. See Reflection on Trusting Trust. https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf
<verisimilitude> I've already thought of that, pjb.
<pjb> You need to hardwire your own ROM, and to make your own transistors.
<verisimilitude> Clearly, I'm eventually going to need to use an iteration of the tool to write a version of itself in machine code and then manually inspect that.
<verisimilitude> Well, I'm not worried at that level, pjb. I don't have much option there.
<francogrex> verisimilitude: nice.
<francogrex> pjb: i prefer the first video of course. much more fun and educative
<pjb> :-)
<verisimilitude> I eventually want a 6502 version of this tool I can run on a C64, which is trustworthy enough. But that's then tangential.
<verisimilitude> I'm glad you found it interesting, francogrex; did you refer to what I wrote here or the article I linked to?
<francogrex> ok guys. I will save this to read it again later. verisimilitude yes i saved for reading it. thanks
<verisimilitude> It's no issue. So, you haven't read the article yet; in that case, I anticipate your thoughts concerning that.
les` has quit [Quit: ""]
les has joined #lisp
wilfredh has quit [Quit: Connection closed for inactivity]
<francogrex> not yet. I will and I come back here hoping to discuss it with you. I will try to understand :)
<verisimilitude> Alright.
<francogrex> good night
francogrex has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
shifty has quit [Ping timeout: 245 seconds]
karlosz has quit [Quit: karlosz]
kajo has quit [Ping timeout: 240 seconds]
<fiddlerwoaroof> as it turns out, most lisps do use assembler, they just don't use an external assembler...
<fiddlerwoaroof> all the vops in sbcl, for example, bottom out in an sexp-syntax assembly language
Bike has joined #lisp
rozenglass has joined #lisp
Jesin has quit [Quit: Leaving]
<pjb> verisimilitude: That said, while as an individual you might not want to invest the resources to make your own toaster, as a country we should consider making our own processors and other components. The case Huawei shows that's important. (and who would trust Intel apart from the US government and companies?)
Mr-Potter_ is now known as Mr-Potter
cantstanya has quit [Remote host closed the connection]
notzmv has joined #lisp
cantstanya has joined #lisp
iovec has quit [Quit: Connection closed for inactivity]
<Xach> i enjoyed reading frodef's assembler for movitz
Jesin has joined #lisp
LiamH has quit [Quit: Leaving.]
abhixec has joined #lisp
jbayardo has joined #lisp
Kundry_Wag has joined #lisp
Kundry_Wag has quit [Ping timeout: 246 seconds]
ebrasca has quit [Remote host closed the connection]
sjl has quit [Ping timeout: 244 seconds]
Lycurgus has quit [Quit: Exeunt]
random-nick has quit [Ping timeout: 250 seconds]
anamorphic has joined #lisp
Lord_of_Life has quit [Ping timeout: 240 seconds]
Lord_of_Life has joined #lisp
funnel has quit [Ping timeout: 268 seconds]
funnel has joined #lisp
varjag has quit [Quit: ERC (IRC client for Emacs 26.1)]