31. | | Space Engine (spaceengine.org) |
|
607 points by tosh on July 22, 2019 | 111 comments
|
32. | | Modern SAT solvers: fast, neat and underused (codingnest.com) |
|
465 points by kachnuv_ocasek on May 19, 2019 | 118 comments
|
33. | | Ultra-Time-Efficient Exercise Lowers Blood Pressure, Boosts Brain Function (sci-news.com) |
|
149 points by scottie_m on April 10, 2019 | 43 comments
|
34. | | Using a Yubikey as smartcard for SSH public key authentication (undeadly.org) |
|
317 points by sverige on April 3, 2019 | 84 comments
|
35. | | Sonic: Fast, lightweight and schemaless search back end in Rust (github.com/valeriansaliou) |
|
238 points by louis-paul on March 23, 2019 | 39 comments
|
36. | | Show HN: Tile38 – Realtime geofencing and geospatial index (github.com/tidwall) |
|
130 points by tidwall on March 4, 2019 | 24 comments
|
37. | | Programming the Z3 SMT solver (stanford.edu) |
|
251 points by pplonski86 on Feb 6, 2019 | 53 comments
|
38. | | MIT Hacker Tools: a lecture series on programmer tools (hacker-tools.github.io) |
|
1028 points by anishathalye on Feb 4, 2019 | 79 comments
|
39. | | Z.lua – A new cd command that navigates faster by learning your habits (github.com/skywind3000) |
|
163 points by skywind3000 on Feb 4, 2019 | 58 comments
|
40. | | Dotfile madness (0x46.net) |
|
1146 points by boreq on Feb 2, 2019 | 514 comments
|
41. | | Makefiles – Best Practices (danyspin97.org) |
|
315 points by lelf on Feb 1, 2019 | 126 comments
|
42. | | A command-line installer for Windows (scoop.sh) |
|
120 points by anuragsoni on Jan 22, 2019 | 96 comments
|
43. | | Show HN: Musish – Web client for Apple Music (musi.sh) |
|
141 points by pplonski86 on Jan 18, 2019 | 63 comments
|
44. | | Non-Euclidean Worlds Engine [video] (youtube.com) |
|
234 points by garis on Jan 2, 2019 | 50 comments
|
45. | | Inter UI, a typeface designed for user interfaces (rsms.me) |
|
664 points by dsego on Dec 29, 2018 | 92 comments
|
46. | | Hammerspoon – Powerful automation of OS X with Lua (hammerspoon.org) |
|
266 points by weitzj on July 14, 2016 | 122 comments
|
47. | | FireHOL – Linux firewalling and traffic shaping for humans (firehol.org) |
|
123 points by trizic on Dec 8, 2018 | 23 comments
|
48. | | Ask HN: Best Command-Line Applications? |
|
634 points by jaydouken on Nov 19, 2018 | 385 comments
|
49. | | Hello P5.js Web Editor (medium.com/processing-foundation) |
|
194 points by juliendorra on Oct 21, 2018 | 24 comments
|
50. | | Evergreen: a React UI Framework built by Segment (segment.com) |
|
593 points by ggregoire on Oct 17, 2018 | 296 comments
|
51. | | Show HN: Tableau-Like Data Visualizations in JavaScript (charts.com) |
|
361 points by pallavn on Oct 11, 2018 | 114 comments
|
52. | | Home Assistant: Open-source home automation platform running on Python 3 (home-assistant.io) |
|
540 points by fanf2 on Aug 23, 2018 | 196 comments
|
53. | | FxSolver – A solver for engineering and scientific equations (fxsolver.com) |
|
231 points by jerrytee on Aug 5, 2018 | 67 comments
|
54. | | Ask HN: Recommendations on books and documentaries on tech companies/people? |
|
190 points by __exit__ on June 1, 2018 | 111 comments
|
55. | | Youtube-dl: Command-line program to download videos (github.com/rg3) |
|
581 points by axiomdata316 on July 4, 2018 | 248 comments
|
56. | | Pain27 keyboard (github.com/uuupah) |
|
98 points by sodapopcan on June 25, 2018 | 82 comments
|
57. | | TextQL: Execute SQL Against CSV or TSV (github.com/dinedal) |
|
658 points by TAForObvReasons on April 7, 2018 | 91 comments
|
58. | | Show HN: Themer – a CLI for generating themes for all your tools (github.com/mjswensen) |
|
135 points by mjswensen on Dec 28, 2017 | 26 comments
|
59. | | DevDocs API Documentation (devdocs.io) |
|
1239 points by nieksa on Oct 19, 2017 | 141 comments
|
60. | | John Carmack Archive – Interviews [pdf] (fabiensanglard.net) |
|
240 points by Arjuna on June 29, 2017 | 61 comments
|
|
|
More |