Explore >> Select a destination
|
You are here 
|
www.msoos.org | ||
| | | | |
codingnest.com
|
|
| | | | | Before I started doing research, I saw SAT solvers as academically interesting but without practical uses ouside of other academic applications. I've since then changed my mind, and I want to change yours, because modern SAT solvers are neat, fast and almost criminally underused by the industry. | |
| | | | |
ochagavia.nl
|
|
| | | | | Dependency resolution is something programmers usually take for granted. Be it cargo, npm, or whatever package manager you use, no one is actually surprised when this black-box figures out, all by itself, the specific set of packages that should be installed. To me, though, it is a fascinating feat. It feels magical when a machine solves an abstract problem like that, with minimal input from me as a user! I was, therefore, delighted when the nice folks at Prefix. | |
| | | | |
viccuad.me
|
|
| | | | | viccuad blogs here, when he blogs. And mostly about CS things. | |
| | | | |
alpha-omega.dev
|
|
| | | [AI summary] Alpha-Omega has granted funds to the Homebrew project to enhance its security by implementing Sigstore attestations and achieving SLSA Build Level 2, ensuring secure verification of software packages. | ||
