New

The latest blog posts to take off on Hacker News. 4,838 posts.

Any topic
2019
4385

Programming the Z3 SMT solver

Abstract. This tutorial provides a programmer ' s introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost…

4387

Swift 5 Exclusivity Enforcement

The Swift 5 release enables runtime checking of “Exclusive Access to Memory” by default in Release builds, further enhancing Swift’s capabilities as a safe language. In Swift 4, these runtime checks were only enabled in Debug builds. In this post, I’ll first explain what this change means for Swift developers before…

4396

Leap Spins out of YC

In 2017, Cadran Cowansage [https://twitter.com/cadran_c], a software engineer at YC, started building [https://blog.ycombinator.com/join-leap-an-online-community-for-women/] Leap, an online community for women in tech. This YC project led to thousands of women talking openly about their experiences and sharing career…