Apr. 29th, 2017

* * *

Apr. 29th, 2017 12:39 pm
bamalip: (Default)
анимированная сортировка в прошлом. доказательства на любой вкус в броузере.

http://us.metamath.org/

Metamath Proof Explorer: A Modern Principia Mathematica

* * *

Apr. 29th, 2017 05:20 pm
bamalip: (Default)
захотелось мне запустить debian для MIPS под QEMU, поскольку компилироваться на роутере - это то еще удовольствие. а инструкции по установке гугл предлагает мне читать в блоге https://functor.tokyo/blog/2015-08-14-debian-mips с чудесным доменом и подзаголовком "category theory and other fun things". мир местами прекрасен.

только там старые ссылки, новый дебиан вот http://mipsdistros.imgtec.com/debian/qemu/

Profile

bamalip: (Default)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:43 pm
Powered by Dreamwidth Studios