amb007 has quit [Read error: Connection reset by peer]
<pve>
it reminds me of "event extraction" in natural language processing, where the input is normal text, like news articles etc
<Demosthenex>
yeah, but NLP is much harder. this is more about taking specific numbers in paragraph records and flattening them into database rows
tyson2 has quit [Ping timeout: 265 seconds]
amb007 has joined #commonlisp
<jcowan>
pretty much what $EMPLOYER does
ec_ has joined #commonlisp
<jcowan>
takes legal documents and NLP models of important provisions and extracts them from the documents so a lawyer doesn't have to read the whole document
<lisp123>
The team that created much of MS Office are working in a startup to do this at scale
Fare has quit [Ping timeout: 260 seconds]
<jcowan>
URL?
skyl4rk has quit [Quit: WeeChat 3.1]
<Demosthenex>
i'm just trying to import data from san arrays and san switches into a spreadsheet for my use
skyl4rk has joined #commonlisp
<Demosthenex>
it was intriguing that google was using textfsm to read cisco switch output
cyberbanjo has quit [Quit: Konversation terminated!]
<lisp123>
If I could invest in them, I would...seems like they will be succesful given MS Office Files run in every corporate office + its such a bad format to parse
<jcowan>
It's trivial to *parse*. It's the (only) human-readable parts that are hard.
Fare has joined #commonlisp
<lisp123>
Still, their connections to MS would probably help them a lot - could see them pitching their products to MS for integration into their suite. They have the former head of Azure as a board member / major investor
<lisp123>
Then again...it is founded by one of the inventors of XML....so maybe they won't do too well :D
<jcowan>
Don't underestimate Paoli: he was a very heavy hitter before MS reduced him to a robot on the XML WG. MS wanted a seat on that WG, and luckily during the critical design period he was able to contribute a lot.
<jcowan>
Don't underestimate the applicability of XML to its original domain, documents, either.
jeosol has quit [Ping timeout: 260 seconds]
saturn2 has quit [Ping timeout: 240 seconds]
saturn2 has joined #commonlisp
<lisp123>
I see, well then they likely do well (seems like they have a lot going for them)
ec_ has quit [Ping timeout: 276 seconds]
amb007 has quit [Ping timeout: 252 seconds]
amb007 has joined #commonlisp
Fare has quit [Ping timeout: 260 seconds]
ec_ has joined #commonlisp
<Josh_2>
If a file is uploaded to hunchentoot, does hunchentoot automatically delete it after the evaluation of the handler?
<lisp123>
Josh_2: Do you have example you can show to illustrate?
<Bike>
i haven't used hunchentoot, but "The file denoted by path will be deleted after the request has been handled - you have to move or copy it somewhere else if you want to keep it. " says the manual
Fare has joined #commonlisp
<Bike>
under post-parameter
<Josh_2>
well there we go
<Josh_2>
That'll explain why my background processor can't find the file
<Josh_2>
Thanks Bike
<Bike>
ediware have good manuals
amb007 has quit [Ping timeout: 260 seconds]
<Josh_2>
Yep
amb007 has joined #commonlisp
<Josh_2>
Okay well I'll have to fix that later then
ec_ has quit [Ping timeout: 276 seconds]
ec_ has joined #commonlisp
<ecraven>
is there any way to tell emacs that my lisp does have #+Lispm, and it should not show that code commented out?
<lotuseater>
you mean in your *features* ?
jeosol has joined #commonlisp
skyl4rk` has joined #commonlisp
karlosz has quit [Quit: karlosz]
ec_ has quit [Ping timeout: 276 seconds]
karlosz has joined #commonlisp
karlosz has quit [Client Quit]
ec_ has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
<random-nick>
ecraven: slime should be able to look at the inferior lisp's *features* and show the code as not commented out
ec_ has quit [Ping timeout: 276 seconds]
<lotuseater>
random-nick: I tried, first not having :lispm in it, then it looks like a comment, then (pushnew :lispm *features*) and it shows it like code
santiagopim has joined #commonlisp
ec_ has joined #commonlisp
alanz has quit [Ping timeout: 250 seconds]
alanz has joined #commonlisp
yitzi has joined #commonlisp
ec_ has quit [Ping timeout: 276 seconds]
Fare has quit [Ping timeout: 260 seconds]
cosimone has quit [Ping timeout: 265 seconds]
azimut_ has joined #commonlisp
azimut has quit [Ping timeout: 276 seconds]
karlosz has joined #commonlisp
ec_ has joined #commonlisp
Oladon has joined #commonlisp
<ecraven>
no, just plain emacs, no slime there
ec_ has quit [Ping timeout: 276 seconds]
yitzi_ has joined #commonlisp
lisp123 has quit [Remote host closed the connection]
lisp123 has joined #commonlisp
yitzi has quit [Ping timeout: 252 seconds]
gaqwas has joined #commonlisp
karlosz has quit [Quit: karlosz]
karlosz has joined #commonlisp
ec_ has joined #commonlisp
Fare has joined #commonlisp
Lycurgus has joined #commonlisp
tyson2 has joined #commonlisp
<hendursaga>
I wish arrows' -> didn't clash with serapeum.. :(
akoana has joined #commonlisp
cage has quit [Quit: rcirc on GNU Emacs 27.1]
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
azimut_ has quit [Ping timeout: 276 seconds]
azimut has joined #commonlisp
cosimone has joined #commonlisp
Cymew has quit [Ping timeout: 260 seconds]
azimut has quit [Remote host closed the connection]
azimut has joined #commonlisp
tyson2 has quit [Quit: ERC (IRC client for Emacs 27.2)]
Guest82 has joined #commonlisp
Guest82 has quit [Client Quit]
Lycurgus has quit [Quit: Exeunt]
shka has quit [Ping timeout: 265 seconds]
pranavats has left #commonlisp [Disconnected: Replaced by new connection]
<phoe>
looks to me like COALTON:UNIT is a self-evaluating symbol, and you also described that (deftype unit () '(eql unit))
<phoe>
(if I got it correctly)
Jach has joined #commonlisp
<lotuseater>
with coalton a bit of Haskell feeling comes up :) but it's more inspired by SML iirc
<stylewarning>
phoe: from Coalton’s perspective, Unit is a type with one value, Unit. There’s no concept of a symbol in Coalton. In Lisp, though, Unit is implemented as a symbol, so indeed it just looks like a self-evaluating symbol. (Very pedantic of course.)
<stylewarning>
It’s logically equivalent to the pure Coalton code: (define-type Unit Unit) — but isn’t that way because it needed to be “bootstrapped”
saturn2 has quit [Changing host]
saturn2 has joined #commonlisp
Lord_of_Life_ has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 252 seconds]
Lord_of_Life_ is now known as Lord_of_Life
Jach has quit [Ping timeout: 260 seconds]
fitzsim has joined #commonlisp
copec has quit [Ping timeout: 260 seconds]
<phoe>
stylewarning: OK, I think I get it so far
<phoe>
congrats for the post, and thanks for your Coalton work! I'll digest it (in due time)
<fitzsim>
yeah, good to see Coalton kept being developed!
<fitzsim>
I had been pulling from the old repo from time to time and thought development had stopped
<fitzsim>
just subscribed to the new blog's RSS feed
<phoe>
stylewarning: in define-type binary-tree, is (Leaf) supposed not to have any value in it?
<phoe>
or is data stored only in a Node?
<stylewarning>
It probably should have a value but it can be either way
<phoe>
asking because (Node :a ... ...) looks like nodes hold values rather than leaves
<stylewarning>
I like to think of Leaf as like Nil
<phoe>
which, sure, these are equivalent - just double-checking my interpretation
<phoe>
oh, OK - so I understood it well
<stylewarning>
You’re correct
<phoe>
Coalton is case-insensitive by default since it uses the standard Lisp readtable - is that correct?
gxt has quit [Remote host closed the connection]
gxt has joined #commonlisp
<stylewarning>
Correct, it’s just convention
skyl4rk has joined #commonlisp
<phoe>
how do you create global lexical variables? global-vars, or something custom-made?
Jach has joined #commonlisp
pillton has joined #commonlisp
<phoe>
also, beach is gonna scold you about the use of term "CLOS classes" once he wakes up; you may want to change that to "standard classes" :D
<stylewarning>
phoe: symbol macro backed by a global static var
<jcowan>
I worked on a project called Steme which was like Coalton but for Scheme. Unfortunately it broke down on irreconcilable design differences. (We didn't learn about Coalton until near the end.) I think my insistence that Steme should be pure was probably a mistake, but the idea of interoperating co-languages was there.
<jcowan>
oops, ww
<stylewarning>
Very neat
<stylewarning>
Schemers are always up to mischief
<jcowan>
oh well, it fits here fine
<moon-child>
raku's runtime is intended to permit interoperation of disparate languages. Currently it only hosts raku and its bootstrapping subset, but there's no reason others couldn't be added
<fitzsim>
"See the eval example above.": the list-length example of match shows the use of the wildcard, where the eval example doesn't
<stylewarning>
I think I just meant as an example of MATCH but maybe the language could be clearer
<stylewarning>
I figured wildcards aren’t *that* interesting
<fitzsim>
hehe, yeah, makes sense
<fitzsim>
no biggie; it made me jump back to both examples, so maybe it's better as-is
<jcowan>
no need for explicit bridges, though; you could write the type of a Scheme function in a Steme declaration, provided you certified its purity, and Scheme could call Steme directly.
<stylewarning>
That’s true with Coalton too
<stylewarning>
But I’d still implore the user to use the bridge for addl safety (:
<stylewarning>
(At no cost but a few extra characters typed and microseconds spent compiling)
<jcowan>
If your Coalton function calls a lot of Lisp code or vice versa, it's harder to read with explicit bridging. The Steme idea was to define a bridge just once, not every time it is used.
<stylewarning>
I see
<jcowan>
essentially an FFI for Steme
cosimone has quit [Ping timeout: 265 seconds]
scymtym has joined #commonlisp
lisp123 has joined #commonlisp
frgo has quit [Remote host closed the connection]
frgo has joined #commonlisp
gioyik has joined #commonlisp
yitzi_ has quit [Quit: Leaving]
Alfr has quit [Quit: Leaving]
lisp123 has quit [Ping timeout: 265 seconds]
akoana has quit [Quit: leaving]
gioyik_ has joined #commonlisp
gioyik has quit [Ping timeout: 276 seconds]
Fare has quit [Ping timeout: 260 seconds]
pve has quit [Quit: leaving]
Fare has joined #commonlisp
Oladon has quit [Quit: Leaving.]
Alfr has joined #commonlisp
<Josh_2>
stylewarning: Coalton is very cool. Nice work :)
<stylewarning>
Thanks! It’s neat to finally release it.