Gaetano Checinski
Gaetano Checinski
I've noticed that cosmopolitan supports the creation of gui applications on windows. I'm curious on your thoughts on how you'd go about extending this to the remaining platforms. I'd be...
First of all, great work hacking your way to platform independence! Been just wondering if anyone made any attempts to use it in conjunction with the c++ standard library and...
Just wanted to raise awareness of [Vampire Prover](https://vprover.github.io/) Vampire prover uses z3 and minisat internally and performs significantly better in many tasks. One of its unique features is to can...
It would be a great if we could have input boxes that the user can select with the mouse or keyboard and then type text into it. However, first we...
A Maybe is a container like vector but has either 0 or 1 element. This would be convenient: ```c++ for(auto x : maybe(1) ) { std::cout
Currently either is never constexpr because it implements a destructor. This is needed in the generic case as the types for left or right might have a custom destructor. Using...
add support for `git sparse-checkout` is a new feature that allows partial checkouts of a git repository. This can greatly speedup the download and install phase as we can exclude...
works fine via ssh