Oleg Zabluda's blog
Wednesday, February 21, 2018
 
DeepMath - Deep Sequence Models for Premise Selection (1016) Alex A.
DeepMath - Deep Sequence Models for Premise Selection (1016) Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban
"""
We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics. We propose a two stage approach for this task that yields good results for the premise selection task on the Mizar corpus while avoiding the hand-engineered features of existing state-of-the-art models. To our knowledge, this is the first time deep learning has been applied to theorem proving on a large scale.
"""
https://arxiv.org/abs/1606.04442

https://arxiv.org/abs/1606.04442

Labels:


- posted by Oleg Zabluda @ 11:37 AM | permalink | | | technorati | bloglines | feedster
 
Leaning tower of NASA
Leaning tower of NASA
"""
from the tower's inception in 2009, NASA will have spent $912 million on the mobile launcher
"""
https://arstechnica.com/science/2018/02/nasa-spends-1-billion-for-a-launch-tower-that-leans-may-only-be-used-once/
https://arstechnica.com/science/2018/02/nasa-spends-1-billion-for-a-launch-tower-that-leans-may-only-be-used-once/

Labels:


- posted by Oleg Zabluda @ 8:47 AM | permalink | | | technorati | bloglines | feedster
 
SpaceX scrubs Falcon 9 PAZ launch with Starlink demo and new fairing – NASASpaceFlight.com

"""
SpaceX Fairing 2.0 [...] has an estimated cost of about six million dollars
[...]
As the fairing halves descend, they will deploy parachutes [...] and guide themselves towards a recovery boat [...] named Mr. Steven, was outfitted with four large metal arms for recovery operations, which Elon Musk described as a “giant catcher’s mitt”.
[...]
The Paz satellite has a mass at launch of 1,341 kilograms [...] was originally to have been launched by [...] a Dnepr rocket [...] The fallout from Russia’s 2014 military intervention in Ukraine and its annexation of Crimea led to planned Dnepr launches being delayed and now Dnepr looks unlikely ever to fly again.
[...]
Paz will be joined aboard Falcon 9 by MicroSat-2a and 2b, a pair of 400-kilogram demonstration satellites for SpaceX’s planned Starlink internet constellation. The satellites are the first prototypes in a fleet which may consist of up to 12,000 spacecraft. [...] to help provide high-speed broadband internet access around the world.
[...]
The Starlink constellation will consist of Ka- and Ku-band satellites orbiting at an altitude around 1,200 kilometers and V-band satellites orbiting considerably lower – at around 340 kilometers. SpaceX aims to have Starlink fully operational by 2024, with the final operational constellation expected to contain 4,425 satellites across 83 planes in the higher orbit, with a further 7,518 satellites in the lower orbits.
"""
https://www.nasaspaceflight.com/2018/02/spacex-falcon-9-paz-launch-starlink-demo-new-fairing/
https://www.nasaspaceflight.com/2018/02/spacex-falcon-9-paz-launch-starlink-demo-new-fairing/

Labels:


- posted by Oleg Zabluda @ 8:23 AM | permalink | | | technorati | bloglines | feedster
 
Актриска-моделька
Актриска-моделька
На пробы ходила
Блядью не была:
Этому дала,
Этому дала,
А этому не дала.

(C) Oleg Zabluda Feb 20, 2018.

Labels:


- posted by Oleg Zabluda @ 8:14 AM | permalink | | | technorati | bloglines | feedster
 
"""
"""
будущего нет.
Так говорят лингвисты:
Будущего нет.
Хоть тыквой подавись ты,
Будущего нет.
"""
https://www.youtube.com/watch?v=Rjz7gjUpaiI
https://www.youtube.com/watch?v=Rjz7gjUpaiI

Labels:


- posted by Oleg Zabluda @ 8:10 AM | permalink | | | technorati | bloglines | feedster

Powered by Blogger