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)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23 2425 26 27 2829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 29th, 2017 11:54 am
Powered by Dreamwidth Studios