00:04
adamholmberg has joined #pypy
00:05
adamholmberg has quit [Remote host closed the connection]
00:05
wleslie has joined #pypy
00:10
mattip has joined #pypy
00:12
adamholmberg has joined #pypy
00:12
adamholmberg has quit [Remote host closed the connection]
00:14
adamholmberg has joined #pypy
00:17
adamholmberg has quit [Remote host closed the connection]
00:18
adamholmberg has joined #pypy
00:18
adamholmberg has quit [Remote host closed the connection]
00:23
adamholmberg has joined #pypy
00:23
adamholmberg has quit [Remote host closed the connection]
00:25
adamholmberg has joined #pypy
00:26
adamholmberg has quit [Remote host closed the connection]
00:32
adamholmberg has joined #pypy
00:34
adamholmberg has quit [Remote host closed the connection]
00:34
adamholmberg has joined #pypy
00:34
adamholmberg has quit [Remote host closed the connection]
00:35
mattip has quit [Ping timeout: 272 seconds]
00:37
adamholmberg has joined #pypy
00:39
adamholmberg has quit [Remote host closed the connection]
00:43
adamholmberg has joined #pypy
00:43
adamholmberg has quit [Remote host closed the connection]
00:50
adamholmberg has joined #pypy
00:50
adamholmberg has quit [Remote host closed the connection]
00:51
adamholmberg has joined #pypy
00:51
adamholmberg has quit [Remote host closed the connection]
00:53
adamholmberg has joined #pypy
00:53
adamholmberg has quit [Read error: Connection reset by peer]
00:57
adamholmberg has joined #pypy
00:58
adamholmberg has quit [Remote host closed the connection]
00:58
adamholmberg has joined #pypy
00:59
adamholmberg has quit [Remote host closed the connection]
00:59
adamholmberg has joined #pypy
00:59
adamholmberg has quit [Remote host closed the connection]
01:04
adamholmberg has joined #pypy
01:04
adamholmberg has quit [Remote host closed the connection]
01:05
adamholmberg has joined #pypy
01:05
adamholmberg has quit [Remote host closed the connection]
01:08
abrown_ has quit [Ping timeout: 244 seconds]
01:15
xcm has quit [Remote host closed the connection]
01:17
xcm has joined #pypy
01:18
adamholmberg has joined #pypy
01:18
adamholmberg has quit [Remote host closed the connection]
01:26
xcm has quit [Remote host closed the connection]
01:27
adamholmberg has joined #pypy
01:27
adamholmberg has quit [Remote host closed the connection]
01:27
xcm has joined #pypy
01:34
adamholmberg has joined #pypy
01:36
adamholmberg has quit [Remote host closed the connection]
01:41
adamholmberg has joined #pypy
01:41
adamholmberg has quit [Remote host closed the connection]
01:46
adamholmberg has joined #pypy
01:46
adamholmberg has quit [Remote host closed the connection]
01:49
adamholmberg has joined #pypy
01:49
adamholmberg has quit [Remote host closed the connection]
01:50
adamholmberg has joined #pypy
01:50
jcea has quit [Quit: jcea]
01:50
adamholmberg has quit [Remote host closed the connection]
01:55
adamholmberg has joined #pypy
01:55
adamholmberg has quit [Remote host closed the connection]
02:03
adamholmberg has joined #pypy
02:03
adamholmberg has quit [Remote host closed the connection]
02:07
adamholmberg has joined #pypy
02:07
adamholmberg has quit [Remote host closed the connection]
02:09
adamholmberg has joined #pypy
02:10
adamholmberg has quit [Read error: Connection reset by peer]
02:10
adamholmberg has joined #pypy
02:10
adamholmberg has quit [Remote host closed the connection]
02:11
adamholmberg has joined #pypy
02:11
adamholmberg has quit [Remote host closed the connection]
02:11
adamholmberg has joined #pypy
02:11
adamholmberg has quit [Remote host closed the connection]
02:16
adamholmberg has joined #pypy
02:19
adamholmberg has quit [Remote host closed the connection]
02:20
adamholmberg has joined #pypy
02:23
adamholmberg has quit [Remote host closed the connection]
02:25
adamholmberg has joined #pypy
02:30
adamholmberg has quit [Ping timeout: 245 seconds]
02:35
mattip has joined #pypy
02:44
adamholmberg has joined #pypy
02:45
adamholmberg has quit [Remote host closed the connection]
02:46
andi- has quit [Remote host closed the connection]
02:50
adamholmberg has joined #pypy
02:51
adamholmberg has quit [Remote host closed the connection]
02:51
dddddd has quit [Remote host closed the connection]
02:55
andi- has joined #pypy
02:55
adamholmberg has joined #pypy
02:55
adamholmberg has quit [Remote host closed the connection]
03:01
adamholmberg has joined #pypy
03:01
adamholmberg has quit [Remote host closed the connection]
03:06
adamholmberg has joined #pypy
03:06
adamholmberg has quit [Remote host closed the connection]
03:12
adamholmberg has joined #pypy
03:12
adamholmberg has quit [Remote host closed the connection]
03:12
lritter has quit [Ping timeout: 272 seconds]
03:12
adamholmberg has joined #pypy
03:12
adamholmberg has quit [Remote host closed the connection]
03:13
adamholmberg has joined #pypy
03:13
adamholmberg has quit [Remote host closed the connection]
03:13
lritter has joined #pypy
03:13
adamholmberg has joined #pypy
03:13
adamholmberg has quit [Remote host closed the connection]
03:14
adamholmberg has joined #pypy
03:14
adamholmberg has quit [Remote host closed the connection]
03:16
adamholmberg has joined #pypy
03:17
adamholmberg has quit [Remote host closed the connection]
03:22
adamholmberg has joined #pypy
03:22
adamholmberg has quit [Remote host closed the connection]
03:25
adamholmberg has joined #pypy
03:25
adamholmberg has quit [Remote host closed the connection]
03:26
adamholmberg has joined #pypy
03:26
adamholmberg has quit [Remote host closed the connection]
03:27
adamholmberg has joined #pypy
03:29
adamholmberg has quit [Remote host closed the connection]
03:33
adamholmberg has joined #pypy
03:34
adamholmberg has quit [Remote host closed the connection]
03:38
lritter has quit [Quit: Leaving]
03:38
speeder39_ has joined #pypy
04:00
fling has quit [Ping timeout: 246 seconds]
04:38
adamholmberg has joined #pypy
04:39
adamholmberg has quit [Remote host closed the connection]
04:39
adamholmberg has joined #pypy
04:39
adamholmberg has quit [Remote host closed the connection]
05:07
forgottenone has joined #pypy
05:24
oberstet has joined #pypy
05:34
adamholmberg has joined #pypy
05:35
adamholmberg has quit [Remote host closed the connection]
05:35
adamholmberg has joined #pypy
05:40
adamholmberg has quit [Ping timeout: 258 seconds]
06:08
speeder39_ has quit [Quit: Connection closed for inactivity]
06:17
xcm has quit [Remote host closed the connection]
06:18
xcm has joined #pypy
06:22
forgottenone has quit [Quit: Konversation terminated!]
06:23
forgottenone has joined #pypy
06:36
forgottenone has quit [Quit: Konversation terminated!]
06:38
forgottenone has joined #pypy
06:41
forgottenone has quit [Client Quit]
06:42
forgottenone has joined #pypy
06:45
forgottenone has quit [Client Quit]
06:46
forgottenone has joined #pypy
06:46
forgottenone has quit [Client Quit]
07:16
xcm has quit [Remote host closed the connection]
07:18
xcm has joined #pypy
08:14
froztbyte has quit [Quit: Lost terminal]
09:09
froztbyte has joined #pypy
09:46
xcm has quit [Remote host closed the connection]
09:48
xcm has joined #pypy
09:56
<
cfbolz >
arigato: cffi question, how can I query the value of preprocessor defined integers?
09:56
<
cfbolz >
(also, hi :-) )
09:57
meredydd has quit [Remote host closed the connection]
10:07
antocuni has joined #pypy
10:17
xcm has quit [Killed (barjavel.freenode.net (Nickname regained by services))]
10:19
xcm has joined #pypy
10:28
antocuni has quit [Ping timeout: 258 seconds]
11:11
dddddd has joined #pypy
11:12
<
arigato >
cfbolz: just do ffi.cdef("""#define FOO ..."""), and then in the final lib, read it with lib.FOO
11:12
<
arigato >
(literally ``...`` here)
11:13
<
cfbolz >
arigato: right
11:13
<
cfbolz >
arigato: is it possible that it's not actually documented? or did I just not find it?
11:14
<
arigato >
it should be documented, a sec
11:44
xcm has quit [Remote host closed the connection]
11:46
xcm has joined #pypy
11:58
adamholmberg has joined #pypy
12:01
adamholmberg has quit [Remote host closed the connection]
12:03
adamholmberg has joined #pypy
12:18
antocuni has joined #pypy
12:42
Rhy0lite has joined #pypy
13:00
kanaka has quit [Ping timeout: 258 seconds]
13:03
kanaka has joined #pypy
13:48
oberstet has quit [Quit: Leaving]
13:49
<
arigato >
cfbolz: don't be sorry, this documentation is too terse and compact for its own good
13:50
<
cfbolz >
arigato: writing good documentation is hard
13:51
<
cfbolz >
arigato: I am writing a little c Library at the moment and using cffi and pytest to test it
13:52
<
cfbolz >
Using hypothesis to minimise segfaulting test cases by running them in a subprocess is quite awesome
13:53
<
Alex_Gaynor >
cfbolz: if it's a parser or something like that that takes a string as input, you might also enjoy libFuzzer, it's quite good
13:54
<
cfbolz >
Alex_Gaynor: good plan
14:01
kanaka has quit [Changing host]
14:01
kanaka has joined #pypy
14:03
<
krono >
hey. I need some advice. In an exposed primitive in my RPython vm, I want to make sure that all given arguments have a certain property (in my case, answer True to is_value).
14:04
<
krono >
What is the most jit-friendly way to do that? something along the lines of make_sure_not_resized would be cool but this seems the wrong level of abstraction
14:04
<
arigato >
antocuni: :-)
14:05
<
arigato >
krono: "assert is_value(x)" is what we usually do in RPython
14:06
<
arigato >
if computing is_value() is side-effect-free, then I think the JIT will remove it completely from the final traces but use the assertion while tracing
14:07
<
arigato >
(not completely sure about that)
14:07
<
krono >
arigato: thats my plan, but that'll be in a loop.
14:08
<
arigato >
try to use assert and look at the traces
14:08
<
arigato >
ah, that's still fine if "objects_w" is of reasonable length and fixed for a given trace
14:09
<
krono >
the first, most probably, the second surely not. should I specialize on the length?
14:10
<
arigato >
I mean, when the JIT is busy making a trace, it's going to assume the length is constant for this particular trace
14:10
<
krono >
whereas… I really should look at the traces first…
14:11
<
krono >
arigato: thank you.
14:11
<
arigato >
if that's not the case, maybe you want "if not we_are_jitted(): ...do some extra checks...", in this case the JIT will completely ignore the extra checks
14:12
<
krono >
something like that. makes sense, thanks
14:20
<
krono >
baa, I seem to need to raise an exception, the assert does not cut it
14:22
<
arigato >
note that RPython won't statically learn something like "it's a list of `ThisActualSubclass`" from doing "for x in lst: assert isinstance(x, ThisActualSubclass)"
14:26
<
xorAxAx >
that fact needs to be established before inserting the items into the list, right?
14:27
<
krono >
arigato: this list transitions from the "guestland" to "vm land" where I use the elements to initialize other objects
14:28
adamholmberg has quit [Remote host closed the connection]
14:28
<
krono >
I have to make sure that those objects are only filled with is_value() objects.
14:28
<
simpson >
def coerce(x): assert isinstance(x, MyClass); return x;; def foo(l): xs = [coerce(x) for x in l]
14:28
<
simpson >
Coerce the elements before building the list, so that RPython thinks that the list's contents are all of the desired type.
14:29
adamholmberg has joined #pypy
14:31
<
krono >
simpson: sounds good. sadly, I have a disjoint hierarchy…
14:31
<
simpson >
Hm. Dispatch on sum types, maybe? Not sure.
14:36
<
krono >
na, I have to work around that.
14:38
<
krono >
it looks like that: W_MyValue subclasses are is_value(), but also W_MyInteger and W_MyFloat, but none of other things in the Hierarchy. And i cannot easily metaprogrammatically change the superclass of W_MyInteger
14:38
marky1991 has quit [Ping timeout: 246 seconds]
14:38
<
krono >
(I have to monkey-patch in my stuff…)
15:21
<
mattip >
mjacob: EuroScipy is 2-6 Sept
15:22
<
mjacob >
mattip: good to know. not sure how big the overlap is, though.
15:23
<
mjacob >
mattip: except if we do a pypy sprint before or after the mercurial sprint ;)
15:27
<
mjacob >
mattip: nevermind the sentence about the overlap. i was misinterpreting your sentence a bit probably.
15:28
lritter has joined #pypy
15:53
abrown_ has joined #pypy
16:55
mattip has quit [Ping timeout: 244 seconds]
17:01
antocuni has quit [Ping timeout: 272 seconds]
17:10
mattip has joined #pypy
17:47
themsay has joined #pypy
18:34
themsay has quit [Ping timeout: 248 seconds]
18:57
Rhy0lite has quit [Quit: Leaving]
19:09
themsay has joined #pypy
19:16
themsay has quit [Ping timeout: 272 seconds]
19:18
exarkun has joined #pypy
19:26
exarkun has left #pypy ["WeeChat 2.4"]
19:35
themsay has joined #pypy
19:41
waldhar has joined #pypy
19:43
mattip has quit [Ping timeout: 245 seconds]
20:02
themsay has quit [Read error: Connection reset by peer]
20:03
themsay has joined #pypy
20:15
jacob22 has quit [Remote host closed the connection]
20:16
jacob22 has joined #pypy
20:22
speeder39_ has joined #pypy
20:37
fling has joined #pypy
20:44
themsay has quit [Read error: Connection reset by peer]
20:46
themsay has joined #pypy
20:50
themsay has quit [Ping timeout: 248 seconds]
20:58
pamplemo1sse has joined #pypy
20:58
themsay has joined #pypy
21:00
<
pamplemo1sse >
trying to build pypy3 locally on NixOS, I am hitting a test failure: "FAIL: test_load_default_certs_env (test.test_ssl.ContextTests)"
21:01
<
pamplemo1sse >
is something broken?
21:36
themsay has quit [Ping timeout: 245 seconds]
22:05
themsay has joined #pypy
22:46
pamplemo1sse has quit [Ping timeout: 272 seconds]
22:48
jcea has joined #pypy
22:53
jcea has quit [Remote host closed the connection]
23:12
speeder39_ has quit [Quit: Connection closed for inactivity]
23:14
pamplemousse has joined #pypy
23:23
dddddd has quit [Remote host closed the connection]
23:24
adamholmberg has quit [Remote host closed the connection]
23:24
adamholmberg has joined #pypy
23:25
adamholmberg has quit [Remote host closed the connection]
23:25
abrown_ has quit [Ping timeout: 258 seconds]
23:25
adamholmberg has joined #pypy
23:25
adamholmberg has quit [Remote host closed the connection]
23:29
adamholmberg has joined #pypy
23:29
adamholmberg has quit [Remote host closed the connection]
23:29
adamholmberg has joined #pypy
23:29
adamholmberg has quit [Remote host closed the connection]
23:30
adamholmberg has joined #pypy
23:30
adamholmberg has quit [Remote host closed the connection]
23:31
adamholmberg has joined #pypy
23:31
adamholmberg has quit [Remote host closed the connection]
23:31
adamholmberg has joined #pypy
23:32
adamholmberg has quit [Remote host closed the connection]
23:32
adamholmberg has joined #pypy
23:33
adamholmberg has quit [Remote host closed the connection]
23:33
adamholmberg has joined #pypy
23:33
adamholmberg has quit [Remote host closed the connection]
23:34
adamholmberg has joined #pypy
23:34
adamholmberg has quit [Remote host closed the connection]
23:34
adamholmberg has joined #pypy
23:35
adamholmberg has quit [Remote host closed the connection]
23:35
adamholmberg has joined #pypy
23:36
adamholmberg has quit [Remote host closed the connection]
23:36
adamholmberg has joined #pypy
23:37
adamholmberg has quit [Remote host closed the connection]
23:43
adamholmberg has joined #pypy
23:43
adamholmberg has quit [Remote host closed the connection]
23:44
adamholmberg has joined #pypy
23:45
adamholmberg has quit [Remote host closed the connection]
23:45
adamholmberg has joined #pypy
23:46
adamholmberg has quit [Remote host closed the connection]
23:46
adamholmberg has joined #pypy
23:47
adamholmberg has quit [Remote host closed the connection]
23:49
adamholmberg has joined #pypy
23:49
adamholmberg has quit [Remote host closed the connection]
23:53
adamholmberg has joined #pypy
23:53
adamholmberg has quit [Remote host closed the connection]
23:53
adamholmberg has joined #pypy
23:53
adamholmberg has quit [Remote host closed the connection]
23:54
adamholmberg has joined #pypy
23:54
adamholmberg has quit [Remote host closed the connection]
23:55
adamholmberg has joined #pypy
23:55
adamholmberg has quit [Remote host closed the connection]
23:55
adamholmberg has joined #pypy
23:56
adamholmberg has quit [Remote host closed the connection]
23:56
adamholmberg has joined #pypy
23:56
adamholmberg has quit [Remote host closed the connection]
23:56
adamholmberg has joined #pypy