Julian Dunskus
Julian Dunskus
Hi! I'm the developer of [Dynamic FPS](https://github.com/juliand665/Dynamic-FPS), a mod which throttles Minecraft's rendering when unfocused or hidden to improve performance of the rest of the system. I just noticed that...
I let XCode’s automatic conversion do most of the work, but I took extra care with making DeepPressGestureRecognizer conform to the latest API standards.
Among others, I changed `dispatch_semaphore_wait(coroutineReady, DISPATCH_TIME_FOREVER)` to `coroutineReady.wait()`. Not sure how important timeout is here; I didn’t test it.
As part of my thesis under @Aurel300, this pull request adds specifications to the most popular types & functions in the Rust Standard Library. I am using data gathered through...
As part of #1249, I repeatedly found myself writing code like this: https://github.com/viperproject/prusti-dev/blob/d7ce8c77fe527a0efcaa6cbfb384f06f22775934/prusti-contracts/prusti-contracts/src/core_spec/default.rs#L3-L7 Note the `Copy + PureDefault`, rather than simply `PureDefault`. This is because `PureDefault` is an auto trait...
This is probably not actually the most general case, but with #1249 there's a simple way to produce this error. The following client code will do it: ```rust struct Special...
In specifying the standard library (#1249), I wanted to mark e.g. `PartialEq::eq` as `pure` by default (perhaps with an auto trait so people can opt out of that). However, I...
I've been using KeychainSwift for a project of mine, and started running into issues when I added widgets. It was the most frustrating bug to track down, its reproduction at...