Frederik Reiter

Results 11 issues of Frederik Reiter

> An ical link is now available on /calendar.ics. It contains all the ctfs with their description and dates. This endpoint is protected with a token by default, the password...

Thank you for taking the time to work on a PR for Awesome-Selfhosted! To ensure your PR is dealt with swiftly please check the following: - [X] Submit one item...

addition

### Is there an existing issue for this? - [X] I have searched the existing issues ### Summary When self-hosting, I do not want to allow anyone to register and...

🛫plane
✨feature
🏠self-hosted

Closes #389 Previously, `tzlocal` had a dependency of `pytz` which was implicitly used by axioxmpp. `tzlocal` now removed this dependency, so `pytz` needs to be explicitly required.

It looks like [Block Elements](https://en.wikipedia.org/wiki/Block_Elements) are entirely unsupported and actually seem to break the font. Compare the size of the three character string `a.a.a` with the size of the three...

This PR intends to add support for [`showModal`](https://html.spec.whatwg.org/multipage/#dom-dialog-showmodal) and [`show`](https://html.spec.whatwg.org/multipage/#dom-dialog-show). A simple testcase for this is ```html Greetings, one and all! OK Click ``` This PR is still very much...

Crater currently fails to build on `1.81.0-nightly (cf2df68d1 2024-07-01)` and `1.79.0 (129f3b996 2024-06-10)` (stable) due to an outdated `time` dependency: ``` Compiling time v0.3.30 error[E0282]: type annotations needed for `Box`...

Use `.fromtimestamp` instead of `.utcfromtimestamp` to create a timezone-aware datetime object. Previously, the object was naive. `.utcfromtimestamp` is deprecated because naive datetime objects lead to ambiguity and problems. By using...

## Intended Change The current proof obligation (`DependencyContractPO`) only verifies that the return value of a method only depends on the locations in the accessible clause. In contrast, this new...

Feature
RFC
Java
HacKeYthon

- Match the number range to the range from THE BOOK - Explicitly say "positive natural", as otherwise n = 0, k = 0 would be a counterexample as far...