Newest at the top
| 2024-05-13 17:21:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 17:19:17 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-05-13 17:17:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-13 17:17:22 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-05-13 17:17:04 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-13 17:16:54 +0200 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.2) |
| 2024-05-13 17:16:40 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Remote host closed the connection) |
| 2024-05-13 17:15:43 +0200 | danse-nr3 | (~danse-nr3@151.57.39.218) |
| 2024-05-13 17:14:54 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-05-13 17:11:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 17:10:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 17:05:09 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-13 16:53:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 16:52:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 16:49:10 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) |
| 2024-05-13 16:48:39 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) (Remote host closed the connection) |
| 2024-05-13 16:48:30 +0200 | zzz | (~yin@user/zero) |
| 2024-05-13 16:46:25 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-05-13 16:39:56 +0200 | hueso | (~root@user/hueso) |
| 2024-05-13 16:36:55 +0200 | hueso | (~root@user/hueso) (Ping timeout: 268 seconds) |
| 2024-05-13 16:36:03 +0200 | <ski> | dmj` : amusing |
| 2024-05-13 16:30:53 +0200 | <ski> | "Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language" in 1992 at <https://repository.upenn.edu/server/api/core/bitstreams/5d453ced-e21d-46a5-9935-3f403a32b5a6/content>,"A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies" in 1997-09 at <https://link.springer.com/content/pdf/10.1007/3-540-48975-4_8.pdf>, both by Joshua S. Hodas |
| 2024-05-13 16:20:58 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-05-13 16:13:56 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-13 16:13:14 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) |
| 2024-05-13 16:07:28 +0200 | hueso | (~root@user/hueso) |
| 2024-05-13 16:07:01 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-13 16:06:14 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-13 16:05:05 +0200 | zzz_ | zzz |
| 2024-05-13 16:04:58 +0200 | zzz | (~yin@user/zero) (Killed (NickServ (GHOST command used by zzz_))) |
| 2024-05-13 16:04:33 +0200 | zzz_ | (~yin@user/zero) |
| 2024-05-13 16:04:12 +0200 | <dmj`> | https://www.wired.com/story/inside-the-cult-of-the-haskell-programmer/ |
| 2024-05-13 16:03:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-05-13 16:02:53 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-13 16:01:09 +0200 | hueso | (~root@user/hueso) (Ping timeout: 268 seconds) |
| 2024-05-13 15:56:54 +0200 | dezalator | (~dezalator@77-254-94-95.dynamic.inetia.pl) (Remote host closed the connection) |
| 2024-05-13 15:54:51 +0200 | dezalator | (~dezalator@77-254-94-95.dynamic.inetia.pl) |
| 2024-05-13 15:54:22 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-13 15:52:49 +0200 | dezaaltor | (~dezaaltor@77-254-94-95.dynamic.inetia.pl) (Remote host closed the connection) |
| 2024-05-13 15:52:34 +0200 | syscall1 | (~syscall@2401:4900:16a3:3e97:3b3e:7956:62a8:2bba) (Client Quit) |
| 2024-05-13 15:52:31 +0200 | dezaaltor | (~dezaaltor@77-254-94-95.dynamic.inetia.pl) |
| 2024-05-13 15:51:11 +0200 | <ski> | (there are papers about doing this, for intuitionistic, resp. linear (rather than ordered) logic, in order to capture "island constraints" in "coordination" in natural language) |
| 2024-05-13 15:50:52 +0200 | syscall1 | (~syscall@2401:4900:16a3:3e97:3b3e:7956:62a8:2bba) |
| 2024-05-13 15:50:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-13 15:50:36 +0200 | <tomsmeding> | even though realistically a parser will have to do something like that |
| 2024-05-13 15:50:32 +0200 | <ski> | mauke : anyway, another way to do it in a grammar, is to use Definite Clause Grammar, with ordered logic, using implicational grammar categories |
| 2024-05-13 15:50:23 +0200 | <tomsmeding> | I don't think about this as "parse a token sequence for f, then reinterpret that token sequence using the infixr statement found later" |
| 2024-05-13 15:49:56 +0200 | <tomsmeding> | define an operator (*) with level 6, right-associative; then parse f as usual |
| 2024-05-13 15:49:26 +0200 | euleritian | (~euleritia@dynamic-176-003-078-122.176.3.pool.telefonica.de) |
| 2024-05-13 15:48:53 +0200 | <lambdabot> | 3 |