| 1. | | For algorithms, a little memory outweighs a lot of time (quantamagazine.org) |
|
343 points by makira 22 days ago | past | 139 comments
|
|
| 2. | | Trump selects Isaacman to be NASA administrator (spacenews.com) |
|
5 points by makira 6 months ago | past
|
|
| 3. | | Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf] (martincarlisle.com) |
|
38 points by makira on March 28, 2024 | past | 1 comment
|
|
| 4. | | Show HN: ChaCha20nosat, a symmetric cipher that resists being put into SAT form (kilncore.space) |
|
1 point by makira on Sept 25, 2023 | past
|
|
| 5. | | Meteor goes through Quebec sky (journaldemontreal.com) |
|
2 points by makira on July 1, 2023 | past
|
|
| 6. | | To help Ukraine, Google rolls out “Air Raid Alerts” system for Android (arstechnica.com) |
|
5 points by makira on March 11, 2022 | past
|
|
| 7. | | With Mars Methane Mystery Unsolved, Curiosity Serves Scientists a New One:Oxygen (nasa.gov) |
|
3 points by makira on Nov 13, 2019 | past
|
|
| 8. | | The Sun Is Stranger Than Astrophysicists Imagined (quantamagazine.org) |
|
3 points by makira on May 6, 2019 | past
|
|
| 9. | | Galactic ghosts: Gaia uncovers major event in the formation of the Milky Way (esa.int) |
|
3 points by makira on Nov 3, 2018 | past
|
|
| 10. | | Neutrino observation points to one source of high-energy cosmic rays (nsf.gov) |
|
3 points by makira on July 12, 2018 | past
|
|
| 11. | | New antibiotic family discovered in dirt (bbc.com) |
|
1 point by makira on Feb 13, 2018 | past
|
|
| 12. | | Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf] (martincarlisle.com) |
|
2 points by makira on July 1, 2013 | past
|
|
| 13. | | NASA International Space Station Longeron Marathon Challenge (topcoder.com) |
|
3 points by makira on Jan 18, 2013 | past
|
|
| 14. | | Ask HN: Where to buy/sell mac apps (code/sales rights)? |
|
1 point by makira on Jan 15, 2013 | past | 3 comments
|
|
| 15. | | Show HN: Souvenir, a nicer way to look at photos on your iPad. |
|
1 point by makira on March 20, 2012 | past
|
|
