Explore >> Select a destination
|
You are here 
|
potassco.org | ||
| | | | |
www.philipzucker.com
|
|
| | | | | One of the interesting things about Datalog is that it has a fairly simple notion of proof or provenance. What you want to know is how a row ended up in your database. Which rule fired and what extra variables were matched on? Souffle supports this feature https://souffle-lang.github.io/provenance. You can use this info for datalog as a theorem prover, or to enable incrementality or debuggability, or for rule selection synthesis. | |
| | | | |
tmault.co.uk
|
|
| | | | | osxphotos is a great command line utility that lets you download full high res backups of photos and videos from your iCloud library to any directory. | |
| | | | |
ochagavia.nl
|
|
| | | | | Since my time at the university, pursuing a Computer Science degree, I have always been fascinated by programming languages and the tooling around them: compilers, IDEs, package managers, etc. Eventually, that got me involved as a hobbyist in the development of the Rust compiler and rust-analyzer, but I never got the chance to work professionally on programming language tooling... until two months ago! In January, the nice folks at prefix.dev asked me to help them develop the rattler package manager, and... | |
| | | | |
www.ybrikman.com
|
|
| | | The home page of Yevgeniy (Jim) Brikman, co-founder of Gruntwork, author of "Hello, Startup" and "Terraform: Up & Running", and software engineer at LinkedIn, TripAdvisor, Cisco Systems, and Thomson Financial. | ||
