jackdaniel changed the topic of #commonlisp to: Common Lisp, the #1=(programmable . #1#) programming language | Wiki: <https://www.cliki.net> | IRC Logs: <https://irclog.tymoon.eu/libera/%23commonlisp> | Cookbook: <https://lispcookbook.github.io/cl-cookbook> | Pastebin: <https://plaster.tymoon.eu/>
fak has joined #commonlisp
fak has quit []
mrcom has quit [Remote host closed the connection]
mrcom has joined #commonlisp
shawnw has joined #commonlisp
Oladon has quit [Quit: Leaving.]
Jach has quit [Quit: Leaving.]
Jach has joined #commonlisp
_whitelogger has joined #commonlisp
istewart has joined #commonlisp
soweli_iki has joined #commonlisp
soweli_iki has quit [Changing host]
soweli_iki has joined #commonlisp
shawnw has quit [Ping timeout: 265 seconds]
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
bpanthi977 has quit [Remote host closed the connection]
bpanthi977 has joined #commonlisp
random-nick has quit [Ping timeout: 276 seconds]
triffid has quit [Remote host closed the connection]
Thermoriax has quit [Ping timeout: 276 seconds]
bpanthi978 has joined #commonlisp
kevingal has quit [Remote host closed the connection]
bpanthi977 has quit [Ping timeout: 252 seconds]
bpanthi978 has quit [Ping timeout: 252 seconds]
bpanthi977 has joined #commonlisp
scymtym has quit [Remote host closed the connection]
scymtym has joined #commonlisp
decweb has quit [Quit: Konversation terminated!]
lusciouslover has quit [Quit: \]
lusciouslover has joined #commonlisp
Fare has joined #commonlisp
Oladon has joined #commonlisp
shawnw has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
shawnw has quit [Ping timeout: 244 seconds]
triffid has joined #commonlisp
<aeth> is planet lisp broken or is nobody posting? 17 days since the last post. https://planet.lisp.org/
<ixelp> Planet Lisp
shawnw has joined #commonlisp
admich1 has quit [Ping timeout: 252 seconds]
admich1 has joined #commonlisp
shawnw has quit [Quit: Konversation terminated!]
King_julian has quit [Ping timeout: 260 seconds]
King_julian has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
benkard is now known as mulk
troojg has quit [Ping timeout: 260 seconds]
istewart has quit [Quit: Konversation terminated!]
admich1 has quit [Ping timeout: 260 seconds]
admich1 has joined #commonlisp
attila_lendvai has joined #commonlisp
edgar-rft` has joined #commonlisp
admich1 has quit [Read error: Connection reset by peer]
admich1 has joined #commonlisp
overclucker has joined #commonlisp
edgar-rft has quit [Ping timeout: 272 seconds]
overclucker_ has quit [Ping timeout: 260 seconds]
_whitelogger has joined #commonlisp
Oladon has quit [Quit: Leaving.]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
<phil_bb> aeth that does seem broken
ingeniot has joined #commonlisp
chomwitt has joined #commonlisp
Gleefre has joined #commonlisp
chomwitt has quit [Ping timeout: 252 seconds]
chomwitt has joined #commonlisp
ingeniot has quit [Ping timeout: 260 seconds]
mrcom has quit [Read error: Connection reset by peer]
mrcom has joined #commonlisp
pve has joined #commonlisp
treflip has joined #commonlisp
cercopith has quit [Remote host closed the connection]
inline has quit [Quit: Leaving]
wbooze has quit [Quit: Leaving]
admich1 has quit [Remote host closed the connection]
admich1 has joined #commonlisp
leeb has joined #commonlisp
leeb_ has quit [Ping timeout: 260 seconds]
tjbw has joined #commonlisp
ewig has joined #commonlisp
tjbw has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Fare has quit [Ping timeout: 252 seconds]
chomwitt has quit [Ping timeout: 252 seconds]
Everything has joined #commonlisp
Fare has joined #commonlisp
Fare has quit [Read error: Connection reset by peer]
weeks has joined #commonlisp
attila_lendvai has quit [Ping timeout: 248 seconds]
White_Flame has quit [Read error: Connection reset by peer]
White_Flame has joined #commonlisp
Everything has quit [Ping timeout: 260 seconds]
Everything has joined #commonlisp
Fare has joined #commonlisp
dajole has quit [Quit: Connection closed for inactivity]
treflip` has joined #commonlisp
treflip has quit [Ping timeout: 244 seconds]
Fare has quit [Ping timeout: 276 seconds]
<veqq> aeth: i think people just dont post a lot.
<veqq> Most are by one guy, but e.g. last month lisp-journey and a ffew others had their last article
<veqq> Many of the blogs its subscribed to havent posted in 3-4 years.
toadlicker has joined #commonlisp
Fare has joined #commonlisp
rendar has quit [Ping timeout: 245 seconds]
<aeth> well, there's some Lisp blogs that aren't on there, too
benkard has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
benkard is now known as mulk
<veqq> aeth: many arent included! But
<aeth> but that probably works via RSS and a lot of stuff doesn't do that anymore?
<veqq> Send recomendations to: xach@xach.com
McParen has joined #commonlisp
<veqq> Rss is very common!
<veqq> Most ssgs do it, without the author even noticing
Everything has quit [Quit: leaving]
<aeth> meanwhile, one of SLIME's launch messages still mentions Lemonodor, which seems to have ended a very long time ago
<veqq> lemonodor-fame!
<veqq> Looks like he sold his soul to python (even stopped with lcojure a few yearsago) https://github.com/wiseman?tab=repositories
<ixelp> wiseman - Repositories
<ixelp> John Wiseman (@lemonodor.bsky.social)
admich1 has quit [Remote host closed the connection]
<aeth> I suppose that's the web in the past 15 years in a nutshell. Independent bloggers mostly moving to centralized social media.
decweb has joined #commonlisp
admich1 has joined #commonlisp
<jackdaniel> people come and go, that's natural
Lord_of_Life_ has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 260 seconds]
Lord_of_Life_ is now known as Lord_of_Life
admich1 has quit [Ping timeout: 276 seconds]
fart_cat is now known as clippy_cat
admich1 has joined #commonlisp
rtypo has joined #commonlisp
szkl has quit [Quit: Connection closed for inactivity]
chomwitt has joined #commonlisp
Guest47 has joined #commonlisp
treflip` has quit [Ping timeout: 276 seconds]
random-nick has joined #commonlisp
tjbw has joined #commonlisp
tjbw has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
attila_lendvai has joined #commonlisp
mulk has quit [Ping timeout: 260 seconds]
mulk has joined #commonlisp
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
Guest47 has quit [Quit: Textual IRC Client: www.textualapp.com]
tjbw has joined #commonlisp
McParen has left #commonlisp [#commonlisp]
Fare has quit [Ping timeout: 248 seconds]
Gleefre has quit [Remote host closed the connection]
zwr has quit [Read error: Connection reset by peer]
zwr has joined #commonlisp
Thermoriax has joined #commonlisp
treflip has joined #commonlisp
White__Flame has joined #commonlisp
White_Flame has quit [Ping timeout: 272 seconds]
Artea has quit [Quit: ZNC 1.9.1 - https://znc.in]
bigbookofbug has quit [Read error: Connection reset by peer]
King_julian has quit [Ping timeout: 252 seconds]
treflip` has joined #commonlisp
King_julian has joined #commonlisp
treflip has quit [Ping timeout: 245 seconds]
Fare has joined #commonlisp
tjbw has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Gleefre has joined #commonlisp
yacin has quit [Ping timeout: 276 seconds]
treflip` has quit [Ping timeout: 244 seconds]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
benkard is now known as mulk
treflip has joined #commonlisp
tjbw has joined #commonlisp
tjbw has quit [Client Quit]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 272 seconds]
benkard is now known as mulk
nytpu has quit [Remote host closed the connection]
nytpu has joined #commonlisp
treflip has quit [Ping timeout: 265 seconds]
X-Scale has quit [Ping timeout: 260 seconds]
King_julian has quit [Ping timeout: 248 seconds]
johnjaye has quit [Ping timeout: 260 seconds]
King_julian has joined #commonlisp
attila_lendvai has quit [Ping timeout: 276 seconds]
brokkoli_origin has quit [Ping timeout: 244 seconds]
brokkoli_origin has joined #commonlisp
pranav has quit [Remote host closed the connection]
treflip has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 276 seconds]
benkard is now known as mulk
pranav has joined #commonlisp
X-Scale has joined #commonlisp
Gleefre has quit [Remote host closed the connection]
Fare has quit [Ping timeout: 244 seconds]
tjbw has joined #commonlisp
wacki has quit [Ping timeout: 260 seconds]
wacki has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
Gleefre has joined #commonlisp
mulk has quit [Ping timeout: 272 seconds]
mulk has joined #commonlisp
mulk has quit [Ping timeout: 272 seconds]
mulk has joined #commonlisp
tjbw has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Oladon has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
Gleefre has quit [Remote host closed the connection]
bpanthi977 has joined #commonlisp
treflip` has joined #commonlisp
treflip has quit [Ping timeout: 248 seconds]
Gleefre has joined #commonlisp
inline has joined #commonlisp
Gleefre has quit [Remote host closed the connection]
mulk has quit [Ping timeout: 245 seconds]
mulk has joined #commonlisp
Gleefre has joined #commonlisp
ello_ has quit [Read error: Connection reset by peer]
ello has quit [Read error: Connection reset by peer]
mulk has quit [Ping timeout: 260 seconds]
ello has joined #commonlisp
mulk has joined #commonlisp
ello_ has joined #commonlisp
mulk has quit [Ping timeout: 245 seconds]
benkard has joined #commonlisp
benkard is now known as mulk
Guest47 has joined #commonlisp
Guest47 has quit [Client Quit]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
chrcav has joined #commonlisp
molson has joined #commonlisp
treflip` has quit [Ping timeout: 260 seconds]
mulk has quit [Ping timeout: 252 seconds]
benkard has joined #commonlisp
benkard is now known as mulk
tjbw has joined #commonlisp
troojg has joined #commonlisp
apac has joined #commonlisp
tjbw has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pranav has quit [Remote host closed the connection]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 248 seconds]
benkard is now known as mulk
apac has quit [Ping timeout: 244 seconds]
bpanthi977 has quit [Ping timeout: 276 seconds]
mulk has quit [Ping timeout: 265 seconds]
benkard has joined #commonlisp
tjbw has joined #commonlisp
benkard is now known as mulk
pranav has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
mulk has joined #commonlisp
ecraven has quit [Quit: quit]
mulk has quit [Ping timeout: 252 seconds]
tjbw has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mulk has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
tjbw has joined #commonlisp
psilord` has joined #commonlisp
psilord has quit [Ping timeout: 252 seconds]
mulk has quit [Ping timeout: 244 seconds]
mulk has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
mulk has joined #commonlisp
m5zs7k has quit [Ping timeout: 276 seconds]
psilord` is now known as psilord
m5zs7k has joined #commonlisp
mulk has quit [Ping timeout: 248 seconds]
mulk has joined #commonlisp
ewig has quit [Remote host closed the connection]
bpanthi977 has joined #commonlisp
rkazak has quit [Ping timeout: 245 seconds]
shka has quit [Quit: Konversation terminated!]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
shka has joined #commonlisp
ecraven has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 272 seconds]
benkard is now known as mulk
X-Scale has quit [Ping timeout: 260 seconds]
King_julian has quit [Read error: Connection reset by peer]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
benkard is now known as mulk
King_julian has joined #commonlisp
mulk has quit [Ping timeout: 244 seconds]
Gleefre has quit [Remote host closed the connection]
mulk has joined #commonlisp
mulk has quit [Ping timeout: 248 seconds]
mulk has joined #commonlisp
rkazak has joined #commonlisp
bpanthi977 has quit [Remote host closed the connection]
mulk has quit [Ping timeout: 252 seconds]
bpanthi977 has joined #commonlisp
mulk has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
rkazak has quit [Ping timeout: 252 seconds]
mulk has quit [Ping timeout: 252 seconds]
bpanthi977 has quit [Ping timeout: 260 seconds]
mulk has joined #commonlisp
beach` has joined #commonlisp
mulk has quit [Ping timeout: 268 seconds]
mulk has joined #commonlisp
garlic0x1 has quit [Quit: Ping timeout (120 seconds)]
garlic0x1 has joined #commonlisp
beach has quit [Ping timeout: 260 seconds]
wacki has quit [Quit: Leaving.]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
Gleefre has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 268 seconds]
benkard is now known as mulk
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
varjag has joined #commonlisp
tfeb has joined #commonlisp
mulk has quit [Ping timeout: 268 seconds]
mulk has joined #commonlisp
tfeb has quit [Quit: died]
_whitelogger has joined #commonlisp
King_julian has quit [Ping timeout: 248 seconds]
King_julian has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
Gleefre has quit [Ping timeout: 272 seconds]
decweb has quit [Quit: Konversation terminated!]
bpanthi977 has quit [Ping timeout: 260 seconds]
mulk has quit [Ping timeout: 265 seconds]
mulk has joined #commonlisp
pve has quit [Quit: leaving]
yaneko has quit [Quit: parting]
yaneko has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
decweb has joined #commonlisp
rkazak has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
rkazak has quit [Ping timeout: 252 seconds]
bpanthi977 has joined #commonlisp
mala has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 245 seconds]
benkard is now known as mulk
admich1 has quit [Ping timeout: 252 seconds]
shka has quit [Quit: Konversation terminated!]
bpanthi977 has quit [Ping timeout: 248 seconds]
rkazak has joined #commonlisp
mulk has quit [Ping timeout: 245 seconds]
mulk has joined #commonlisp
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
mulk has quit [Ping timeout: 252 seconds]
mulk has joined #commonlisp
White__Flame has quit [Remote host closed the connection]
admich1 has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
triffid has quit [Remote host closed the connection]
mulk has quit [Ping timeout: 252 seconds]
triffid has joined #commonlisp
mulk has joined #commonlisp
admich1 has quit [Ping timeout: 252 seconds]
admich1 has joined #commonlisp
kg7ski has quit [Quit: ZNC 1.9.1 - https://znc.in]
kg7ski has joined #commonlisp
gooba` has quit [Remote host closed the connection]
mehbark has joined #commonlisp
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
gooba has joined #commonlisp
varjag has quit [Ping timeout: 252 seconds]
yazz has quit [Ping timeout: 248 seconds]
benkard has joined #commonlisp
yazz has joined #commonlisp
mulk has quit [Ping timeout: 265 seconds]
benkard is now known as mulk
mulk has quit [Ping timeout: 244 seconds]
mulk has joined #commonlisp
mehbark has quit [Quit: WeeChat 4.6.2]
benkard has joined #commonlisp
White_Flame has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
rkazak has quit [Ping timeout: 268 seconds]
<remexre> hm, i tried giving a function an ftype of (and (function (integer) integer) (function (single-float) single-float)), and SBCL simplified that to (function (nil) nil)
benkard has joined #commonlisp
<remexre> is there a way to get a type like that that works, or am I out of luck
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
<aeth> I guess it's interpreting that as taking in (and integer single-float) and returning (and integer single-float)
<aeth> so (and (function (integer) integer) (function (single-float) single-float)) <=> (function ((and integer single-float)) (and integer single-float))
<aeth> which would be nil
<remexre> yeah
<aeth> do you mean to use OR?
<remexre> no, it is invalid for that symbol-function to e.g. only accept an integer and return an integer
<remexre> it's a function that can be called with either of the two (in the full example, more like 8) types
<remexre> er, full code* i suppose
<aeth> I think that would require a dependent type system
benkard has joined #commonlisp
mulk has quit [Ping timeout: 252 seconds]
benkard is now known as mulk
<aeth> if you mean integer->integer, single-float->single-float, but (or integer single-float) input and (or integer single-float) output in general
<remexre> yeah; though, i think intersection types don't require full dependent types
<aeth> hmm, no, not a dependent type system, but just a more advanced type system
<aeth> you're right
<remexre> i think you can do this in typescript, though i don't know it too well (and i don't know if their type system "neatly" corresponds to anything easy to describe...)
<aeth> CL actually does have dependent types! (integer 4 32) for instance.
<remexre> no pi or sigma though, right?
<aeth> What it's missing here is a way to say a to a or something.
<remexre> i mean, you could weaken the intersection type to (forall a, a -> a) or to (function ((or integer single-float)) (or integer single-float)), but those both describe a different set of values than the actual intersection type
benkard has joined #commonlisp
mulk has quit [Ping timeout: 265 seconds]
benkard is now known as mulk
brokkoli_origin has quit [Ping timeout: 252 seconds]
benkard has joined #commonlisp
mulk has quit [Ping timeout: 265 seconds]
benkard is now known as mulk
rkazak has joined #commonlisp
mulk has quit [Ping timeout: 248 seconds]
mulk has joined #commonlisp
admich1 has quit [Read error: Connection reset by peer]
rkazak has quit [Ping timeout: 260 seconds]