Logs: liberachat/#haskell
| 2021-08-23 07:02:40 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-08-23 07:04:57 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-08-23 07:05:17 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-08-23 07:08:35 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-23 07:08:36 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-23 07:08:56 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2021-08-23 07:09:03 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-23 07:10:23 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-08-23 07:11:53 | → | fendor joins (~fendor@91.141.64.241.wireless.dyn.drei.com) |
| 2021-08-23 07:12:40 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-08-23 07:13:39 | × | bastelfreak quits (~bastelfre@basteles-bastelknecht.bastelfreak.org) (Quit: WeeChat 3.2) |
| 2021-08-23 07:13:48 | → | bastelfreak joins (~bastelfre@basteles-bastelknecht.bastelfreak.org) |
| 2021-08-23 07:16:19 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-23 07:24:39 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-23 07:25:28 | × | safe quits (~safe@cpe-74-64-165-24.nj.res.rr.com) (Quit: Leaving) |
| 2021-08-23 07:28:13 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-23 07:31:13 | → | kuribas joins (~user@ptr-25vy0iajat4u154jc6g.18120a2.ip6.access.telenet.be) |
| 2021-08-23 07:31:38 | → | acidjnk joins (~acidjnk@p200300d0c72b9558d9d86757fde39a6c.dip0.t-ipconnect.de) |
| 2021-08-23 07:32:49 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-23 07:33:37 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-23 07:34:34 | → | megaTherion joins (~therion@unix.io) |
| 2021-08-23 07:39:59 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-23 07:40:05 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-23 07:43:36 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-08-23 07:44:52 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-23 07:45:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 07:47:06 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-23 07:51:46 | → | sagax joins (~sagax@213.138.71.146) |
| 2021-08-23 07:52:25 | → | ubert joins (~Thunderbi@178.165.179.240.wireless.dyn.drei.com) |
| 2021-08-23 07:54:01 | → | d0ku joins (~d0ku@178.43.19.40.ipv4.supernova.orange.pl) |
| 2021-08-23 07:56:41 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-23 07:57:23 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 07:57:41 | <kuribas> | I removed more type families from my mysql library. Now only one type family left. |
| 2021-08-23 07:58:03 | <kuribas> | Not much fancy haskell left now. Unless you count light usage of DataKinds as phantom types... |
| 2021-08-23 07:58:24 | <kuribas> | And generics... |
| 2021-08-23 07:59:28 | <Hecate> | kuribas: hurray for improved compilation times :D |
| 2021-08-23 07:59:44 | <kuribas> | Hecate: oh, and template haskell :) |
| 2021-08-23 07:59:48 | <kuribas> | but it's optional. |
| 2021-08-23 08:01:11 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-23 08:02:14 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-23 08:03:40 | × | dschrempf quits (~dominik@92-249-199-97.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2021-08-23 08:03:48 | <Hecate> | kuribas: you should make a companion library with -th if you really have that many optional features implemented in TH :) |
| 2021-08-23 08:03:57 | <Hecate> | helps with portability as well |
| 2021-08-23 08:04:04 | <kuribas> | why? |
| 2021-08-23 08:04:08 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-23 08:04:15 | <kuribas> | you don't need to use it... |
| 2021-08-23 08:05:46 | → | jgeerds joins (~jgeerds@55d4b311.access.ecotel.net) |
| 2021-08-23 08:05:46 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-23 08:07:32 | <kuribas> | If you are using the typed layer, the TH is very recommended... |
| 2021-08-23 08:07:54 | <kuribas> | I could however split the package into hasqlator-mysql and hasqlator-typed-mysql... |
| 2021-08-23 08:08:56 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-23 08:11:11 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-23 08:12:05 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-23 08:12:33 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-23 08:14:04 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 08:17:39 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-23 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-23 08:17:42 | allbery_b | is now known as geekosaur |
| 2021-08-23 08:18:58 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-23 08:21:55 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-23 08:24:16 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-23 08:24:28 | → | dschrempf joins (~dominik@92-249-199-97.pool.digikabel.hu) |
| 2021-08-23 08:33:26 | × | cpape`` quits (~user@2a01:4f9:c010:632d::1) (Quit: ERC (IRC client for Emacs 25.2.2)) |
| 2021-08-23 08:33:48 | → | cpape joins (~user@2a01:4f9:c010:632d::1) |
| 2021-08-23 08:34:27 | <merijn> | !!! |
| 2021-08-23 08:34:37 | <merijn> | Breaking news that dramatically improves my life further! |
| 2021-08-23 08:34:45 | <merijn> | SQLite now supports strong typing! |
| 2021-08-23 08:34:48 | <merijn> | \o/ |
| 2021-08-23 08:35:25 | <dminuoso> | merijn: Source? |
| 2021-08-23 08:36:43 | <merijn> | dminuoso: https://www.sqlite.org/draft/stricttables.html |
| 2021-08-23 08:37:19 | <dminuoso> | Neat. :) |
| 2021-08-23 08:37:30 | <merijn> | Now I can shill SQLite *even harder* |
| 2021-08-23 08:41:41 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-23 08:45:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) (Remote host closed the connection) |
| 2021-08-23 08:46:05 | <Rembane_> | Sweet! |
| 2021-08-23 08:46:17 | <Rembane_> | SQLite be like: *flex!* |
| 2021-08-23 08:47:34 | × | lavaman quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2021-08-23 08:47:34 | → | awschnap joins (~lavaman@98.38.249.169) |
| 2021-08-23 08:48:05 | × | gustik quits (~gustik@2a01:c844:2410:9020:63ab:4bb6:83d2:e11b) (Quit: Leaving) |
| 2021-08-23 08:50:36 | <wz1000> | merijn: which version will this show up in? |
| 2021-08-23 08:52:09 | <tdammers> | "As far as we know, SQLite is the only SQL database engine that supports this advanced capability." |
| 2021-08-23 08:52:12 | <tdammers> | talk about flexing |
| 2021-08-23 08:58:31 | → | Gurkenglas joins (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) |
| 2021-08-23 08:59:18 | <merijn> | wz1000: Planned for 3.37 |
| 2021-08-23 08:59:21 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-23 08:59:36 | meridion_ | is now known as meridion |
| 2021-08-23 09:02:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-23 09:05:36 | × | amirouche quits (~amirouche@user/amirouche) (Quit: WeeChat 2.8) |
| 2021-08-23 09:05:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) |
| 2021-08-23 09:05:48 | → | amirouche joins (~amirouche@user/amirouche) |
| 2021-08-23 09:10:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) (Ping timeout: 240 seconds) |
| 2021-08-23 09:12:03 | amirouche | is now known as babelbot |
| 2021-08-23 09:13:37 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 248 seconds) |
| 2021-08-23 09:13:54 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 09:14:23 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-23 09:16:05 | babelbot | is now known as amirouche |
| 2021-08-23 09:18:39 | <merijn> | On an entirely different topic, given a (simple, if that helps) numerical function of N inputs. Which algorithms/techniques do I want to find the inputs with maximum output? |
| 2021-08-23 09:19:16 | × | amk quits (~amk@109.255.169.126) (Ping timeout: 252 seconds) |
| 2021-08-23 09:21:26 | <kuribas> | merijn: multivariate optimization algorithm? |
| 2021-08-23 09:22:50 | <kuribas> | oh neat, I can use recordWildCards with other assignments :) |
All times are in UTC.