-
[oat_fw_gui_2024-10-19-17-29-15.log](https://github.com/user-attachments/files/17447588/oat_fw_gui_2024-10-19-17-29-15.log)
The following Error message is diaplayed:
```
2024-10-19 17:37:45,098:C…
-
**English**
This is a case that will serve as documentation: during the week, at work, I ran into some problems with references between projects of the same solution. The projects were MAUI (8), Wi…
-
In [`5fe1b70`](https://github.com/GiuseppeFilingeri/upgraded-symmetrical-waddle/commit/5fe1b7072ccdc792a8fd238e36daca1e511a78fc
), twoc (twoc.co.uk) was **down**:
- HTTP code: 0
- Response time: 0 ms
-
-
local x = 1 // Replace with needed whole number.
x = x % 2
print(x)
Pros: This code is around 1 QUADRILLION times more efficient, both in time and power.
This code works offline, and on low-powe…
-
-
In [`38932bd`](https://github.com/jonesyriffic/gsp-sst/commit/38932bd28f1cf16943ae0f7b7f400ed8933f298d
), RS - Serbia (https://www.skyshowtime.com/rs/help/) was **down**:
- HTTP code: 404
- Response t…
-
In [`d6ed2f7`](https://github.com/jonesyriffic/gsp-sst/commit/d6ed2f72b4aeb5e6a9dd5eb1f494e107023b3df2
), NL - Netherlands (https://www.skyshowtime.com/nl/help/) was **down**:
- HTTP code: 404
- Respo…
-
👋 seeing some regression test failure of testing a tif file (it worked fine with the 13.0.0 release).
this is the test log
```
==> Testing grokj2k
==> /usr/bin/clang test.c -I/opt/homebre…
-
Proof sketch can be found at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Outstanding.20equations.2C.20v1
Proof can go in the `ManuallyProved` folder.