Distributed SAT solver in Elixir

https://github.com/siraben/ti84-forth Hi HN! For the past year I've been getting into programming in Z80 assembly (especially for the TI-84+). More recently I've been learning about the Forth programming language and after a lot of searching online (in vain) for a Forth interpreter for the TI-84, I decided to write one myself. It's been fun demoing this to others, because it's a very unexpected use of a calculator. It's my largest project to date, and I'm interested to know what the HN community thinks, please feel free to critique my code! -- Ben

Everything that would be here is in the README. I hope this gets big, it has tons of potential.

Hi HN, Last month, I have worked with my team here at Amy.app to make a stand-alone SAT Tutor. I'm pretty excited about this product, as it's our first attempt to make a stand-alone product targeted directly at students. So far all our products were targeted at teachers/schools/publishers. But we never found product-market fit ¯\_(ツ)_/¯ Our SAT-Math tutor is designed to find your knowledge gaps and gets you up-to-speed as fast as possible. We believe it offers a fresh approach on how online learning usually works. Please let me know what you think. The product has a 3 days…

I decided I wanted to roll my own AB testing app for Django (https://github.com/crobertsbmw/RobertsAB) when I was finished, I came across this: http://stevehanov.ca/blog/index.php?id=132 Which is a very convincing article on why AB testing sucks and with a few extra lines, you can improve your algorithm to select the best test so you never go back and update your code (yeah right.) I then thought, how many tests does this thing have to run to truly figure out which is best? I made 4 tests with probability of success equalling 1/2, 1/4,…