|
|
| 1. | | Athena: A Programming Language for Proof Engineering and Natural Deduction (athena-lang.org) | |
2 points by fastneutron 85 days ago | past
|
|
| 2. | | Wireless electrical–molecular quantum signalling for cancer cell apoptosis (nature.com) | |
2 points by fastneutron on Sept 15, 2023 | past | 1 comment
|
|
| 3. | | Project Prometheus – Nuclear Electric Spacecraft (2005) (osti.gov) | |
1 point by fastneutron on Aug 12, 2023 | past
|
|
| 4. | | The Quantum State of Affairs (nature.com) | |
2 points by fastneutron on May 28, 2023 | past | 1 comment
|
|
| 5. | | Simulation Intelligence: Towards a New Generation of Scientific Methods (2022) (arxiv.org) | |
133 points by fastneutron on Jan 19, 2023 | past | 25 comments
|
|
| 6. | | Maximum Entropy and Bayes (2018) (risingentropy.com) | |
1 point by fastneutron on Oct 21, 2022 | past
|
|
| 7. | | Surrogates: Gaussian Process Modeling, Design, and Optimization (gramacy.com) | |
1 point by fastneutron on Oct 9, 2022 | past | 1 comment
|
|
| 8. | | The United States Naval Nuclear Propulsion Program [pdf] (energy.gov) | |
3 points by fastneutron on Aug 13, 2022 | past | 2 comments
|
|
| 9. | | Ask HN: Who wants to collaborate? (July 2022) | |
3 points by fastneutron on July 2, 2022 | past | 3 comments
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
