Show HN: The Z3 theorem can now be built using CMakegithub.com2 points·by delcypher·vor 10 Jahren·0 comments
delcypher·vor 11 Jahren·discussDoesn't look like it's been mentioned yet but there is very related project called Online Abuse Prevention Initiative (OAPI http://onlineabuseprevention.org/). It would be a good idea to talk to them in addition to what you are already doing.It was covered on FLOSSWeekly earlier this year (https://soundcloud.com/twit/floss-weekly-331-oapi).
delcypher·vor 11 Jahren·discussIt does. You need to go into the terminal settings enable "Chroma Color" and then tweak the value.
It was covered on FLOSSWeekly earlier this year (https://soundcloud.com/twit/floss-weekly-331-oapi).