Explore >> Select a destination
|
You are here 
|
potassco.org | ||
| | | | |
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.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. | |
| | | | |
bitshifter.github.io
|
|
| | | [AI summary] The text discusses the development and performance of the Rust linear algebra library 'glam', which leverages SIMD for optimized computations. It compares 'glam' with other libraries like 'cgmath' and 'nalgebra', highlighting its efficiency, especially when using SIMD. The text also covers benchmarking tools like 'mathbench' and 'criterion', and the use of assembly inspection for performance analysis. The author plans to enhance 'glam' over time based on community feedback and explores future optimizations using crates like 'packed_simd'. | ||
