robryk @robryk@qoto.org

@kuba "z herbatą, w propocji 1:100 kawy do herbaty"

@typeswitch IMO it'd be better if they had boolean expressions over bits that have to be satisfied. That would also handle various weird bit-packing and assurances of divisibility by a constant.

@regehr

Yeah, both of these versions implemented an instrument count limit in some form. The pintool-based one had pin rewrite (valgrind-style) the program so that each basic block incremented some counter. The new one seemingly uses performance counters to count (which is probably not exact in some silly way -- e.g. I would expect there to be some slop around context switching).

(I'm somewhat surprised they still use instruction counting, given that it caused very unrealistic handling of any cache effects.)

@regehr

But that's probably not actually deterministic enough for you~

@regehr

Ah, it seems that the new version also has some such functionality, but seemingly using perf counters: https://github.com/sio2project/sio2jail/tree/master/src/perf

@regehr
Polish Olympiad in Informatics used to do something like this for already-compiled programs using Intel's pintools. Sadly, I can't find sources for the thing (for some reason there was a separate repository with binaries and all the scripts given to contestants, which I did find at https://github.com/olimpiada/oitimetool-bin).

@aleksorsist

Do these parts look different than the dust attracting ones?

@delroth that usually happens at 3am though (I guess because usually no one is looking at the clock and because you need to do it then for DST sometimes)

I just saw a different version of righty-tighty-lefty-loosey: left-liberates-right-restricts.

@timmy @whitequark

I think the mechanism of extortion there was different. If a leader of organization X that competes with Y is trying to get hired by Y, this suggests that they don't have faith in X.

@8petros Klub 44M i 44F też, co ciekawsze nadal akceptują rozwiązania przysyłane pocztą.

@whitequark

You can add a piece of belt that reports its contents and have the thing converge even if someone surreptitiously adds/removes stuff from the belt. (Add something that's morally equivalent to `science_x_mem <= (1-eps)*science_x_mem + eps*belt_length/sensor_belt_length*belt_sensor_report)`.)

@patcharcana

So it should be .pl.com instead of .com.pl?

@munin

Similarly, is useful to avoid "should".

@rcz @kuba

O, tutaj mówią że zwolnienie było spowodowane "nie tylko" tym 'eksperymentem', a w odpowiedzi podlinkowane w wątku obok twierdzą że między dwoma nie ma związku.