Stories by 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

The fine-structure constant is 137.757257638721699

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

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

NASA International Space Station Longeron Marathon Challenge

Ask HN: Where to buy/sell mac apps (code/sales rights)?

Show HN: Souvenir, a nicer way to look at photos on your iPad.