Logical Induction
MIRI is releasing a paper introducing a new model of deductively limited reasoning: “Logical induction,” authored by Scott Garrabrant, Tsvi Benson-Tilsen,
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 344 posts.
MIRI is releasing a paper introducing a new model of deductively limited reasoning: “Logical induction,” authored by Scott Garrabrant, Tsvi Benson-Tilsen,
Everybody counts, but not always quickly. This post looks into how the PostgreSQL database optimizes counting. In Postgres, there are ways to count orders of magnitude faster. We’ll look at exact counts (distinct counts) as well as estimated counts, using approximation algorithms such as HyperLogLog (HLL) in Postgres.
Micro-housing—dorm-room-sized apartments in desirable, walkable neighborhoods—isn’t for everyone, but it most definitely is for Anna Rogers. Anna is a recent college graduate who grew up in the suburbs of Seattle and now works a retail job while looking to start a career that harnesses her passion for politics. Thanks…
OCaml 4.03 is branched and a first release candidate is imminent, so it seems like a good time to take stock of what’s coming.
Editor's note: this post is part of a series of in-depth articles on what's new in Kubernetes 1.5 At the lowest layers of a Kubernetes node is the software that, among other things, starts and stops containers. We call this the “Container Runtime”. The most widely known container runtime is Docker, but it is not alone…
At the 2016 GPU Technology Conference in San Jose, NVIDIA CEO Jen-Hsun Huang announced the new NVIDIA Tesla P100, the most advanced accelerator ever built. Based on the new NVIDIA Pascal GP100 GPU and…
Discover the top SaaS metrics that drive real valuations. Learn how to track, optimize, and present your KPIs to attract serious buyers and maximize your SaaS exit
Stupendously comfortable handmade shoes, inspired by the minimalist aesthetic of the Bauhaus and crafted from the finest leathers known to humanity. Designed in Berlin, and handmade in Porto, all our materials are sourced in Europe (Germany, the Netherlands & Portugal).
Dash knows your context, your team, and your work, so your team can stay organized, easily find and share knowledge, and keep projects secure, all from one place.
We have a few updates we want to share on our Basic Income Project [https://ycombinator.wpengine.com/basic-income]: Our Research Director Elizabeth Rhodes is joining Basic Income Project as our Research Director. She recently completed a joint PhD in Social Work and Political Science at the University of Michigan…
How To Build The Future: Elon Musk discusses what high value ideas people should work on today and what's important for future of the humanity, including artificial intelligence and genetics.
On a recent trip to Cuba I brought with me a smartphone and hoped to get Internet access either via WiFi or 3G. I managed that (at a price) but also saw for myself how Cubans get access to an alternate Internet delivered by sneakernet.
Why GitLab went with Vue.js
iTerm2 is a replacement for Terminal and the successor to iTerm
Some tough news: Buffer has made 10 layoffs, 11% of the team. We want to share openly how we got here, the financial details and how we’re moving forward.
You can’t write serious applications in vanilla JavaScript without hitting a complexity wall. But a compiler can do it for you.
TL;DR: *Michael Seibel will be the new CEO of YC Core, which we are now just going to call “YC”. *Ali Rowghani is now the CEO of the YC Continuity Fund. *I’m going to be the President of YC Group, which includes YC, YC Continuity, YC Research, and our new online class. We’ll add more organizational units over time…
Diversity and inclusion are hard, especially in tech. Doing them right means agreeing on values, setting standards, calling out bad…
Built on open source software, GitLab Container Registry isn't just a standalone registry; it's completely integrated with GitLab.
Back when crypto/tls was slow and net/http young, the general wisdom was to always put Go servers behind a reverse proxy like NGINX. That’s not necessary anymore!
I am happy to report that we have successfully taped out a 1024-core Epiphany-V RISC processor chip at 16nm. The chip has 4.5 Billion transistors, which is 36% more transistors than Apple’s latest 4 core A10 processor at roughly the same die size. Compared to leading HPC processors, the chip demonstrates an 80x…
Holoportation is a new type of 3D capture technology that allows high-quality 3D models of people to be reconstructed, compressed and transmitted anywhere in the world in real time. When combined with mixed reality displays such as HoloLens, this technology allows users to see, hear, and interact with remote…
In 2015 we ran 56,224 hard drives in our datacenter. In this post we review the reliability of the Seagate, HGST, Toshiba, and Western Digital drives.
Hi! I’m Steve Feldman, Senior Ad Ops Manager at Stack Overflow. My whole life I’ve been fascinated by advertising. Even as a kid, I wondered what a company was trying to tell me by using one word instead of another in an ad. Over time, I developed a strong (read: subjective) opinion of what makes an ad ’good,’ and…
An easy bit of Bash configuration that will log your bash history to dated log files so you can refer back to them at any point in the future.