cfbolz changed the topic of #pypy to: #pypy PyPy, the flexible snake https://pypy.org | IRC logs: https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end and https://libera.irclog.whitequark.org/pypy | the pypy angle is to shrug and copy the implementation of CPython as closely as possible, and staying out of design decisions
jcea has quit [Remote host closed the connection]
dmalcolm_ has joined #pypy
dmalcolm__ has quit [Ping timeout: 252 seconds]
[Arfrever] has quit [Ping timeout: 248 seconds]
[Arfrever] has joined #pypy
Dagger has quit [Ping timeout: 265 seconds]
pbsds3 has quit [Quit: The Lounge - https://thelounge.chat]
Dagger has joined #pypy
pbsds3 has joined #pypy
<larstiq_> korvo: I would appreciate reading about what you're doing :)
jinsun has joined #pypy
<cfbolz> arigato: yeah, your comment on the blog is a good question. I cargo-culted the check y.known_ge_const(0) and y.known_le_const(LONG_BIT) part from the non-dsl version of the code
<cfbolz> eg the metainterp/blackhole consider it undefined to shift by something negative or large and raise an assertion
<cfbolz> but I don't model being undefined in the z3 proofs yet, so I'll have to think a bit more carefully about the whole area
jcea has joined #pypy
jcea has quit [Ping timeout: 248 seconds]
glyph has quit [Remote host closed the connection]
glyph has joined #pypy
jinsun has quit [Ping timeout: 260 seconds]
<korvo> nimaje: I'll start doing the required research. It might be underwhelming at first. /join #esolangs for Brainfuck conversations and progress reports.
<korvo> larstiq_: I'll draft something today.
<larstiq_> cheers, I'm turning in for the day
<korvo> Peace.
jcea has joined #pypy