makira 的提交内容

For algorithms, a little memory outweighs a lot of time

Trump selects Isaacman to be NASA administrator

Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]

Show HN: ChaCha20nosat, a symmetric cipher that resists being put into SAT form

Meteor goes through Quebec sky

To help Ukraine, Google rolls out “Air Raid Alerts” system for Android

With Mars Methane Mystery Unsolved, Curiosity Serves Scientists a New One:Oxygen

The Sun Is Stranger Than Astrophysicists Imagined

Galactic ghosts: Gaia uncovers major event in the formation of the Milky Way

Neutrino observation points to one source of high-energy cosmic rays

New antibiotic family discovered in dirt