j123123

Предлагаю добавить фичу, чтоб можно было свой тред передавать

2

https://bnw.im/p/OGXSTW#MNW вот например тут комар мне говорит "съеби" и объявляет мой тред своим. Предлагаю добавить такую фичу, чтоб я действительно мог свой тред передать другому пользователю бнв, и чтоб он...

Скриншот: 

MZ aaaa bug (some memory error)

2

radare2 1.5.0-git 14625 @ linux-x86-64 git.1.4.0-74-gd2fd4c6 commit: d2fd4c6727bafadeb480955e073e8ad9fa412570 build: 2017-04-30__13:31:00 [BINARY.EXE.zip](https://github.com/radare/radare2/files/977188/BINARY.EXE.zip) - compiled binary [radarebug_valgrind.txt](https://github.com/radare/radare2/files/977195/radarebug_valgrind.txt) - valgrind error [SOURCE.TXT](https://github.com/radare/radare2/files/977211/SOURCE.TXT) - asm source code 

stack_push_str() can make unaligned stack pointer

1

function is at https://github.com/embox/embox/blob/6734215ff57407b57a4c4bf6bf26e90196ef3c75/src/lib/exec/exec.c#L55 If this function used to push argument in newly created process (argc, argv, envp stuff), this can lead to an unaligned stack in program, and then...

https://github.com/kamalmostafa/minimodem/blob/bb2f34cf5148f101563aa926e201d306edbacbd3/src/minimodem.c#L865

Сборка под DOS с помошью DJGPP

8

Я попытался собрать данный компилятор Рефала под DOS используя DJGPP - компиляция останавливается на этапе генерации srefc-core.exe файл ``rasl-appender\_rasl-appender.exe`` успешно компилируется сборочным скриптом, но с таким именем он почему-то не...

Using SMT-prover to generate proof

3

It is possible to implement Hilbert-style deduction system in SMT language and then get the proof. Here is an example in attachment. [Hilbert_system.txt](https://github.com/digama0/mm0/files/6396050/Hilbert_system.txt) I encoded axiom from Metamath http://us.metamath.org/ileuni/ax-1.html http://us.metamath.org/ileuni/ax-2.html...

Auto-aiming with the cursed disintegration wand (if it is known to be cursed) suggests that the shot can go through walls  In this particular case, when I try to...

And maybe same thing with "dread" debuff, not tested.