jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Sweden becomes the first country to reject low-fat diet dogma
http://healthimpactnews.com/2013/sweden-becomes-first-western-nation-to-reject-low-fat-diet-dogma-in-favor-of-low-carb-high-fat-nutrition/
Node.js Deployments with Docker, Dokku, and Digital Ocean
https://medium.com/code-adventures/438bce155dcb
An Integration Loop
https://www.robinsloan.com/notes/integration-loop/
Thank you pg and rtm
http://catdancer.github.com/thank-you.html
Show HN: Welder – Record high-quality remote interviews
https://www.getwelder.com/
The DJB Legacy (2011)
https://skarnet.org/software/skalibs/djblegacy.html
OKCupid: The Big Lies People Tell In Online Dating
http://blog.okcupid.com/index.php/2010/07/07/the-biggest-lies-in-online-dating/
Back to 28: Grub2 Authentication 0-Day
http://hmarco.org/bugs/CVE-2015-8370-Grub2-authentication-bypass.html
Parsing with Derivatives: A Functional Pearl (2011) [pdf]
http://matt.might.net/papers/might2011derivatives.pdf
Launching Mathematica 10
http://blog.stephenwolfram.com/2014/07/launching-mathematica-10-with-700-new-functions-and-a-crazy-amount-of-rd/
Colors in movies and TV: What happened to them?
https://www.vox.com/culture/22840526/colors-movies-tv-gray-digital-color-sludge
AWS X1 instances – 1.9 TB of memory
https://aws.amazon.com/blogs/aws/x1-instances-for-ec2-ready-for-your-memory-intensive-workloads/
Lazydocker: a terminal GUI for Docker
https://github.com/jesseduffield/lazydocker/blob/master/README.md
My weekly newsletter about LLVM/Clang has been running for one year
http://llvmweekly.org/issue/52
Polyglot programming and the benefits of mastering several languages
https://www.stxnext.com/blog/polyglot-programming/
"The computer is electronic cocaine for people" says UCLA’s Peter Whybrow
http://www.psmag.com/health/manic-nation-dr-peter-whybrow-says-were-addicted-stress-42695/
What I’ve learned so far from living in a Mars simulation dome
https://aeon.co/essays/what-i-ve-learned-so-far-from-living-in-a-mars-simulation?src=longreads
The Next Ten Billion Years
http://thearchdruidreport.blogspot.co.uk/2013/09/the-next-ten-billion-years.html
Analysis: How poverty can drive down intelligence
https://www.pbs.org/newshour/economy/making-sense/analysis-how-poverty-can-drive-down-intelligence
Owsley Stanley: The King of LSD (2011)
https://www.rollingstone.com/feature/owsley-stanley-the-king-of-lsd-82181/
Implementing a programming language in D: Lexical Analysis
http://blog.felixangell.com/implementing-a-programming-language-in-d-part-1
FPGA Programming: Where to Begin? (2012)
http://741mhz.com/fpga-where-to-begin/
Advanced Git tips (slides)
http://git-tips.heroku.com/
NUI: style your iOS app with style sheets
https://github.com/tombenner/nui
Building Backbone.js apps with Backlift part 1: Views and Templates
http://gun.io/blog/Building-Backbone.js-apps-with-Backlift-Views-and-Templates/
Things you should know when interviewing for a programming job
http://www.crossbrowser.net/479/things-you-should-know-when-interviewing-for-a-programming-job/
Building the MySpace backend
http://www.metafilter.com/104479/Im-not-quite-certain-who-this-space-belongs-to-any-more#3752867
Silicon Valley is Broken. Should We Even Bother to Fix It?
http://www.erica.biz/2011/silicon-valley-broken/
Integrity and bullies with blogs
http://joshuatopolsky.com/post/31285353423/integrity-and-bullies-with-blogs
The Unexpected Elegance of Irrigation Systems from Above
https://www.atlasobscura.com/articles/why-do-farms-look-like-circles-from-planes
An Interview with Kevin Novak, Data Scientist at Uber
http://chartio.com/blog/2013/10/kevin-novak-interview
The Making of Adam Savage's Admiral Ackbar Costume
http://www.tested.com/art/makers/456811-making-adam-savages-admiral-ackbar-costume/
IBM's Acquisition of Red Hat Closes
https://newsroom.ibm.com/2019-07-09-IBM-Closes-Landmark-Acquisition-of-Red-Hat-for-34-Billion-Defines-Open-Hybrid-Cloud-Future
A Liberal, Accurate Regex Pattern for Matching URLs
http://daringfireball.net/2009/11/liberal_regex_for_matching_urls
Maps of Street Layouts Colored by Orientation
http://www.datapointed.net/2014/10/maps-of-street-grids-by-orientation/
Apple says Australia's banks pose a security threat to iPhones
http://www.afr.com/technology/apple-says-australias-banks-pose-a-security-threat-to-iphones-20160809-gqogpr
So you want to go to grad school (in the academic humanities)?
https://acoup.blog/2021/10/01/collections-so-you-want-to-go-to-grad-school-in-the-academic-humanities/
Chucking TV Helped me Start my Company
http://joshwhiton.com/?p=815
Discovering types for entity disambiguation
https://blog.openai.com/discovering-types-for-entity-disambiguation/?
Can QUIC match TCP’s computational efficiency?
https://www.fastly.com/blog/measuring-quic-vs-tcp-computational-efficiency
Woah that is some wild postgresql
https://twitter.com/rpy/status/622291301002670080/photo/1
Just Delete Me
http://robblewis.me/just-delete-me/
Saas CTO Security Checklist
https://www.sqreen.io/checklists/saas-cto-security-checklist
Apple unveils M1, its first system-on-a-chip for portable Mac computers
https://9to5mac.com/2020/11/10/apple-unveils-m1-its-first-system-on-a-chip-for-portable-mac-computers/
Netflix is getting huge, but can it get great?
https://www.nytimes.com/2018/02/14/arts/television/netflix-ryan-murphy.html
You’re Lucky Workers Are Only Asking for $15 an Hour
https://gen.medium.com/youre-lucky-they-re-only-asking-for-15-1ee2df51030
AI: Foundations of Computational Agents, Second Edition
https://artint.info
A Friend of Beethoven, Now Rediscovered in His Own Right
https://www.nytimes.com/2018/09/07/arts/music/anton-reicha-ivan-ilic-beethoven.html
Coinbase hires Charlie Lee, creator of Litecoin
http://blog.coinbase.com/post/56906034176/welcome-charlie-lee-creator-of-litecoin-to-the-team
Ctypes.sh: A foreign function interface for bash
https://github.com/taviso/ctypes.sh
Rock-Paper-Scissors: You vs. the Computer
http://www.nytimes.com/interactive/science/rock-paper-scissors.html
LeanMarket (YC S12) brings real-time bidding display ads to the masses
http://techcrunch.com/2012/07/05/leanmarket-launch/
DoubleRecall (YC S11) Turns Paywalls Into Advertising Dollars
http://www.nytimes.com/external/gigaom/2011/08/23/23gigaom-doublerecall-turns-paywalls-into-advertising-dolla-4130.html
The Facebook Papers, Part 1: The great unbundling
http://www.recode.net/2016/5/9/11610100/the-facebook-papers-part-1-the-great-unbundling
Why aren't ◎ܫ◎ and ☺ valid Javascript variable names?
http://stackoverflow.com/questions/7451524/why-arent-and-valid-javascript-variable-names
Double Faults
https://os.phil-opp.com/double-fault-exceptions/
E-Shotgun
https://e-shotgun.com/
Generating random mazes with the Growing Tree algorithm (w/ Javascript demo)
http://weblog.jamisbuck.org/2011/1/27/maze-generation-growing-tree-algorithm
The Myth of the Rule of Law (1995)
http://faculty.msb.edu/hasnasj/GTWebSite/MythWeb.htm
The culture myth
http://brandonhays.com/blog/2012/07/02/the-culture-myth/
Show HN: Mani – Place virtual sticky notes in real-world spaces
https://www.mani.ai/
Gladwell: Getting In, The social logic of Ivy League admissions
http://www.gladwell.com/2005/2005_10_10_a_admissions.html
Encrypting Windows Hard Drives
https://www.schneier.com/blog/archives/2015/06/encrypting_wind.html
Comparing Standard ML and OCaml
http://adam.chlipala.net/mlcomp/
Comet streaking past Earth, providing spectacular show
https://phys.org/news/2020-07-comet-streaking-earth-spectacular.html
Embedded Programming Without the IDE
http://reecestevens.me/blog/2016/07/08/embedded-programming-without-ide/
German cartel office to take Facebook case to High Court
https://www.reuters.com/article/us-facebook-germany/german-cartel-office-to-take-facebook-case-to-high-court-idUSKCN1VG1AJ
Premultiplied alpha vs. not-premultiplied alpha blending and compositing
https://iquilezles.org/articles/premultipliedalpha/
37 Noise
http://metarz.net/blog/31/
Use Cloudkick To Manage Amazon Web Services’ EC2 (YC W09)
http://www.techcrunchit.com/2009/03/16/y-combinators-cloudkick-offers-simple-cloud-management-system/
Show HN: I built a minimal Twitter web app with few rules
https://plaintweet.com/
CO2 already emitted will warm Earth beyond climate targets, study finds
https://www.cbc.ca/news/technology/climate-targets-1.5861537
Discovering Dennis Ritchie’s Lost Dissertation
https://computerhistory.org/blog/discovering-dennis-ritchies-lost-dissertation/
Mesh Shading for Vulkan
https://www.khronos.org/blog/mesh-shading-for-vulkan
AlloyDB for PostgreSQL
https://cloud.google.com/blog/products/databases/introducing-alloydb-for-postgresql
Show HN: Screen recording with JavaScript
https://mgechev.github.io/jscapture/
Hacker News Google+ Community
https://plus.google.com/communities/104388679763490357266
Compiling to Assembly from Scratch: the book, released
https://keleshev.com/cas
Seriously, what’s up with old media not crediting bloggers?
http://cdixon.org/2012/04/06/seriously-whats-up-with-old-media-not-crediting-bloggers/
The FCC's Ajit Pai now openly mocking net neutrality protesters with new video
https://www.avclub.com/the-fccs-ajit-pai-now-openly-mocking-net-neutrality-pro-1821278546
Americans still think they can make money flipping houses
https://www.cbsnews.com/news/homeownership-not-the-wealth-builder-many-americans-think-it-is/
Tricks for Getting Out of Bed in the Morning
http://blog.wired.com/geekdad/2009/02/10-tricks-to-ge.html
Dealing with impossible crises - Relentless resourcefulness at work
http://danieltenner.com/posts/0007-dealing-with-impossible-crises.html
Dumping the NEC PC Engine YUV Table
http://furrtek.free.fr/?a=pceyuv
The metabolic face of migraine
https://www.nature.com/articles/s41582-019-0255-4
Cheap zinc/manganese battery being developed commercially
https://www.adelaide.edu.au/newsroom/news/list/2019/10/29/funding-battery-breakthrough-0
Last Page of The Great Gatsby (1997)
http://home.sprynet.com/~eric/Gatsby.htm
Garage Door Monitor
https://github.com/casspop/ohd
What's inside net/http: Late binding in the Go standard library
https://blog.cloudflare.com/whats-inside-net-http-socket-late-binding-in-the-go-standard-library/
US Justice Department Launches a National Cryptocurrency Enforcement Team
https://therecord.media/justice-department-launches-a-national-cryptocurrency-enforcement-team/
Swagger: A simple, open standard for describing REST APIs with JSON
http://swagger.wordnik.com/
Hapax legomenon
http://en.wikipedia.org/wiki/Hapax_legomenon
Notes from Dynamicland: Geokit
https://rsnous.com/posts/notes-from-dynamicland-geokit/
Why Mark Shuttleworth is important to desktop Linux
http://fossforce.com/2013/08/why-mark-shuttleworth-is-important-to-desktop-linux/
It's the Latency, Stupid
http://rescomp.stanford.edu/~cheshire/rants/Latency.html
A Privacy Bomb Is About to Be Dropped on the California Economy and the Internet
https://blog.ericgoldman.org/archives/2018/06/a-privacy-bomb-is-about-to-be-dropped-on-the-california-economy-and-the-global-internet.htm#CA
The Rise and Fall of a Multimillion-Dollar Airbnb Scheme
https://www.nytimes.com/2019/02/23/nyregion/airbnb-nyc-law.html
Jessica Wade made more than 1k Wikipedia bios for unknown women scientists
https://www.today.com/parents/jessica-wade-wikipedia-women-scientists-rcna51628
‘I Had A Funny Feeling in My Gut’ (1999)
http://www.washingtonpost.com/wp-srv/inatl/longterm/coldwar/shatter021099b.htm?noredirect=no
Starting to Hack on Steel Bank Common Lisp
http://www.pvk.ca/Blog/2013/04/13/starting-to-hack-on-sbcl/
We Need to Break the Mobile Duopoly
http://a16z.com/2015/02/09/third-mobile-os-3/
(Android) Developer Income Report #12, #13
http://www.kreci.net/reports/developer-income-reports-12-13/
Rust for Clojurists (2015)
https://gist.github.com/oakes/4af1023b6c5162c6f8f0
Clojure at BackType
http://sna-projects.com/blog/2010/11/clojure-at-backtype/
An 'in' operator for Ruby
http://rubyhacker.com/blog2/20151202.html
500 years ago, a German abbot wrote a book on communication with spirits (1998)
http://cryptome.org/jya/tri-crack.htm
One corner of U.S. oil market has already seen negative prices
https://www.bloomberg.com/news/articles/2020-03-27/one-corner-of-u-s-oil-market-has-already-seen-negative-prices
Data Center Heatmap
https://barry.blog/2022/07/28/data-center-heatmap/
Prehistoric Babies Drank Animal Milk from Bottles
https://www.npr.org/sections/thesalt/2019/09/25/764243209/prehistoric-babies-drank-animal-milk-from-a-bottle
India to send last telegram
http://m.csmonitor.com/World/Asia-South-Central/2013/0614/India-to-send-world-s-last-telegram.-Stop?cmpid=addthis_twitter#.Ubtm6T2Rpus.twitter
FSF announces publication of two new books by Richard Stallman
http://www.fsf.org/news/rms-newbooks
Mockingbirds show heightened aggression after lead exposure
https://www.eurekalert.org/pub_releases/2019-01/maf-mtr012319.php
YouTube isn’t for kids, but kids videos are among its most popular
https://www.latimes.com/business/story/2019-07-24/pew-study-youtube-children-content
Shortcomings of Amazon Mechanical Turk May Threaten Natural Language Generation
https://www.unite.ai/the-shortcomings-of-amazon-mechanical-turk-may-threaten-natural-language-generation-systems/
The Stranding of the MV Shokalskiy
https://idlewords.com/2019/07/the_stranding_of_the_mv_shokalskiy.htm
Cray-2 Memories [pdf]
https://0x07bell.net/xYxY/Cray-2_MemoriesFINAL.pdf
IEEE Lifts Huawei Restrictions on Editorial and Peer Review Activities
https://www.ieee.org/about/news/2019/statement-update-ieee-lifts-restrictions-on-editorial-and-peer-review-activities.html
Show HN: TrollBlock, It's Okay to Dislike
http://trollblock.com
Visualizing YouTube with my home-made JavaScript graph drawing library
http://www.yasiv.com/youtube#/Search?q=Write%20in%20C%20-%20Let%20it%20be%20Cover%20-%20Piano&id=XHosLhPEN3k
Skirret: a forgotten Tudor vegetable
http://www.telegraph.co.uk/gardening/howtogrow/fruitandvegetables/11421128/Skirret-the-forgotten-Tudor-vegetable.html
Show HN: Blocklike.js Educational Library – So kids can level up from Scratch
https://github.com/ronilan/BlockLike
Get the Strategy Right and the Execution Is Easy
http://avc.com/2016/01/get-the-strategy-right-and-the-execution-is-easy
Github Ruby Styleguide
https://github.com/styleguide/ruby
So Long, Reddit
http://braythwayt.com/2015/07/11/so-long-reddit.html
Android 13’s new sideloading restriction of Accessibility APIs
https://blog.esper.io/android-13-sideloading-restriction-harder-malware-abuse-accessibility-apis/
The DAO is effectively on hold to decide whether flaws exist and how to fix them
http://www.wired.com/2016/06/biggest-crowdfunding-project-ever-dao-mess/
A Happy, Flourishing City With No Advertising
http://www.good.is/post/a-happy-flourishing-city-with-no-advertising
Apple doesn’t allow Chaos Computer Club tvOS application
http://pastebin.com/zT1n0RPV
Korn Meets KoRN
http://www.kornshell.com/fun/
Archaeologists uncover ancient street food shop in Pompeii
https://www.reuters.com/article/italy-pompeii-idUSKBN2900D3
Retro game engine for developers that enjoy creating games like it's 1997
https://github.com/klaussilveira/qengine
The terrorist inside my husband's brain
http://m.neurology.org/content/87/13/1308.full
Afghan president flees the country as Taliban move on Kabul
https://apnews.com/article/afghanistan-taliban-kabul-bagram-e1ed33fe0c665ee67ba132c51b8e32a5
Show HN: Simple but Powerful IDE for Databases
https://www.sqlgate.com/
Startups Finding the Best Employees Are Actually Employed
http://www.nytimes.com/2015/06/25/technology/personaltech/start-ups-finding-the-best-employees-are-actually-employed.html
Engineering the Extinction of 40 Species of Mosquitoes
http://rockstarresearch.com/engineering-the-extinction-of-40-species-of-mosquitoes/
Scientists develop transparent wood that is stronger and lighter than glass
https://www.cbc.ca/radio/quirks/scientists-develop-transparent-wood-that-is-stronger-and-lighter-than-glass-1.5902739
Kaitai, binary format parsing web IDE
https://ide.kaitai.io/
California's constitution makes affordable housing hard to build
https://www.latimes.com/politics/la-pol-ca-affordable-housing-constitution-20190203-story.html
Hard disk hacking (2013)
https://spritesmods.com/?art=hddhack
Denthor's Graphics Tutorials: Why I am a Programmer
https://www.alfie.wtf/programming/why-i-am-a-programmer.html
Show HN: Go HTTP Request Router Benchmark
https://github.com/julienschmidt/go-http-routing-benchmark
The Walls of the Waldorf Astoria
https://www.bloomberg.com/news/articles/2016-09-06/secrets-of-the-waldorf-astoria-presidential-tunnels-red-velvet-cake
Tech Jobs Lead to the Middle Class, But Not for the Masses
https://www.nytimes.com/2019/05/19/business/tech-jobs-middle-class.html
Wi-Fine
https://wifine.gitlab.io/
The Architecture of Musical Instruments
https://www.archiobjects.org/the-architecture-of-musical-instruments-in-the-photographs-of-charles-brooks/
The 2018 Olympics Cyberattack
https://www.wired.com/story/untold-story-2018-olympics-destroyer-cyberattack/
Music subscriber market shares Q2 2021
https://www.midiaresearch.com/blog/music-subscriber-market-shares-q2-2021
A Brief History of SourceForge, and a Look Towards the Future
https://sourceforge.net/blog/brief-history-sourceforge-look-to-future/
JavaScript for hackers
http://dev.opera.com/articles/view/opera-javascript-for-hackers-1/
SpaceX's Starship became NASA's ace in the hole to get to the moon by 2024
https://thehill.com/opinion/technology/495913-how-spacexs-starship-became-nasas-ace-in-the-hole-to-get-to-the-moon-by
Dropbox (YC S08) Now Effortlessly Syncing Files For 1 Million Members
http://www.techcrunch.com/2009/04/24/dropbox-now-effortlessly-syncing-files-for-1-million-members/
Why UX Design for Machine Learning Matters
https://www.fastcodesign.com/90124399/why-ux-design-for-machine-learning-matters
Digg says it’s serious about building a replacement for Google Reader
http://thenextweb.com/insider/2013/03/25/digg-says-its-serious-about-building-a-replacement-for-google-reader-outlines-its-focus/
Intel's Lidar, face recognition, and tracking cameras will be discontinued
https://spectrum.ieee.org/intel-realsense
State of Linux Gaming
http://richg42.blogspot.com/2014/11/state-of-linux-gaming.html
Poor Man's Firebase: LevelDB, REST, and WebSockets
http://procbits.com/2014/01/06/poor-mans-firebase-leveldb-rest-and-websockets
Cmder – Portable console emulator for Windows
http://gooseberrycreative.com/cmder/
The making of the Sony PlayStation
http://www.pushsquare.com/news/2012/08/feature_the_making_of_the_sony_playstation
Tor Anonymity: Things Not to Do
https://www.whonix.org/wiki/DoNot
Opt Out of Cynicism
https://dimitarsimeonov.com/2021/12/12/opt-out-of-cynicism
GitHub Copilot
https://copilot.github.com/
6502 “Illegal” Opcodes Demystified
https://www.masswerk.at/nowgobang/2021/6502-illegal-opcodes
How flashing lights and pink noise might banish Alzheimer’s and improve memory
https://www.nature.com/articles/d41586-018-02391-6
WeWork Is Cutting About 7% of Staff
http://www.bloomberg.com/news/articles/2016-06-03/wework-is-cutting-about-7-of-staff
Python library for symbolic mathematics
http://code.google.com/p/sympy/
FreeBSD kernel-mode WireGuard moves forward out-of-tree
https://arstechnica.com/gadgets/2021/03/freebsd-kernel-mode-wireguard-moves-forward-out-of-tree/
More spring cleaning out of season at Google
http://googleblog.blogspot.com/2011/11/more-spring-cleaning-out-of-season.html
Segment (YC S11) Raises $27M for Its “One API to Rule Them All”
http://techcrunch.com/2015/10/09/segment-raises-27-million-for-its-one-api-to-rule-them-all/?ncid=rss&utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+Techcrunch+%28TechCrunch%29&utm_content=FaceBook&sr_share=facebook
Types of Parser Combinators
https://sgt.hootr.club/molten-matter/types-of-parser-combinators/
Alphabet reports Q1 earnings
https://www.cnbc.com/2021/04/27/alphabet-goog-earnings-q1-2021.html
Texas Uses More Energy Than Any Other State
http://www.texasmonthly.com/energy/texas-uses-energy-state/
Tensorflow Ruby API
https://medium.com/@Arafat./introducing-tensorflow-ruby-api-e77a477ff16e#.9b170cfil
Deploy your own satellite for $8000
http://blog.makezine.com/archive/2010/07/8000_diy_satellite_kit.html
An overview of version control in programming
https://lemire.me/blog/2022/04/21/an-overview-of-version-control-in-programming/
The Wonderful Uses of Asbestos (1942) [video]
https://www.youtube.com/watch?v=HxfZSEboVM4
Only existing market leaders are benefiting from coronavirus lockdowns
https://www.thedrum.com/opinion/2020/10/05/only-existing-market-leaders-are-benefiting-coronavirus-lockdowns
Dreamwidth Banned by PayPal in 2008 for Refusing to Censor Users
https://dw-news.dreamwidth.org/38065.html
Demystifying Garbage Collectors
http://xtzgzorex.wordpress.com/2012/10/11/demystifying-garbage-collectors/
Flask powered CMS - Quokka
http://www.quokkaproject.org/
Senior Developers Are Getting Rejected for Jobs
https://web.archive.org/web/20190514154623/https://glenmccallum.com/2019/05/14/senior-developers-rejected-jobs/
Augmenting Human Intellect (1962)
http://www.dougengelbart.org/pubs/augment-3906.html
Making a game on the C64
http://www.ludumdare.com/compo/2013/04/29/ponkmortem/
How to make your YC application stand out
http://formisfunction.posterous.com/how-to-make-your-yc-application-stand-out
The city of Munich switches to Open Source Software
http://www.pcworld.com/article/2079800/switch-to-open-source-successfully-completed-city-of-munich-says.html
Don’t go to art school (2013)
https://medium.com/i-m-h-o/dont-go-to-art-school-138c5efd45e9#.87guodhbv
Dogs poop in alignment with Earth’s magnetic field, study finds (2014)
https://www.pbs.org/newshour/science/dogs-poop-in-alignment-with-earths-magnetic-field-study-finds
Google Cloud Platform sets a course for new horizons
https://cloudplatform.googleblog.com/2016/09/Google-Cloud-Platform-sets-a-course-for-new-horizons.html
Drawing Machines
https://drawingmachines.org
A Student Loan Nightmare: The Teacher in the Wrong Payment Plan
https://www.nytimes.com/2017/10/27/your-money/paying-for-college/student-loan-payments.html
Marium, the Dugong Who Charmed Thailand, Dies After Ingesting Plastic
https://www.npr.org/2019/08/17/752042032/marium-the-dugong-that-charmed-thailand-dies-after-ingesting-plastic
Bartosz Milewski's 'Category Theory for Programmers' Unofficial PDF/LaTeX Source
https://github.com/hmemcpy/milewski-ctfp-pdf
Theorem Proving in Lean [pdf]
https://leanprover.github.io/theorem_proving_in_lean/theorem_proving_in_lean.pdf
Time might only exist in your head
https://www.wired.com/2016/09/arrow-of-time/amp
OpenIndiana Hipster 2019.10 is here – openindiana
https://www.openindiana.org/2019/11/07/openindiana-hipster-2019-10-is-here/
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
https://www.usenix.org/conference/atc19/presentation/chong
Feynman Algorithm
http://c2.com/cgi/wiki?FeynmanAlgorithm
1 year on, Hipmunk (YC S10) hits 1 million flight + hotel searches a month
http://www.xconomy.com/san-francisco/2011/08/22/hipmunk-on-the-make-the-first-birthday-interview/
Post mortem: Thanks and lessons learned
http://elnorr.com/2014/01/27/post-mortem-thanks-lessons-learned/
Replacing a Development VPS with Linux on OSX
http://jmlacroix.com/archives/osx-linux-vps.html
The Threat to Americas Electrical Grid Is Bigger Than Imagined
http://foreignpolicy.com/2016/07/31/the-threat-to-americas-electrical-grid-is-much-bigger-than-you-can-possibly-imagine-cyberwar-squirrels-rodents-hackers/
Ghost Call – Secure, Encrypted, Anonymous Calling
https://ghostcall.io
Lessons I Learned from Starting Precog
http://stackstreet.com/10-hard-lessons-learned-starting-precog/
Working with the Stripe Payouts API
http://blog.chriswinn.com/working-with-stripe-payouts
Say 'Ahhh': A Simpler Way To Detect Parkinson's
http://www.npr.org/2012/07/21/157102978/say-ahhh-a-simpler-way-to-detect-parkinsons
User revolt over Java bloatware
http://news.techeye.net/software/user-revolt-over-java-bloatware
The History of the "@" Symbol (Part 1)
http://www.shadycharacters.co.uk/2011/07/the-symbol-part-1-of-2/
The VT-69 portable data terminal
http://violence.works
Yes to everything
http://morrick.me/archives/8840
Building solutions to problems that no one knows exist yet
https://web.eecs.utk.edu/~azh/blog/solvingunknownproblems.html