Philipp Dörfler

Results 41 issues of Philipp Dörfler

Thanks for this tool! One key feature it's missing IMHO is allowing to specify a DNS server. Even better: As a default it could use either the wireguard interface address...

Or at least offer it as an alternative backend.

This is untested as I am currently not able to fully compile imageproc due to its FreeImage dependency.

A few nights ago I wanted to show someone how cool specs2 was. There was no computer nearby so I used my phone. Unfortunately the examples on the website kept...

help-wanted

I'm on macOS and ran into this issue: ``` rustup update git clone https://github.com/rochacbruno/rust-python-example cd rust-python-example make compile-rust ``` then I was greeted by this: which after a lot of...

help wanted

There is currently code generation for C and Python and there are a few inofficial bridges using the former to call futhark code from Haskell, Python, rust and Standard ML....

good first issue
tools

I noticed that whenever I put the benchmark() fixture around my code, it runs 2 additional times. I noticed because this code runs from multiple seconds to multiple minutes per...

question