miniblog.

← Back to all posts
Jun 2, 2019 at 09:55
DARPA sponsoring more radical hardware designs, designs driven by software use cases, and even 3D system-on-chip designs targeting old manufacturing techniques! https://spectrum.ieee.org/tech-talk/computing/hardware/darpas-planning-a-major-remake-of-us-electronics-pay-attention

Related Posts

Mar 13, 2019 at 20:03
The impact of manufacturing costs and price sensitivity on book sizes: https://www.antipope.org/charlie/blog-static/2010/03/cmap-5-why-books-are-the-lengt.html Many of these constraints disappear for ebooks!
Aug 22, 2018 at 18:41
Elegant demo of SAT solvers: take a list of locks and which keys should unlock the (e.g. master keys unlock multiple), plus a set of manufacturing constraints. Feed it to a solver and calculate how to cut all the keys! https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-2-of-n/ A real industry usecase of SAT.
Modern SAT solvers: fast, neat and underused (part 2 of N)
Modern SAT solvers: fast, neat and underused (part 2 of N)
The previous post in this series was a quick introduction to the world of SAT and SAT solvers. In this post, we will convert a harder real-world problem, namely _master-key system_, into SAT and explore some of the more advanced techniques used to efficiently convert problems to SAT.