Newest at the top
| 2024-11-05 13:20:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-05 13:13:48 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 13:13:30 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 13:12:17 +0100 | longlongdouble | (~longlongd@117.225.99.28) |
| 2024-11-05 13:11:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 13:08:41 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-11-05 13:05:32 +0100 | longlongdouble | (~longlongd@117.234.41.81) (Ping timeout: 255 seconds) |
| 2024-11-05 13:02:07 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-05 13:01:24 +0100 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2024-11-05 13:00:51 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) |
| 2024-11-05 13:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-05 12:59:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-11-05 12:57:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-05 12:52:40 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-11-05 12:52:08 +0100 | libertyprime | (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
| 2024-11-05 12:47:03 +0100 | Guest0012 | (~Guest0012@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) (Ping timeout: 256 seconds) |
| 2024-11-05 12:42:42 +0100 | Guest0012 | (~Guest0012@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) |
| 2024-11-05 12:34:11 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 12:33:04 +0100 | ash3en1 | ash3en |
| 2024-11-05 12:33:04 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 2024-11-05 12:31:28 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 12:27:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-11-05 12:25:54 +0100 | longlongdouble | (~longlongd@117.234.41.81) |
| 2024-11-05 12:22:30 +0100 | longlongdouble | (~longlongd@117.234.189.117) (Ping timeout: 244 seconds) |
| 2024-11-05 12:21:55 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 12:20:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-05 12:20:52 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-05 12:20:31 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Client Quit) |
| 2024-11-05 12:19:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 12:19:40 +0100 | ash3en1 | ash3en |
| 2024-11-05 12:19:26 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 12:19:09 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) |
| 2024-11-05 12:19:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-05 12:18:47 +0100 | emfrom | (~emfrom@37.171.102.197) (Remote host closed the connection) |
| 2024-11-05 12:17:23 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-05 12:17:20 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-11-05 12:15:26 +0100 | <haskellbridge> | <hellwolf> I recalled a talk from "David Spivak: Categorical Databases". I appreciate people's relentless searches of composition, especially from mathematicians (Bartosz Milewski, et. al.) ... but sometimes someone just gotta find a concrete use case that others can understand and apply the insights. |
| 2024-11-05 12:14:44 +0100 | <ncf> | Inst: as long as you can come up with a notion of homomorphism between instances of different schemas, sure ("there are none" is a valid answer) |
| 2024-11-05 12:14:40 +0100 | <probie> | Inst: If it's not a normal relational database, then sum types may be easily supported :p. If you want to model it in a relational database and don't want to risk being two variants at once, you can have n columns, each being a nullable foreign key to that variant's table, and a constraint that exactly one of those columns is not null |
| 2024-11-05 12:14:30 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-05 12:11:59 +0100 | <ncf> | this is the most programmer-brained introduction to presheaves i have ever seen |
| 2024-11-05 12:11:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fc69:912f:320c:e811) |
| 2024-11-05 12:11:11 +0100 | tomsmeding | sneaks off |
| 2024-11-05 12:11:06 +0100 | tomsmeding | has no clue what's going on on that page |
| 2024-11-05 12:10:43 +0100 | <Inst> | as in, can a database table be in one of two different schemas? |
| 2024-11-05 12:10:31 +0100 | <Inst> | wait, do database tables support sum types? |
| 2024-11-05 12:10:08 +0100 | tomsmeding | is out of comfort zone |
| 2024-11-05 12:09:36 +0100 | <kuribas> | An ORM for example. |
| 2024-11-05 12:08:42 +0100 | <tomsmeding> | how on Earth does an ADT correspond to a database table? :p |
| 2024-11-05 12:08:28 +0100 | <kuribas> | So I could transform an ADT to a database table, using a functor. |