arigato changed the topic of #pypy to: PyPy, the flexible snake (IRC logs: https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end ) | use cffi for calling C | mac OS and Fedora are not Windows
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
wleslie has joined #pypy
mattip has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
mattip has quit [Ping timeout: 272 seconds]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Read error: Connection reset by peer]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
abrown_ has quit [Ping timeout: 244 seconds]
xcm has quit [Remote host closed the connection]
xcm has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
xcm has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
xcm has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
jcea has quit [Quit: jcea]
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Read error: Connection reset by peer]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Ping timeout: 245 seconds]
mattip has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
andi- has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
dddddd has quit [Remote host closed the connection]
andi- has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
lritter has quit [Ping timeout: 272 seconds]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
lritter has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
lritter has quit [Quit: Leaving]
speeder39_ has joined #pypy
fling has quit [Ping timeout: 246 seconds]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
forgottenone has joined #pypy
oberstet has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Ping timeout: 258 seconds]
speeder39_ has quit [Quit: Connection closed for inactivity]
xcm has quit [Remote host closed the connection]
xcm has joined #pypy
forgottenone has quit [Quit: Konversation terminated!]
forgottenone has joined #pypy
forgottenone has quit [Quit: Konversation terminated!]
forgottenone has joined #pypy
forgottenone has quit [Client Quit]
forgottenone has joined #pypy
forgottenone has quit [Client Quit]
forgottenone has joined #pypy
forgottenone has quit [Client Quit]
xcm has quit [Remote host closed the connection]
xcm has joined #pypy
froztbyte has quit [Quit: Lost terminal]
froztbyte has joined #pypy
xcm has quit [Remote host closed the connection]
xcm has joined #pypy
<cfbolz> arigato: cffi question, how can I query the value of preprocessor defined integers?
<cfbolz> (also, hi :-) )
meredydd has quit [Remote host closed the connection]
antocuni has joined #pypy
xcm has quit [Killed (barjavel.freenode.net (Nickname regained by services))]
xcm has joined #pypy
antocuni has quit [Ping timeout: 258 seconds]
dddddd has joined #pypy
<arigato> cfbolz: just do ffi.cdef("""#define FOO ..."""), and then in the final lib, read it with lib.FOO
<arigato> (literally ``...`` here)
<cfbolz> arigato: right
<cfbolz> arigato: is it possible that it's not actually documented? or did I just not find it?
<arigato> it should be documented, a sec
<arigato> https://cffi.readthedocs.io/en/latest/cdef.html, search for "integer constants and macros"
<cfbolz> ok, sorry
xcm has quit [Remote host closed the connection]
xcm has joined #pypy
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
antocuni has joined #pypy
Rhy0lite has joined #pypy
kanaka has quit [Ping timeout: 258 seconds]
kanaka has joined #pypy
oberstet has quit [Quit: Leaving]
<arigato> cfbolz: don't be sorry, this documentation is too terse and compact for its own good
<cfbolz> arigato: writing good documentation is hard
<cfbolz> arigato: I am writing a little c Library at the moment and using cffi and pytest to test it
<cfbolz> Using hypothesis to minimise segfaulting test cases by running them in a subprocess is quite awesome
<arigato> :-)
<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
<cfbolz> Alex_Gaynor: good plan
<antocuni> it seems that EP's photographers has captured one of the starting moments of the pyhandle idea :) https://www.flickr.com/photos/146052955@N06/48263222932/in/album-72157709591018892/
kanaka has quit [Changing host]
kanaka has joined #pypy
<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).
<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
<arigato> antocuni: :-)
<arigato> krono: "assert is_value(x)" is what we usually do in RPython
<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
<arigato> (not completely sure about that)
<krono> arigato: thats my plan, but that'll be in a loop.
<arigato> try to use assert and look at the traces
<arigato> ah, that's still fine if "objects_w" is of reasonable length and fixed for a given trace
<krono> the first, most probably, the second surely not. should I specialize on the length?
<arigato> I mean, when the JIT is busy making a trace, it's going to assume the length is constant for this particular trace
<krono> whereas… I really should look at the traces first…
<krono> arigato: thank you.
<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
<krono> something like that. makes sense, thanks
<krono> baa, I seem to need to raise an exception, the assert does not cut it
<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)"
<xorAxAx> that fact needs to be established before inserting the items into the list, right?
<krono> arigato: this list transitions from the "guestland" to "vm land" where I use the elements to initialize other objects
adamholmberg has quit [Remote host closed the connection]
<krono> I have to make sure that those objects are only filled with is_value() objects.
<simpson> def coerce(x): assert isinstance(x, MyClass); return x;; def foo(l): xs = [coerce(x) for x in l]
<simpson> Coerce the elements before building the list, so that RPython thinks that the list's contents are all of the desired type.
adamholmberg has joined #pypy
<krono> simpson: sounds good. sadly, I have a disjoint hierarchy…
<simpson> Hm. Dispatch on sum types, maybe? Not sure.
<krono> na, I have to work around that.
<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
<krono> or can I?
marky1991 has quit [Ping timeout: 246 seconds]
<krono> (I have to monkey-patch in my stuff…)
<mjacob> if someone is interested in a mercurial sprint in leipzig: https://framadate.org/jIs6Idj4r8tldJKZ
<mattip> mjacob: EuroScipy is 2-6 Sept
<mjacob> mattip: good to know. not sure how big the overlap is, though.
<mjacob> mattip: except if we do a pypy sprint before or after the mercurial sprint ;)
<mjacob> mattip: nevermind the sentence about the overlap. i was misinterpreting your sentence a bit probably.
lritter has joined #pypy
abrown_ has joined #pypy
mattip has quit [Ping timeout: 244 seconds]
antocuni has quit [Ping timeout: 272 seconds]
mattip has joined #pypy
themsay has joined #pypy
themsay has quit [Ping timeout: 248 seconds]
Rhy0lite has quit [Quit: Leaving]
themsay has joined #pypy
themsay has quit [Ping timeout: 272 seconds]
exarkun has joined #pypy
exarkun has left #pypy ["WeeChat 2.4"]
waldhar has quit [Quit: ZNC 1.7.4 - https://znc.in]
themsay has joined #pypy
waldhar has joined #pypy
mattip has quit [Ping timeout: 245 seconds]
themsay has quit [Read error: Connection reset by peer]
themsay has joined #pypy
jacob22 has quit [Remote host closed the connection]
jacob22 has joined #pypy
speeder39_ has joined #pypy
fling has joined #pypy
themsay has quit [Read error: Connection reset by peer]
themsay has joined #pypy
themsay has quit [Ping timeout: 248 seconds]
pamplemo1sse has joined #pypy
themsay has joined #pypy
<pamplemo1sse> trying to build pypy3 locally on NixOS, I am hitting a test failure: "FAIL: test_load_default_certs_env (test.test_ssl.ContextTests)"
<pamplemo1sse> is something broken?
themsay has quit [Ping timeout: 245 seconds]
themsay has joined #pypy
pamplemo1sse has quit [Ping timeout: 272 seconds]
jcea has joined #pypy
jcea has quit [Remote host closed the connection]
speeder39_ has quit [Quit: Connection closed for inactivity]
pamplemousse has joined #pypy
dddddd has quit [Remote host closed the connection]
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
abrown_ has quit [Ping timeout: 258 seconds]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy