Jul. 7th, 2017

* * *

Jul. 7th, 2017 11:00 am
bamalip: (Default)
https://github.com/Kha/electrolysis
A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.

* * *

Jul. 7th, 2017 07:54 pm
bamalip: (Default)
вот еще Qubes-OS как раз дошла до почти-RC очередной версии
https://groups.google.com/forum/#!topic/qubes-devel/SYDnEdLBVu4
(на самом деле далеко до RC, судя по описанным багам)

но у них Xen+Fedora и соответственно systemd :(

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 1920212223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 01:51 am
Powered by Dreamwidth Studios