Ranter
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
Comments
-
hey there please don't post links without a description or why one should click it. And if possible go the extra mile and add an image. Thank you.
-
@heyheni
Sometimes I post things so I can find them in lieu of bookmarking (because I actually have 20k-30k bookmarks).
Also it's a fascinating article.
You're right. Didn't do it justice. Thanks. -
Nothing like a warm cup of boolean satisfiability to get you going in the morning. ☕
-
Wasn't that in one of the google CTFs where there was a voxel engine with logic hates mods where one had to write a map parser for the engine and then run one of these solvers over it?
-
@Ranchu hey cool! Would you do a full post about if it's not too much trouble Ranchu, or post a link?
-
@Wisecrack I would probably compile all the info tomorrow (today by now :/) into a post on here.
But if you want a highly detailed explanation of everything, check out this:
https://youtu.be/nI8Q1bqT8QU
https://en.wikipedia.org/wiki/...
random