00:16
pcell has quit [Remote host closed the connection]
00:16
chzyhndz has joined #ponylang
00:17
chzyhndz has quit [Remote host closed the connection]
00:18
chzyhndz has joined #ponylang
00:19
Onemorenickname has quit [Quit: Leaving]
00:23
chzyhndz has quit [Ping timeout: 240 seconds]
00:25
pcell has joined #ponylang
00:27
unbalanced has joined #ponylang
00:35
pcell has quit [Remote host closed the connection]
00:35
pcell has joined #ponylang
00:39
jemc has quit [Ping timeout: 245 seconds]
00:42
pcell has quit [Remote host closed the connection]
00:43
pcell has joined #ponylang
00:48
pcell has quit [Remote host closed the connection]
00:48
pcell has joined #ponylang
00:51
unbalanced has quit [Read error: Connection reset by peer]
00:54
jemc has joined #ponylang
01:08
pcell has quit [Ping timeout: 258 seconds]
01:56
theodus has quit [Read error: Connection reset by peer]
01:56
theodus has joined #ponylang
01:58
theodus_ has joined #ponylang
01:58
theodus has quit [Read error: Connection reset by peer]
02:03
theodus has joined #ponylang
02:03
theodus_ has quit [Read error: Connection reset by peer]
02:03
theodus has quit [Read error: Connection reset by peer]
02:03
theodus has joined #ponylang
02:03
theodus has quit [Read error: Connection reset by peer]
02:04
theodus has joined #ponylang
02:25
pcell has joined #ponylang
02:50
jemc has quit [Ping timeout: 245 seconds]
03:07
pcell has quit [Remote host closed the connection]
03:08
pcell has joined #ponylang
03:18
jemc has joined #ponylang
04:18
M-sj4nes has joined #ponylang
04:46
jemc has quit [Ping timeout: 240 seconds]
04:50
jemc has joined #ponylang
04:58
pcell has quit [Ping timeout: 240 seconds]
05:39
theodus has quit [Quit: -a- IRC for Android 2.1.33]
06:09
jemc has quit [Ping timeout: 260 seconds]
06:32
graaff has joined #ponylang
11:33
pcell has joined #ponylang
12:07
rurban has joined #ponylang
12:59
theodus has joined #ponylang
13:41
jemc has joined #ponylang
13:46
jemc has quit [Ping timeout: 255 seconds]
13:59
pcell has quit [Remote host closed the connection]
14:07
pcell has joined #ponylang
14:21
jemc has joined #ponylang
14:48
abeaumont has quit [Ping timeout: 248 seconds]
14:52
chzyhndz has joined #ponylang
14:52
theodus has quit [Read error: Connection reset by peer]
14:53
theodus has joined #ponylang
14:53
theodus_ has joined #ponylang
14:53
theodus has quit [Read error: Connection reset by peer]
14:53
chzyhndz has quit [Remote host closed the connection]
14:54
pcell has quit [Ping timeout: 240 seconds]
14:54
theodus_ has quit [Read error: Connection reset by peer]
14:54
theodus has joined #ponylang
14:55
theodus_ has joined #ponylang
14:55
theodus has quit [Read error: Connection reset by peer]
14:56
theodus has joined #ponylang
14:56
theodus_ has quit [Read error: Connection reset by peer]
14:56
theodus_ has joined #ponylang
14:56
theodus has quit [Read error: Connection reset by peer]
14:57
theodus has joined #ponylang
14:57
theodus_ has quit [Read error: Connection reset by peer]
14:58
theodus_ has joined #ponylang
14:59
theodus has quit [Read error: Connection reset by peer]
15:03
theodus has joined #ponylang
15:03
theodus_ has quit [Ping timeout: 240 seconds]
15:12
theodus_ has joined #ponylang
15:13
theodus__ has joined #ponylang
15:14
theodus73 has joined #ponylang
15:14
theodus__ has quit [Read error: Connection reset by peer]
15:15
theodus has quit [Ping timeout: 255 seconds]
15:16
theodus_ has quit [Ping timeout: 240 seconds]
15:16
theodus73 has quit [Read error: Connection reset by peer]
15:17
theodus has joined #ponylang
15:18
theodus_ has joined #ponylang
15:18
theodus has quit [Read error: Connection reset by peer]
15:19
theodus has joined #ponylang
15:19
theodus_ has quit [Read error: Connection reset by peer]
15:19
theodus has quit [Read error: Connection reset by peer]
15:20
theodus has joined #ponylang
15:22
rurban1 has joined #ponylang
15:25
rurban has quit [Ping timeout: 255 seconds]
15:28
jemc has quit [Ping timeout: 245 seconds]
15:32
rurban has joined #ponylang
15:32
rurban has quit [Client Quit]
15:33
jemc has joined #ponylang
15:35
rurban1 has quit [Ping timeout: 240 seconds]
15:49
jemc has quit [Ping timeout: 258 seconds]
16:18
<
ohir >
it seemigly lacks pony bindings
16:40
abeaumont has joined #ponylang
16:47
graaff has quit [Quit: Leaving]
17:13
_whitelogger has joined #ponylang
17:39
Matthias247 has joined #ponylang
18:26
jtfmumm- has joined #ponylang
19:28
theodus has quit [Ping timeout: 240 seconds]
19:43
theodus has joined #ponylang
20:56
dom96 has quit [Changing host]
20:56
dom96 has joined #ponylang
21:12
jemc has joined #ponylang
21:34
mvzink has joined #ponylang
21:35
mvzink has quit [Client Quit]
21:36
mvzink has joined #ponylang
21:41
<
mvzink >
so i'm thinking about on-disk data structures (e.g. btrees) in pony. in C land, the easy approach to turning bytes into data is to define a struct matching the format of a page on disk, so you can just read it into memory (or mmap it), cast its void* pointer to the page struct, and go from there. i know people have worked on networked messaging in pony, for which similar methods are also often used. what approaches have people come
21:41
<
mvzink >
up with, and what code can i read to get some inspiration?
22:01
jemc has quit [Ping timeout: 258 seconds]
22:31
Matthias247 has quit [Read error: Connection reset by peer]
22:51
jemc has joined #ponylang
22:53
theodus has quit [Read error: Connection reset by peer]
22:54
theodus has joined #ponylang
22:55
theo has joined #ponylang
22:55
theodus has quit [Read error: Connection reset by peer]
22:55
theodus has joined #ponylang
22:55
theo has quit [Read error: Connection reset by peer]
23:13
theodus has quit [Read error: Connection reset by peer]
23:14
theodus has joined #ponylang
23:16
theo has joined #ponylang
23:16
theo has quit [Read error: Connection reset by peer]
23:16
theodus has quit [Read error: Connection reset by peer]
23:17
theodus has joined #ponylang
23:19
<
SeanTAllen >
im not sure that anyone has done that in Pony yet. at least not that i am aware of mvzink. we were going to but went another direction. the direction of not doing it because we didnt end up needing at this point in time.
23:19
theodus has quit [Read error: Connection reset by peer]
23:19
theodus has joined #ponylang
23:21
theo has joined #ponylang
23:21
theodus has quit [Read error: Connection reset by peer]
23:22
theodus has joined #ponylang
23:25
theo has quit [Ping timeout: 255 seconds]
23:32
jemc has quit [Ping timeout: 240 seconds]