Hacker News new | past | comments | ask | show | jobs | submit | more aljones's favorites login
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: