| 1. | | Solving Battleships with SAT (kmkeen.com) |
|
1 point by keenerd on Feb 24, 2018 | past
|
|
| 2. | | The HP-35 Design: A Case Study in Innovation (2011) [pdf] (computerhistory.org) |
|
79 points by keenerd on Nov 26, 2017 | past | 15 comments
|
|
| 3. | | Are Black Hole Starships Possible (2009) [pdf] (arxiv.org) |
|
2 points by keenerd on Oct 14, 2016 | past
|
|
| 4. | | Space Law and Space Resources (nss.org) |
|
1 point by keenerd on Aug 20, 2016 | past
|
|
| 5. | | The model III system expander (M3SE) project (bartlettlabs.com) |
|
1 point by keenerd on Aug 3, 2016 | past
|
|
| 6. | | Titan II Missile Explosion (1980) (encyclopediaofarkansas.net) |
|
2 points by keenerd on July 21, 2016 | past
|
|
| 7. | | Maintainers Matter: The case against upstream packaging (kmkeen.com) |
|
132 points by keenerd on June 15, 2016 | past | 95 comments
|
|
| 8. | | How hijackers commandeered over 130 American planes (2013) (wired.com) |
|
1 point by keenerd on June 14, 2016 | past
|
|
| 9. | | GZ-Sort: A utility for sorting really big files (kmkeen.com) |
|
2 points by keenerd on Feb 10, 2016 | past
|
|
| 10. | | What Is the Name of This Book? (archive.org) |
|
3 points by keenerd on July 6, 2015 | past | 1 comment
|
|
| 11. | | Airship to Orbit: Cheap, Bulk, Safe Access to Space (2004) [pdf] (jpaerospace.com) |
|
1 point by keenerd on April 15, 2015 | past
|
|
| 12. | | Linear Programming Part 1: Formulation and Modeling (2006) [pdf] (nd.edu) |
|
2 points by keenerd on April 14, 2015 | past
|
|
| 13. | | Free Universal Construction Kit (fffff.at) |
|
3 points by keenerd on March 15, 2015 | past
|
|
| 14. | | Valveless Pulsejet Engines 1.5 (pulse-jets.com) |
|
2 points by keenerd on March 2, 2015 | past
|
|
| 15. | | Valveless Pulsejet Engines 1.5 (pulse-jets.com) |
|
1 point by keenerd on March 2, 2015 | past
|
|
| 16. | | Valveless Pulsejet Engines 1.5 (pulse-jets.com) |
|
5 points by keenerd on March 2, 2015 | past | 1 comment
|
|
| 17. | | 31c3 videos are up (ccc.de) |
|
73 points by keenerd on Dec 29, 2014 | past | 14 comments
|
|
| 18. | | Study of Educational Impact of Lego LOGO Dacta (1999) [pdf] (lego.com) |
|
1 point by keenerd on Dec 26, 2014 | past
|
|
| 19. | | Metapuzzles: Reducing SAT to your favorite puzzle (2007) [pdf] (umass.edu) |
|
4 points by keenerd on Nov 5, 2014 | past
|
|
| 20. | | Excuse Me Sir, Would You Like to Buy a Kilo of Isopropyl Bromide? (1977) [pdf] (sciencemadness.org) |
|
89 points by keenerd on Oct 30, 2014 | past | 6 comments
|
|
| 21. | | Show HN: Featuritis, a new model for FOSS fundraising (github.com/keenerd) |
|
2 points by keenerd on Aug 15, 2014 | past
|
|
| 22. | | A new approach to FOSS crowdfunding (kmkeen.com) |
|
4 points by keenerd on Aug 2, 2014 | past
|
|
| 23. | | A Month of RTL-SDR: IndieGoGo Progress Report (kmkeen.com) |
|
5 points by keenerd on Aug 1, 2014 | past
|
|
| 24. | | 2014 ICFP begins in under 30 minutes (icfpcontest.org) |
|
2 points by keenerd on July 25, 2014 | past
|
|
| 25. | | Local Euler: Now with all 476 puzzles and images (kmkeen.com) |
|
75 points by keenerd on June 29, 2014 | past | 12 comments
|
|
| 26. | | Local Euler (flat text mirror of PE) updated with all puzzles and images (kmkeen.com) |
|
1 point by keenerd on June 29, 2014 | past | 1 comment
|
|
| 27. | | Implications of the Copernican principle for our future prospects (1993) [pdf] (stanford.edu) |
|
15 points by keenerd on May 10, 2014 | past | 3 comments
|
|
| 28. | | An introduction to thinking declaratively and Boolean Satisfaction (kmkeen.com) |
|
1 point by keenerd on April 12, 2014 | past
|
|
| 29. | | Practical use of SAT (kmkeen.com) |
|
3 points by keenerd on Sept 16, 2013 | past
|
|
| 30. | | Academy of Motion Pictures report on LED lighting in film (oscars.org) |
|
3 points by keenerd on April 25, 2013 | past
|
|
|
|
More |
