No audio results after searching from single audio result page

Description

Searching for "birds" from the single galah audio result page will result in an all results page that does not include any audio results (even though there's lots of audio for birds).
Reproduction

 Search for "galah" from the homepage

 Switch to the audio results view and select the single audio result

 Search for "birds" from the header of the single audio result page

Note that there are no audio results.

If you refresh the page (searching for birds again) there will be lots of audio results.
Additional context

Resolution

[ ] 🙋 I would be interested in resolving this bug.

This was fixed in #1216.


removed non-production urls

@jeevansd

Can you review this PR?
IMPORTANT: When this content is ready to merge, you must add #sign-off in a comment or the approval may get overlooked.

#label:"aq-pr-triaged"
@MicrosoftDocs/public-repo-pr-review-team


Avoid traversing constants with Py_VISIT()

Based off https://github.com/cython/cython/pull/6276 since it needs the same fix.

If you want users to be able to define it, would it make sense to do ifndef?

Ah, yes, right, thanks. That was the intention and I forgot to actually do it. :)

Added macro option, rebased on https://github.com/cython/cython/pull/6276


Gene Pathways in coOncoplots

Heylo
I have used 'genes' and 'pathways' to create custom gene groups within my oncoplots, as shown, using this code;

oncoplot(maf = Whole, pathways = pathways, gene_mar = 8, fontSize = 0.6)
Using this code, I produce coOncoplots, no problem;

coOncoplot(m1 = GroupA, m2 = GroupB, m1Name = 'GroupA', m2Name = 'GroupB', genes = genes, keepGeneOrder = TRUE)
However, when I try to use 'pathways' in the coOncoplot, I get the error "unused argument (pathways = pathways)".
coOncoplot(m1 = GroupA, m2 = GroupB, m1Name = 'GroupA', m2Name = 'GroupB', pathways = pathways)
I couldn't (visually at least) see any reason why 'pathways' would not work, so I assumed that 'pathways' was just not included in the code for the 'coOncoplot' function, but is included for 'Oncoplot'. However, as I've been unable to troubleshoot it, I thought that it would be worth checking in case there is a technical restriction on using it.
I thought maybe it was because it is has no statistical test result for the gene pathways, and so can't add them to the plot as there is no comparison? If so, is there perhaps a way to overlay the gene pathways without a statistical comparison?
Thanks!

Hi,
Unfortunately, as you guessed it, coOncoplot does not support pathways yet. It is on my to-do list. But it might take a while since I have some other commitments.

Hello @PoisonAlien
Please have a look
> coOncoplot(
+     maf1,
+     maf2,
+     genes = genes,
+     m1Name = "Responders",
+     m2Name = "Non-responders",removeNonMutated = TRUE,keepGeneOrder = TRUE)
>

Is there any way to ignore genes which are 0% in both groups?

Have you tried using 'removeNonMutated = TRUE'?
Alternatively, if you use minmut=n during your comparison stage, there should be no comparison made and so maybe those genes won't be included in the coOncoplot?

Yes that is in my code but that would remove non-mutated samples

Yes that is in my code but that would remove non-mutated samples

Sorry, missed that. Well, long-term I guess you'll want something more elegant, but for now; can you just rerun each coOncoplot and remove the 0% genes from your genes list?


The best place to check ownership of the model

I have a model
 public class Customer
    {
        public int Id { get; set; }
        public string FullName { get; set; }
        public string Phone { get; set; }
        public string Email { get; set; }
        public string Comment { get; set; }
        public string Locale { get; set; }
        public DateTime Created { get; set; }
        public int AccountId { get; set; }
        public virtual Account Account { get; set; }
    }

I saved AccountId as user claim and i can get it in Application Layer
public interface ICurrentUserService
    {
        string GetUserId();
        int GetAccountId();
    }

I have a command that the user sends
public class UpdateCustomerCommand : IRequest<CustomerDto>
    {
        public int Id { get; set; }
        public string FullName { get; set; }
        public string Phone { get; set; }
        public string Email { get; set; }
        public string Comment { get; set; }
        public string Locale { get; set; }
    }

Before saving I need to verify that the Customer belongs to the user with the specified Account Id.
Question: On what layer is it better to check the ownership of the model?
I have this variants:

In controller. Implement IAuthorizationHandler, and checks ownership before send command
Implement IRequestPreProcessor and check it before send command.
Check in command

What do you think about it. Where we need check ownership of the model?
Thanks!

Taking this a step further... if you have ASP Identity managing your user base and you want to associate those users with things like companies and perhaps other entities. Should that all be part of the Asp Tables, or should they be separate and inside the application? If so, how do you map those relationships, as the application can't depend on the infrastructure etc.


Hide "Your compute jobs" functionality in Publish Preview

Describe the bug
The minting process seems to get fired when you click on the "Your compute jobs" tab in the Preview section on publish.
To Reproduce
Steps to reproduce the behavior:

Go to Publish
Fill of the information until preview
Click on "Your compute jobs" (HIDE/SHOW)
See started minting process

Expected behavior
user's computes History
Screenshots
https://user-images.githubusercontent.com/13741335/154022627-4a90c2a7-1a7f-4647-8632-d74d0b29bed6.mp4
PS: you can't see metamask, but i was interacting with metamask

that is not minting, it just ask you to sign. Good catch

by disable, you mean hide it? what should we display instead? or just remove the whole dropdown?

Yep, hide it. There is no use for it there

I'm confused now 😅. Can i go ahead and open a PR or this will be fixed on the refactor?

No need to do anything, it will be handled in the compute pr

Ok good, closing issue then 👍🏽

closing issue, it will be fixed on Restore compute functionality #1069


Disabling a tab

Disabling tabs is very handy and in it's simplest it's this simple
toggle_active_tab: function (tab, location_hash) {
    if (tab.hasClass("disabled")) //new line
         return;  //new line

Any more info on this?

I still want this merged but have not had the time to do the PR. But you see the code needed above. Anyone could make the chanegs and a pull request

@rickardliljeberg I made PR and you can see here: #6987
I think maybe we can do this for the accordion compoment too.
What is you opinion?


Is there a way to adjust fan curves? and GPU Fan

I am using ASUS Vivobook pro 15 i5 laptop.
using this repo i was able to to get the cpu fan full or auto, and i also noticed that we could only write 0 or 2 to pwm1_enable(cpu fan under  /sys/devices/platform/asus-nb-wmi/hwmon/hwmon5/)
if in cases we would like to control the fan speed based on the current temperature of the cpu(just like windows does), can you provide some insites on how we could proceed.
Regarding GPU fan:-
It looks like pwm2 is related to GPU fan, but writing anything to it, it says invalid (bash: echo: write error: Input/output error
). So my doubt is what could be the origin of this problem. like kernal level or os level. it looks like the device is recognized.

I'm still finding a way to control GPU Fan.

As you can see, I have my cpu fan under hwmon6 and I also thought pwm2_enable would be for GPU Fan, but nothing happens when I edit the value for pwm2_enable. Your Input/Output error might be due to some other reason, not related to GPU Fan.
GPU Fan can be controlled through NVIDIA Drivers in some laptops. In Windows, both my CPU and GPU Fan is controllable using MyASUS as well as ProArt Creator Hub.
I'm still trying to figure out if this path (/sys/devices/platform/NVDA0820:00/) has something to do with my GPU Fan (NVIDIA Studio RTX 3050 Ti Mobile)

Can you try to check if you have similar files in your Laptop too and also tell me what GPU you exactly have? It might help me make some progress on GPU Fan Control Feature which I am still working on right now.

Yes, I do have similar folders and files.

I am using NVIDIA RTX 3050 4GB GPU.

Seems like you have the exact same files in exact location. I guess that's the case with most NVIDIA GPUs on Asus Laptops.

Hello! I found a repository in which a person achieved certain results. Perhaps this will help implement gpu fan control into your script. https://github.com/HackTestes/NVML-GPU-Control

Hello! I found a repository in which a person achieved certain results. Perhaps this will help implement gpu fan control into your script. https://github.com/HackTestes/NVML-GPU-Control

Seems like it is using pynvml module to automatically detect the number of controllers and set speed of fan for all of them. Will try integrating this to this repo.

Just tied that repo on my device, but it does't seem to work for me.
root@fedora:/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src$ python3 ./nvml_gpu_control.py fan-control -n 'NVIDIA GeForce RTX 3050 Laptop GPU'
LOG[2024-05-26 09:25:26]: Driver Version: 550.78
LOG[2024-05-26 09:25:26]: Device name : NVIDIA GeForce RTX 3050 Laptop GPU
LOG[2024-05-26 09:25:26]: Device UUID : GPU-6169be12-ffa9-aa09-3c54-9991491beea1
Calling nvml shutdown and terminating the program
Traceback (most recent call last):
  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 67, in <module>
    main()
  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 40, in main
    main_funcs.fan_control(config)
  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 211, in fan_control
    print_GPU_info(gpu_handle)
  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 126, in print_GPU_info
    log_helper(f'Device fan speed : {pynvml.nvmlDeviceGetFanSpeed(gpu_handle)}%')
                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 2275, in nvmlDeviceGetFanSpeed
    _nvmlCheckReturn(ret)
  File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 833, in _nvmlCheckReturn
    raise NVMLError(ret)
pynvml.nvml.NVMLError_NotSupported: Not Supported

Just tied that repo on my device, but it does't seem to work for me.

root@fedora:/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src$ python3 ./nvml_gpu_control.py fan-control -n 'NVIDIA GeForce RTX 3050 Laptop GPU'

LOG[2024-05-26 09:25:26]: Driver Version: 550.78

LOG[2024-05-26 09:25:26]: Device name : NVIDIA GeForce RTX 3050 Laptop GPU

LOG[2024-05-26 09:25:26]: Device UUID : GPU-6169be12-ffa9-aa09-3c54-9991491beea1

Calling nvml shutdown and terminating the program

Traceback (most recent call last):

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 67, in <module>

    main()

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 40, in main

    main_funcs.fan_control(config)

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 211, in fan_control

    print_GPU_info(gpu_handle)

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 126, in print_GPU_info

    log_helper(f'Device fan speed : {pynvml.nvmlDeviceGetFanSpeed(gpu_handle)}%')

                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

  File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 2275, in nvmlDeviceGetFanSpeed

    _nvmlCheckReturn(ret)

  File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 833, in _nvmlCheckReturn

    raise NVMLError(ret)

pynvml.nvml.NVMLError_NotSupported: Not Supported

Your GPU Fan is controllable from Windows right?

Also want to point out the following from ArchWiki

at https://wiki.archlinux.org/title/fan_speed_control

Just tied that repo on my device, but it does't seem to work for me.

root@fedora:/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src$ python3 ./nvml_gpu_control.py fan-control -n 'NVIDIA GeForce RTX 3050 Laptop GPU'

LOG[2024-05-26 09:25:26]: Driver Version: 550.78

LOG[2024-05-26 09:25:26]: Device name : NVIDIA GeForce RTX 3050 Laptop GPU

LOG[2024-05-26 09:25:26]: Device UUID : GPU-6169be12-ffa9-aa09-3c54-9991491beea1

Calling nvml shutdown and terminating the program

Traceback (most recent call last):

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 67, in <module>

    main()

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 40, in main

    main_funcs.fan_control(config)

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 211, in fan_control

    print_GPU_info(gpu_handle)

  File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 126, in print_GPU_info

    log_helper(f'Device fan speed : {pynvml.nvmlDeviceGetFanSpeed(gpu_handle)}%')

                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

  File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 2275, in nvmlDeviceGetFanSpeed

    _nvmlCheckReturn(ret)

  File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 833, in _nvmlCheckReturn

    raise NVMLError(ret)

pynvml.nvml.NVMLError_NotSupported: Not Supported

Your GPU Fan is controllable from Windows right?

Yes I am able to control fan speeds from windows (through myASUS).

Just tied that repo on my device, but it does't seem to work for me.

root@fedora:/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src$ python3 ./nvml_gpu_control.py fan-control -n 'NVIDIA GeForce RTX 3050 Laptop GPU'

LOG[2024-05-26 09:25:26]: Driver Version: 550.78

LOG[2024-05-26 09:25:26]: Device name : NVIDIA GeForce RTX 3050 Laptop GPU

LOG[2024-05-26 09:25:26]: Device UUID : GPU-6169be12-ffa9-aa09-3c54-9991491beea1

Calling nvml shutdown and terminating the program

Traceback (most recent call last):

File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 67, in

main()

File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/./nvml_gpu_control.py", line 40, in main

main_funcs.fan_control(config)

File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 211, in fan_control

print_GPU_info(gpu_handle)

File "/home/saikamal/Downloads/gitclones/NVML-GPU-Control/src/helper_functions.py", line 126, in print_GPU_info

log_helper(f'Device fan speed : {pynvml.nvmlDeviceGetFanSpeed(gpu_handle)}%')

                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 2275, in nvmlDeviceGetFanSpeed

_nvmlCheckReturn(ret)

File "/usr/local/lib/python3.12/site-packages/pynvml/nvml.py", line 833, in _nvmlCheckReturn

raise NVMLError(ret)

pynvml.nvml.NVMLError_NotSupported: Not Supported

Your GPU Fan is controllable from Windows right?

Yes I am able to control fan speeds from windows (through myASUS).

Guessing that it would not work in mine too then. I'll still give it a shot once, but I think this one is for Desktops.

If we want to get this working, I guess we should just go and modify the kernel driver and test out,
the relevant part of code is most probably at  https://github.com/torvalds/linux/blob/master/drivers/platform/x86/asus-wmi.c

Or just make one ourselves but I wonder how difficult that would be.


[Feature]: Support multi-node serving on Kubernetes

🚀 The feature, motivation and pitch
Hi, I'm currently working on deploying vLLM distributed on multi-node in k8s cluster. I saw that the official documentation provided a link by using LWS to deploy vllm for distributed model serving. The KubeRay team also provided a solution for multi-node deployment by using Ray Serve. But neither of these solutions has been integrated into the vllm codebase.
I was wondering if there are any development plans in it for vllm offcial team? If so, I am willing to provide relevant support in terms of code.
Alternatives
I have tried ray service example to deploy a 2-node serving. And it supposes to work. But there are some parts of the code need to be modified to be compatible with the latest version of vLLM.
The related works are listed below:

#3522
The Guide for deploying distributed inference service with vLLM by using LWS
The example for setting up multi-GPU serving with RayServe

cc @richardliaw @rkooo567 if you need to update ray doc

@flliny we'd be happy to add some links in https://docs.vllm.ai/en/latest/serving/distributed_serving.html#multi-node-inference-and-serving to link to your urls.
the vllm team itself will not work on kuberay integration.

@flliny we'd be happy to add some links in https://docs.vllm.ai/en/latest/serving/distributed_serving.html#multi-node-inference-and-serving to link to your urls.
the vllm team itself will not work on kuberay integration.

Thanks for reply.🙏

@flliny we'd be happy to add some links in https://docs.vllm.ai/en/latest/serving/distributed_serving.html#multi-node-inference-and-serving to link to your urls.
the vllm team itself will not work on kuberay integration.

There's no official version of Ray Serve yet. Does the official team have any intention to integrate it? Because Kubernetes Deployments aren't suitable for deploying distributed inference services. I'm considering using either LWS or Ray Serve to deploy my service. If the official provides multi-replica distributed inference services for Ray Serve, it would facilitate the deployment of services.

@linnlh we have a proposal and already built the internal version for such case.  https://docs.google.com/document/d/1K8Ve6KrabpexH-gIEcby9tKTEFysTd6kOZKZa_EdgRQ/edit#heading=h.fw9nktz8l24d the OSS plan is on the way. feel free to let me know your feedbacks

@linnlh we have a proposal and already built the internal version for such case. https://docs.google.com/document/d/1K8Ve6KrabpexH-gIEcby9tKTEFysTd6kOZKZa_EdgRQ/edit#heading=h.fw9nktz8l24d the OSS plan is on the way. feel free to let me know your feedbacks

hi @Jeffwan
excuse that is there the repo for your internal version that we can have a try？thanks


Remove Erlang module dependency

The rabbitMQ module no longer requires it, so we shouldn't either.

Erlang has vanished through 9be4fed.
Thanks for the PR anyhow.


support encoding FSA with characterLen > 1

BuiltTree tracks the largest rune seen, this allows the Encoder to
choose a characterLen large enough for all characters used in the FSA.
Encoder chooses the smallest characterLen that will work, and generates
correct header.
Encoder encodes each character into the correct space dictated by the
characterLen.  The encoding is designed to be compatible with the
existing decodeCharacter method (already present in the Decoder).
Encoder tests were added to verify encoding out put of files when the
characterLen of 2 and 4 are required.
Decoder tests were added to verify correct behavior with inputs
containing characterLen 2 and 4, though the Decoder itself was not
modified.
Encoder was changed to make WriteTo the primary API, since it can
stream out words to the underlying Writer as opposed to writing them
all out in memory first.  The Encode() method is now a wrapper around
the WriteTo streaming version.
This allows a performance optimization, since the Encoder is writing
out words at a time, and the words are fixed size, we can reuse a
buffer.  This change means the Encoder generates significantly less
garbage and makes fewer calls into the GC subsystem.
A new benchmark BenchmarkEncodeTo was added to quantify this:
$ benchcmp before.txt after.txt
benchmark               old ns/op     new ns/op     delta
BenchmarkEncodeTo-4     442626        377830        -14.64%
benchmark               old allocs     new allocs     delta
BenchmarkEncodeTo-4     4968           2833           -42.98%
benchmark               old bytes     new bytes     delta
BenchmarkEncodeTo-4     144112        86688         -39.85%
NOTE: one side-effect of this change is that Encoder is not
thread-safe.  It can be reused, but should only be used by a single
goroutine at a time.

Also, since I just realized there is another PR for an alternate solution.  I chose to keep the format fixed size, even though it wastes space, because it would more easily allow for mmap-backed runtime, without forcing the entire FSA into RAM (which is the next direction I wanted to explore).

@mschoch - This repository is no longer in active development. I recommend you continue to use your own fork of the project.


Which exchanges are supported by zenbot? (full supported, also trading)

Which exchanges are supported by zenbot? (full supported, also trading)

@refresh

Zenbot only supports GDAX trading at the moment @carlos8f correct me if I'm wrong.

@egorbenko this is correct, it's in the README.md documentation under features. "Default support for other exchanges is ongoing"


Added Record Screen command

Description
Comands which simplifies the start of new screen recording via QuickTime Player.
Type of change

New extension

Screencast

Checklist

[x] I read the extension guidelines
[x] I read the documentation about publishing
[x] I checked that extension's icon has size of 512x512

@janostik is there anything I can help you with?

Wouldn't it make more sense to add this as a script command instead?

Per, did you have some answer for that? This extension definitely could be easily done with Script Command instead of Extension, and I am really interested to know why @janostik consider it better as extension.

This extension definitely could be easily done with Script Command instead of Extension, and I am really interested to know why @janostik consider it better as extension.

Having it as an extension have one major benefit compared to script commands, they are easily shared and installable by others which already have a lot more potential having it this way.

Our official stand: there is nothing wrong with having extensions in the store that could've been scripts.
The only exception would be if functionality doesn't leverage rich UI where needed.

@pernielsentikaer Sorry for late response from my end, but I was offline for couple of days. If by scripts you mean standard script in terminal and not some feature in raycast I'm not aware of, my reasoning is following.
When I prepare scripts that I need to use, but do not use frequently (convert video to gif, start google meets quickly, ... ) I've found that it's easier for me to register these in raycast. Instead of opening the terminal and trying to remember if I've created the script and how I named it, I can open raycast and do fulltext search for action I need. Also I'm not sure if the targeted audience of the raycast app are people opening terminal.
Why this command specifically, it's because I've noticed that people around me using macs, have no idea there is a way you can record the screen or there might some specific shortcut do so.
But I'm not against removing this PR if you think this could be replaced by something more sophisticated like connection to specific app like CleanShot.

Having it as an extension have one major benefit compared to script commands, they are easily shared and installable by others which already have a lot more potential having it this way.

Sorry Per, but I have to disagree with you. It is amazing that Extensions has an easier way to be installed, but the Script Commands are also easily shareable, hence the Awesome Script Command available in the repository. One doesn’t exclude the other.
My understanding about the Extensions is that it is better used when you need UI, something that isn’t provided by the Script Commands.

@unnamedd, I think Per meant that distributing and installing extensions is easier through the store comparing to script commands through script-commands repo. We received a lot of feedback from users who are not familiar with GitHub that they struggled importing scripts into Raycast.
Extensions make it easier to group commands, they can be easily updated, all the resources are bundled inside, etc. For this reason we won't reject extensions that might easily be script-commands. In fact this Spotify Controls is a port of Spotify Control scripts.
Having said that scripts are simpler to get started with from developer side, so for now they can co-exist with extensions as just simpler workflows.

@PitNikola, I am not disagreeing that Script Commands is a bit harder to keep under a good management, but the problem solved for the Extensions was possible due to the lessons learned with Script Commands, doesn’t mean that now the Script Commands are evil because they are not so simple to be managed. This is something that isn’t really easy to solve but it’s also not very hard.
Definitely, we should find a better way to solve the Script Commands management.
but that’s just my 2 cents in the discussion.

Nobody said that it's evil or something :)

@janostik do you need any help?

Closing this PR due to inactivity – feel free to reopen later.


Regarding the proofs (and theorems) in Lean-WorkBook

The dataset is quite well-crafted, and I'm trying to verify the theorems and proofs with lean, by placing the theorems and proofs into a lean environment. So I extracted the proofs and theorems into the lean file, using this code (python, and can be exported as jupyter notebook) below. Note that lean_workbook is the file containing the lean workbook JSON file, and output_file is the file (need not be lean) that the code outputs the lean theorem to.
Extraction Code

# %%
import numpy as np
import pandas as pd

#Change output file and lean_workbook file as necessary
output_file = "/home/mfan/lean_docs_scrape_analysis/leandoc.txt"
lean_workbook = "/home/mfan/lean_docs_scrape_analysis/lean_workbook.json"

leandataset = pd.read_json(lean_workbook)

# %%
leandataset

# %%
largeproofdataset = leandataset[leandataset["proof"].map(len) > 1]

# %%
largeproofdataset

# %%
f = open(output_file, 'a', encoding="utf-8")

i = 0
for index, row in largeproofdataset.iterrows():
    if i >= 100:
        break
    print("\n", end="")
    f.write("\n")
    print(row["formal_statement"], end="")
    f.write(row["formal_statement"])
    i += 1

# %%
f.close()

This gives the following theorems:
Theorems

theorem lean_workbook_18 :
  (29 * 31 + 37 - 41) % 4 = 3  :=  by sorry
theorem lean_workbook_26 (x : ℝ) (hx : 0 < x) : x - 1 ≥ Real.log x  :=  by sorry
theorem lean_workbook_29 (a b c : ℝ) : (a + c) ^ 2 + 3 * b ^ 2 ≥ 3 * a * b + 3 * b * c + a * c  :=  by sorry
theorem lean_workbook_31 (a b c : ℝ) : a^2 + b^2 + c^2 ≥ a * b + b * c + c * a  :=  by sorry
theorem lean_workbook_32 : 2 * 1^2 + 1 ≤ 3^1  :=  by sorry
theorem lean_workbook_43 (a b : ℝ) : a ^ 4 + b ^ 4 + 2 ≥ 4 * a * b  :=  by sorry
theorem lean_workbook_96 (x y : ℝ) : |(abs x) - (abs y)| ≤ abs (x - y)  :=  by sorry
theorem lean_workbook_98 : 2^(0 + 1) = 2  :=  by sorry
theorem lean_workbook_101 (x : ℕ) (hx : x = 2^9 + 1) : x = 513  :=  by sorry
theorem lean_workbook_102  (p : ℝ)
  (h₀ : 8 * p^2 - 8 * p - 3 ≠ 0)
  (h₁ : 3 - (4 * p + 3) ≠ 0) :
  (3 - (4 * p + 3)) / (8 * p^2 - 8 * p - 3) = (-4 * p) / (8 * p^2 - 8 * p - 3)  :=  by sorry
theorem lean_workbook_136 (n : ℕ) : (4*n ≡ 4 [ZMOD 12] → n-1 ≡ 0 [ZMOD 3] → n ≡ 1 [ZMOD 3])  :=  by sorry
theorem lean_workbook_139 (a b c d : ℤ) (ha : a > 0 ∧ b > 0 ∧ c > 0 ∧ d > 0) (habc : a + b + c + d = 0) : a + b + c + d = 0  :=  by sorry
theorem lean_workbook_140 (x : ℝ) : x^2 + 4*x - 1 = (x + 2 + Real.sqrt 5) * (x + 2 - Real.sqrt 5)  :=  by sorry
theorem lean_workbook_141 : (5:ℝ)^(1/3) + Real.sqrt 2 < (4:ℝ)^(1/3) + Real.sqrt 3  :=  by sorry
theorem lean_workbook_190 (x y z : ℝ) (hx : x ∈ Set.Icc 0 1) (hy : y ∈ Set.Icc 0 1) (hxy : x + y ≤ 1) (hz : z ≥ 1) : 8 * x ^ 2 * y ^ 2 + z * (x + y) ^ 2 ≥ 4 * x * y * z  :=  by sorry
theorem lean_workbook_211 (n : ℕ) (x : ℤ) : x ^ (4 * n) + x ^ (2 * n) + 1 = (x ^ (2 * n) + x ^ n + 1) * (x ^ (2 * n) - x ^ n + 1)  :=  by sorry
theorem lean_workbook_214 (x y : ℝ) : (x - y) ^ 2 ≥ 0  :=  by sorry
theorem lean_workbook_242  (x y a : ℝ) :
  (3 * a + 2 * x + y) ^ 2 ≤ 9 * (a + x) * (a + x + y) ↔ 3 * a * (2 * x + y) + 5 * x ^ 2 + 5 * x * y ≥ y ^ 2  :=  by sorry
theorem lean_workbook_248 (x y : ℝ) : x^5 - y^5 = (x - y) * (x^4 + x^3*y + x^2*y^2 + x*y^3 + y^4)  :=  by sorry
theorem lean_workbook_251  (x : ℝ)
  (h₀ : 9 - x^2 ≥ 0) :
  -3 ≤ x ∧ x ≤ 3  :=  by sorry
theorem lean_workbook_261 : ∀ a b : ℝ, sin a * sin b = 1/2 * (cos (a - b) - cos (a + b))  :=  by sorry
theorem lean_workbook_273  (a : ℝ)
  (h₀ : 1 ≤ a) :
  a^4 + a ≥ a^3 + 1  :=  by sorry
theorem lean_workbook_282 (a b c : ℝ) : (a + b + c) ^ 2 ≥ 3 * (b * c + c * a + a * b)  :=  by sorry
theorem lean_workbook_283 {a b c : ℤ} (habc : a ≠ 0 ∧ b ≠ 0 ∧ c ≠ 0) (hab : a.gcd b = 1) (hbc : b.gcd c = 1) (hca : c.gcd a = 1) : ∃ k : ℤ, a.gcd (b + k * c) = 1  :=  by sorry
theorem lean_workbook_302 : cos θ = cos θ  :=  by sorry
theorem lean_workbook_314 (n : ℕ) : ∑ i in Finset.range (n+1), choose n i = 2 ^ n  :=  by sorry
theorem lean_workbook_350  (n k : ℕ)
  (h₀ : 0 < k ∧ 0 < n)
  (h₁ : n ≥ k) :
  Nat.choose n (k - 1) = Nat.choose n (n - k + 1)  :=  by sorry
theorem lean_workbook_381 (y z : ℝ) : (y - z) ^ 2 * (2 * y - z) ^ 2 * (3 * y - z) ^ 2 ≥ 0  :=  by sorry
theorem lean_workbook_407 : ∀ n:ℕ, 9 ∣ (10^n - 1)  :=  by sorry
theorem lean_workbook_436 : 7^7 < 2^20  :=  by sorry
theorem lean_workbook_485 (x y : ℝ) (h : 0 < x ∧ 0 < y) (h2 : x^3 + y^3 = x - y) : x^2 - y^2 < 1  :=  by sorry
theorem lean_workbook_490 : 3 ∣ c → 3^2 ∣ 3*c → 3 ∣ c  :=  by sorry
theorem lean_workbook_504 : 11 ^ 10 ≡ 1 [ZMOD 100]  :=  by sorry
theorem lean_workbook_505 : ∀ n : ℤ, 2 ∣ n^5 - n  :=  by sorry
theorem lean_workbook_508 (a b d x y : ℤ) (h₁ : d = gcd a b) : d ∣ a * x + b * y  :=  by sorry
theorem lean_workbook_513 : a ^ 2 + 1 ≡ 0 [ZMOD 3] → a ^ 2 ≡ -1 [ZMOD 3]  :=  by sorry
theorem lean_workbook_519 (a b c : ℝ) (ha : 0 < a) (hb : 0 < b) (hc : 0 < c) (hab : a + b + c = 1) (h : a^2 + b^2 + c^2 = 1) : (bc / (a - a^3) + ca / (b - b^3) + ab / (c - c^3)) ≥ 5 / 2  :=  by sorry
theorem lean_workbook_525 (a b c : ℝ) (ha : 0 < a) (hb : 0 < b) (hc : 0 < c) (hab : a + b ≤ c) : a * b + b ^ 2 + c ^ 2 ≥ (7 / 9) * (a + 2 * b) * c  :=  by sorry
theorem lean_workbook_543 : ∀ p : ℕ, p.Prime → ∀ n : ℕ, p - 1 ∣ p ^ n - 1  :=  by sorry
theorem lean_workbook_559  (a b : ℝ) :
  (1 + a^4) * (1 + b^4) ≥ (1 + a^2 * b^2) * (a^2 + b^2)  :=  by sorry
theorem lean_workbook_561 (a b c : ℝ) (ha : a ≠ b) (hb : b ≠ c) (hc : c ≠ a) (hab : a > b) (hbc : b > c) (hca : c > a) : (a * b + b * c + c * a) * (1 / (a - b) ^ 2 + 1 / (b - c) ^ 2 + 1 / (c - a) ^ 2) ≥ 4  :=  by sorry
theorem lean_workbook_565  (x : ℕ)
  (h₀ : (4 * x) % 128 = 12) :
  x % 32 = 3  :=  by sorry
theorem lean_workbook_570 (c : ℝ) (hc : 0 ≤ c) (f : ℝ → ℝ) (hf: ∀ x, f x = 1 / (c * x + 1)) : ∀ x y, (x > 0 ∧ y > 0) → f x * f (y * f x) = f (x + y)  :=  by sorry
theorem lean_workbook_588 (x : ℝ) : (x^6 - 1)^2 + (x^5 - x)^2 + (x^4 - x^2)^2 + 1 ≥ 0  :=  by sorry
theorem lean_workbook_617 :
  8 / (2 * 2) = 2  :=  by sorry
theorem lean_workbook_618 (a b : ℤ) : a^4 + 4 * b^4 = (a^2 + 2 * b^2 + 2 * a * b) * (a^2 + 2 * b^2 - 2 * a * b)  :=  by sorry
theorem lean_workbook_673 (a b : ℝ) : 2 * (a ^ 2 + b ^ 2) ≥ (a + b) ^ 2  :=  by sorry
theorem lean_workbook_676 (a : ℝ) (ha : 0 < a) : (a * (3 * a + 1)) / (a + 1) ^ 2 ≤ (3 / 4 : ℝ) * a + 1 / 4  :=  by sorry
theorem lean_workbook_680 (a b c : ℝ) (ha : a > 0 ∧ b > 0 ∧ c > 0 ∧ a + b + c = 3) : a^4 + b^4 + c^4 ≥ a^3 + b^3 + c^3  :=  by sorry
theorem lean_workbook_689 (x : ℝ) (h : x > 0) : (x + 1) ^ 2 ≥ 4 * x  :=  by sorry
theorem lean_workbook_694 (x : ℝ) (h : x + 600 = 1700) : x = 1100  :=  by sorry
theorem lean_workbook_695 (D : Set ℝ) (f : ℝ → ℝ)
    (hD : IsCompact D) (hf : ContinuousOn f D) :
    IsCompact (Set.image f D)  :=  by sorry
theorem lean_workbook_698 :
  ((1 + 6) * (2 + 9) * (5 + 8) - (3 + 4) / 7 = 1000)  :=  by sorry
theorem lean_workbook_704 : ∑ k in Finset.range 3, (Nat.choose 5 (2 * k + 1)) = 16  :=  by sorry
theorem lean_workbook_722 : ∀ x y z : ℝ, 16 * x ^ 2 + 25 * y ^ 2 + 36 * z ^ 2 ≥ 45 * y * z + 27 * z * x + 5 * x * y  :=  by sorry
theorem lean_workbook_742 :
  (-10:ℤ) + (-4:ℤ) + (2:ℤ) + (8:ℤ) + (14:ℤ) + (20:ℤ) + (26:ℤ) + (32:ℤ) + (38:ℤ) + (44:ℤ) = 170  :=  by sorry
theorem lean_workbook_743 (a b c d : ℤ) : (a^2 + b^2) * (c^2 + d^2) = (a * d + b * c)^2 + (a * c - b * d)^2  :=  by sorry
theorem lean_workbook_749 (m : ℕ) (hm : 0 < m) : ∃ n, m ∣ fib n  :=  by sorry
theorem lean_workbook_773 (a b c : ℝ) : (a^2 + 1) * (b^2 + 1) * (c^2 + 1) ≥ (a * b * c - 1)^2  :=  by sorry
theorem lean_workbook_785 (x y : ℝ) (r : ℝ) (hr : r = Real.sqrt (x ^ 2 + y ^ 2)) (hp : -Real.pi < θ ∧ θ ≤ Real.pi) (htr : (x, y) = (r * Real.cos θ, r * Real.sin θ)) : (x, y) = (r * Real.cos θ, r * Real.sin θ) ∧ -Real.pi < θ ∧ θ ≤ Real.pi  :=  by sorry
theorem lean_workbook_790  (n : ℕ)
  (u : ℕ → ℕ)
  (h₀ : 1 ≤ n)
  (h₁ : ∀ n, u n ≠ 0)
  (h₂ : ∑ k in Finset.Icc 1 (n + 1), (1 : ℝ) / (u k * u (k + 1)) = n / (u 1 * u (n + 1))) :
  ∑ k in Finset.Icc 1 (n + 1), (1 : ℝ) / (u k * u (k + 1)) + (1 : ℝ) / (u (n + 1) * u (n + 2)) =
    n / (u 1 * u (n + 1)) + (1 : ℝ) / (u (n + 1) * u (n + 2))  :=  by sorry
theorem lean_workbook_795  (a b c : ℝ) :
  (a + b + c) ^ 3 - a ^ 3 - b ^ 3 - c ^ 3 = 3 * (a + b) * (b + c) * (c + a)  :=  by sorry
theorem lean_workbook_811 : ∀ x : ℝ, x^4 + x^2 + 1 = (x^2 - x + 1) * (x^2 + x + 1)  :=  by sorry
theorem lean_workbook_837 :∀ a b c x y z p q r : ℝ,  p = a^2 + b^2 + c^2 ∧ q = a * b + b * c + c * a ∧ r = (b - a) * (b - c) ∧ x = a^2 + 2 * b * c ∧ y = b^2 + 2 * c * a ∧ z = c^2 + 2 * a * b → x * z = p * (q - r) + r^2  :=  by sorry
theorem lean_workbook_847 (x y : ℝ) : 2 * (x^2 + y^2) ≥ (x + y)^2  :=  by sorry
theorem lean_workbook_849 : Real.cos (π / 2) = 0  :=  by sorry
theorem lean_workbook_874 (a b : ℝ) (hab : a > -1 ∧ b > -1)(h : a^3 + b^3 >= a^2 + b^2) : a^5 + b^5 >= a^2 + b^2  :=  by sorry
theorem lean_workbook_942 :
  1 - (25 : ℝ) / 64 = 39 / 64  :=  by sorry
theorem lean_workbook_943 : (1 ^ 251 * 1 * 3) % 8 = 3  :=  by sorry
theorem lean_workbook_944 ∑ k in (Finset.range 10), (2^k) = 2^10 - 1  :=  by sorry
theorem lean_workbook_946 (c d : ℝ) (h₁ : c + d = 7) (h₂ : c * d = 9) : c^3 + d^3 = 154  :=  by sorry
theorem lean_workbook_952 (a : ℝ) : sin (a / 2) * (sin (a / 2) - 1) ≥ -1 / 4  :=  by sorry
theorem lean_workbook_953 : ∀ x y : ℝ, Real.sqrt ((x + 2) ^ 2 + (y + 2) ^ 2) ≥ (x + 2 + y + 2) / Real.sqrt 2  :=  by sorry
theorem lean_workbook_954 (x y z : ℝ) (h : x*y^2 + y*z^2 + z*x^2 = 3) (hx : 0 < x) (hy : 0 < y) (hz : 0 < z) : (x + 7)^(1/3) + (y + 7)^(1/3) + (z + 7)^(1/3) ≤ 6  :=  by sorry
theorem lean_workbook_978 (x y z : ℝ) (h : x + y + z = 3) :
  x * y + x * z + y * z ≤ 3  :=  by sorry
theorem lean_workbook_982 (x y z: ℝ) : x ^ 2 + y ^ 2 + z ^ 2 ≥ x * y + x * z + y * z  :=  by sorry
theorem lean_workbook_987 {a b c d e : ℝ} (h1 : 0 ≤ a ∧ 0 ≤ b ∧ 0 ≤ c ∧ 0 ≤ d ∧ 0 ≤ e) (h2 : a ≤ b ∧ b ≤ c ∧ c ≤ d ∧ d ≤ e) : d + e ≥ c + e ∧ c + e ≥ d + b ∧ d + b ≥ a + c ∧ a + c ≥ a + b ∧ a + b ≥ 0  :=  by sorry
theorem lean_workbook_1001 {a b c d : ℂ} : (a^2 + b^2) * (c^2 + d^2) = (a * d - b * c)^2 + (a * c + b * d)^2  :=  by sorry
theorem lean_workbook_1002 (y : ℝ) (hy : -1 / 2 < y ∧ y < 0) : |y| > |2*y^2|  :=  by sorry
theorem lean_workbook_1003 (x y: ℝ): x ^ 2 + x + y ^ 2 + y + 1 ≥ x * y  :=  by sorry
theorem lean_workbook_1008 : ∀ x y : ℝ, Real.cos x - Real.cos y = -2 * Real.sin ((x + y) / 2) * Real.sin ((x - y) / 2)  :=  by sorry
theorem lean_workbook_1018  (a b c d : ℝ) :
  3 * (a^2 + b^2 + c^2 + d^2) - 4 * (a * b + b * c + c * d + d * a) + 2 * (a * c + b * d) ≥ 0  :=  by sorry
theorem lean_workbook_1021 (r : ℝ) (n : ℕ) : ∃ f : ℕ → ℝ, f 1 = r ∧ ∀ k, f k = (2 : ℝ)^(k-1) * f 1  :=  by sorry
theorem lean_workbook_1024 (x : ℝ) (hx : ∃ z : ℤ, x = z) : (Int.floor x)^3 + 2 * x^2 = x^3 + 2 * (Int.floor x)^2  :=  by sorry
theorem lean_workbook_1032 (a b c : ℝ) : (5 / 3) * (a ^ 2 + b ^ 2 + c ^ 2) ^ 2 ≥ 2 * (a ^ 3 * b + b ^ 3 * c + c ^ 3 * a) + 3 * (a * b ^ 3 + b * c ^ 3 + c * a ^ 3)  :=  by sorry
theorem lean_workbook_1039 (x : ℝ) (hx : x = (4 - 2 * Real.sqrt 3) / 2) : x = 2 - Real.sqrt 3  :=  by sorry
theorem lean_workbook_1041 : 13 ∣ 2^30 + 3^60  :=  by sorry
theorem lean_workbook_1043 : 2 / 5 * (x + 1) ^ (5 / 2) - 2 / 3 * (x + 1) ^ (3 / 2) = 2 / 3 * x * (x + 1) ^ (3 / 2) - 4 / 15 * (x + 1) ^ (5 / 2)  :=  by sorry
theorem lean_workbook_1046 : ∀ a b c : ℝ, (2 * a ^ 2 - c ^ 2) ^ 2 + (2 * b ^ 2 - c ^ 2) ^ 2 ≥ 0  :=  by sorry
theorem lean_workbook_1048 (p : ℕ) (hp : p.Prime) (a : ZMod p) (ha : a ≠ 0) : ∃ b : ZMod p, a * b = 1  :=  by sorry
theorem lean_workbook_1062 (R r : ℝ) : 9 * R ^ 2 - 20 * R * r + 31 * r ^ 2 ≥ 16 * R * r - 5 * r ^ 2  :=  by sorry
theorem lean_workbook_1071 (n : ℕ) : 1998 = 2 * 3^3 * 37  :=  by sorry
theorem lean_workbook_1082 : 2 * Real.sin a * Real.cos b = Real.sin (a + b) + Real.sin (a - b)  :=  by sorry
theorem lean_workbook_1096  (a b c : ℝ) :
  a * b + b * c + c * a - a * b * c ≤ (c^2 + 1) / 2 + (a^2 + b^2) / 2 ↔
  a^2 + b^2 + c^2 + 2 * a * b * c + 1 ≥ 2 * (a * b + b * c + c * a)  :=  by sorry
theorem lean_workbook_1105 (n : ℕ) (hn : 0 < n) (x_n : ℝ) (hx_n : x_n = (3 + Real.sqrt 5)^n + (3 - Real.sqrt 5)^n) : 2^n ∣ x_n  :=  by sorry
theorem lean_workbook_1116  (a b c : ℝ) :
  a^4 + b^4 + c^4 ≥ a^2 * b^2 + b^2 * c^2 + c^2 * a^2  :=  by sorry
theorem lean_workbook_1122 (n : ℕ) : choose (n + 1) 2 + n + 1 = choose (n + 2) 2  :=  by sorry
theorem lean_workbook_1130 : √((-1 : ℝ) ^ 2) = 1  :=  by sorry
theorem lean_workbook_1155 {a b : ℕ} : Nat.lcm a b = a * b / Nat.gcd a b  :=  by sorry
theorem lean_workbook_1160 (a b c d : ℝ) (ha : a + 4 * b + 9 * c + 16 * d = 25) (hb : 4 * a + 9 * b + 16 * c + 25 * d = 36) (hc : 9 * a + 16 * b + 25 * c + 36 * d = 49) : 16 * a + 25 * b + 36 * c + 49 * d = 64  :=  by sorry

The compiler notices some issues in the functions, like choose not being Nat.choose in this theorem:
theorem lean_workbook_1122 (n : ℕ) : choose (n + 1) 2 + n + 1 = choose (n + 2) 2  :=  by sorry
and sin and cos not being Real.sin and Real.cos, respectively, in this theorem:
theorem lean_workbook_261 : ∀ a b : ℝ, sin a * sin b = 1/2 * (cos (a - b) - cos (a + b))  :=  by sorry
Secondly, and my main issue, is that proof statements are repeated many times, even when the goal has already been proven. To utilize the proofs, I used this following code:
Code

# %%
import numpy as np
import pandas as pd

#Change output file and lean_workbook file as necessary
output_file = "/home/mfan/lean_docs_scrape_analysis/leandoc.txt"
lean_workbook = "/home/mfan/lean_docs_scrape_analysis/lean_workbook.json"

leandataset = pd.read_json(lean_workbook)

# %%
leandataset

# %%
largeproofdataset = leandataset[leandataset["proof"].map(len) > 1]

# %%
largeproofdataset

# %%
f = open(output_file, 'a', encoding="utf-8")

i = 0
for index, row in largeproofdataset.iterrows():
    if i >= 100:
        break
    print("\n", end="")
    f.write("\n")
    print(row["formal_statement"], end="")
    f.write(row["formal_statement"][:(-5)])
    for element in row["proof"]:
        print("\n  " + element, end="")
        f.write("\n  " + element)
    i += 1

Which is very similar to the previous code, but I removed the "sorry" after the theorem and added these three lines near the end:
for element in row["proof"]:
    print("\n  " + element, end="")
    f.write("\n  " + element)

This gives many theorems (though not with the correct indent, so I hand-added a few indents for some of the code), giving the first theorem below:
theorem lean_workbook_18 :
  (29 * 31 + 37 - 41) % 4 = 3  :=  by
  simp [Nat.mod_lt]
  simp only [Nat.add_mod_left, Nat.mod_eq_zero_of_dvd, dvd_pow]
  simp only [Nat.gcd_add_self_right]
  simp only [Nat.add_mod, Nat.mul_mod, Nat.mod_mod]
  simp only [Nat.mod_add_div]
  exact (by norm_num : (29 * 31 + 37 - 41) % 4 = 3)
  simp only [Nat.mul_comm, Nat.mul_assoc, Nat.mul_left_comm]
  norm_num [Int.add_emod]
  simp only [Nat.mul_mod_right]
  simp only [add_comm]
  simp only [Nat.gcd]
  simp only [Nat.mod_eq_zero_of_dvd, dvd_pow]
  simp only [Nat.mul_mod, Nat.mod_mod]
  simp [Mod.mod]
  simp only [Nat.add_comm, Nat.add_left_comm, Nat.add_assoc, Nat.mul_comm, Nat.mul_left_comm, Nat.mul_assoc, Nat.sub_sub]
  simp only [Nat.add_comm, Nat.add_left_comm]
  simp only [Nat.add_sub_assoc, Nat.mod_self]
  simp only [mod_eq_sub_mod]
  norm_num [Nat.mod_eq_of_lt]
  simp only [Nat.add_mod, Nat.mul_mod, Nat.mod_mod, Nat.mod_eq_zero_of_dvd]
  exact Nat.mod_mod 3 4
  norm_num [Nat.mul_mod, Nat.add_mod, Nat.mod_mod]
  simp only [Nat.mod_mod]
  exact rfl
  simp only [Nat.add_sub_assoc]

But, as we see in this recording, only a few lines (only one proof line!) is needed.
https://github.com/InternLM/InternLM-Math/assets/118628756/9c9f9b75-05da-44e2-b439-45328aeca4c1
Something similar happens for multiple other theorems. Thank you for your time!

I see, thank you! That explains the \n s in each list item.

I have a question here, I see almost all theorems are ended by sorry, then how does this lean code in dataset improves the model's performance? Or does this dataset is used to just train to translate natural language questions to lean statements without proofs?

no, in your dataset , most of proofs (127391 of 140214) are none. So how you use the dataset for improving math ability?

Thanks a lot! you said

our model has not found proof yet

Your paper said that proofs are searched by InternLM-Math-Plus(I hope I understand it right), but looks like your only tried best first search in your code. Have you tried other search methods?
Another question I have is, you use Qwen-1.5-14B-Chat to extract data and do NLI. What is the translation model that be finetuned?

Thanks a lot! so in Lean-workbook, you use whole proof search by your model InternLM-Math-Plus-20B or MoE? Can you release the code for your current lean-workbook search results? So that we can also improve the whole proof ability.


Division and multiplication support in inline expressions

View:
  Column:
    styles: { padding: 20 }
    children:
      - Text:
          text: ${100}        # prints 100
      - Text:
          text: ${100 - 10}   # prints 90
      - Text:
          text: ${100 * 2}    # prints ${100 * 2}
      - Text:
          text: ${100 / 2}    # prints  ${100 / 2}

added operators that were missing from the regex for expressions


rewrite syntax reference

Are there good docs somewhere for the rewrite syntax? I thought maybe koa-rewrite was being used but I couldn't find very much there either.
I'm trying to ignore url search parameters but not other suffixes.
/test.html -> /real.html     doesn't match anything with search string like /test.html?q=test
/test.html?* -> /real.html     lets anything through, like /test.htmlNOT
Is ? a meta character? I tried a few things to escape it but nothing I could think of worked.

have you tried here?

Yes, I saw that, it appears to only brush the topic somewhat lightly. The question mark character appears to act in a special way but is not mentioned, nor is escaping meta characters. Is there any special support for search query parameters? Many systems have pseudo-regexp support so I was wondering if ? was affected by something like that.

did you click the "express routing syntax" link?
https://expressjs.com/en/guide/routing.html
On 18 Sep 2017 00:38, "Mike"<EMAIL_ADDRESS>wrote:

Yes, I saw that, it appears to only brush the topic somewhat lightly. The
question mark character appears to act in a special way but is not
mentioned, nor is escaping meta characters. Is there any special support
for search query parameters? Many systems have pseudo-regexp support so I
was wondering if ? was affected by something like that.
—
You are receiving this because you modified the open/close state.
Reply to this email directly, view it on GitHub
https://github.com/lwsjs/local-web-server/issues/73#issuecomment-330102032,
or mute the thread
https://github.com/notifications/unsubscribe-auth/ABMK7JS3R_7sEuZNWjNpkM8-_CyfnFoFks5sja1_gaJpZM4PaSjO
.

No I didn't see that despite looking at that page at least three times. Sorry, thanks, just what I needed.

no worries.. it's a wiki, so you can edit things if you think something is not clear enough.


Scaffolding failed

dotnet-aspnet-codegenerator razorpage -m Movie -dc RazorPagesMovieContext -udl -outDir Pages/Movies --referenceScriptLibraries
The step in the tutorial where the above command is used gets scaffolding failed error for me. I guess this issue is closely related to this open issue but I haven't been able to resolve it yet.
Document Details
⚠ Do not edit this section. It is required for docs.microsoft.com ➟ GitHub issue linking.

ID: 6719f08e-3bd7-dc1a-71df-f2ef9fbca9d8
Version Independent ID: 7096fdb3-612e-9e00-bd0b-8ea4886a09ce
Content: Part 2, add a model
Content Source: aspnetcore/tutorials/razor-pages/model.md
Product: aspnet-core
Technology: aspnetcore-tutorials
GitHub Login: @Rick-Anderson
Microsoft Alias: riande

That's the right place to track the error.


[SPARK-42766][YARN] YarnAllocator filter excluded nodes when launching containers

What changes were proposed in this pull request?

In production environment, we hit an issue like this:
If we request 10 containers form nodeA and nodeB, first response from Yarn return 5 contianers from nodeA and nodeB, then nodeA blacklisted, and second response from Yarn maybe return some containers from nodeA and launching containers, but when containers(Executor) setup and send register request to Driver, it will be rejected and this failure will be counted to
spark.yarn.max.executor.failures and will casue app failed: Max number of executor failures ($maxNumExecutorFailures) reached.
Why are the changes needed?

Filtering excluded nodes when launching containers to avoid failing the app.
Does this PR introduce any user-facing change?

No
How was this patch tested?

Added UT

I am not sure if we should add a Executor exit code and optimize the RegisterExecutor response message in this pr.In production environment, we found sometimes only filter the exclued node when launching containers does not work as well as we want, because we found maybe driver does not request new executors for a period of time, so the execluded nodes list wont be sent to YarnAllocator though requestTotalExecutorsWithPreferredLocalities, some executors will failed and count to the failure count.
So we add the Executor exit code and optimize the RegisterExecutor response message.

@Ngone51 @tgravescs could you please help review this pr when you have time, thanks.


guttermarker improvements

removed: unused source file: PreferencesManager.js
fixed: gutter order sometimes conflicting with GitGutter
fixed: show error icon on top when the line has both warning and error
feature: preference to hide error/warning icons in gutter

i've fixed my comments and published as 2.4.0

@zaggino Thank you


1.22 feature blog for api server tracing

1.22 feature blog post for "API Server Tracing" (https://github.com/kubernetes/enhancements/issues/647).
Target publish date is ~08/06/21~  August 23.
cc: @dashpole

/sig instrumentation

@dashpole when you can please address final nits and update publication date to August 23. Thank you!

@jlbutler I finished writing the demo section, and addressed comments.

Thanks @dashpole!
@chrisnegus can you take a final pass on this one? Thanks!!

@jlbutler is this still a WIP?

@jlbutler is this still a WIP?

I don't believe so as we are chasing nits now. I'll drop the tag, thanks @sftim
@chrisnegus if the final changes look good, can you +1? Thanks all!

@sftim does this need further review or SIG sign-off, or just waiting on final lgtm from you? cc: @dashpole

@kubernetes/sig-instrumentation-members ,
Can SIG Instrumentation give a technical review and sign off on this blog

@dashpole it would be handy to rename content/en/blog/_posts/2021-08-06-api-server-tracing.md to match the new publication date. Hugo won't mind but it's easier for us humans.

@dashpole it would be handy to rename content/en/blog/_posts/2021-08-06-api-server-tracing.md to match the new publication date. Hugo won't mind but it's easier for us humans.

@sftim are we keeping this one at yesterday's date, or do we need to pick a new date?

I'm afraid we need a new date - I'm not keen to have posts dated in the past turn up on the blog when they weren't there on the day.

@logicalhan can you take a pass over this and make sure it is technically correct?  Thanks!


Please mark releases as "pre-release" if it's beta/alpha

for reference see: https://github.com/MuhammedKalkan/OpenLens/issues/105
alpha/beta releases on github shall be tagged with "pre-release" accordingly, would it be possible?
thank you

fixed by #6963


FilePicker example doesn't compile

Describe the bug
FilePicker example not working
To Reproduce
Steps to reproduce the behavior:

Go to 'examples/filepicker/main.go'
you ll have an error huh.NewFilePicker() compiler(UnderclaredImportedName)

Expected behavior
Compiles and runs
Screenshots

Desktop (please complete the following information):

OS: MacOS
Version Montery

Updating dependencies was enough to solve the issue, sorry opened the issue in a hurry


PAPP-21257 App fails periodically due too many active sessions

Please ensure your pull request (PR) adheres to the following guidelines:

Please refer to our contributing documentation for any questions on submitting a pull request, link: Contribution Guide

Pull Request Checklist
Please check if your PR fulfills the following requirements:

[ ] Testing of all the changes has been performed (for bug fixes / features)
[ ] The readme.html has been reviewed and added / updated if needed (for bug fixes / features)
[ ] Use the following format for the PR description: <App Name>: <PR Type> - <PR Description>
[ ] Provide release notes as part of the PR submission which describe high level points about the changes for the upcoming GA release.
[ ] Verify all checks are passing.
[ ] Do NOT use the next branch of the forked repo. Create separate feature branch for raising the PR.
[ ] Do NOT submit updates to dependencies unless it fixes an issue.
[ ] Limit your pull request to one application and submit multiple pull requests if necessary.

Pull Request Type
Please check the type of change your PR introduces:

[ ] New App
[x] Bugfix
[ ] Feature
[x] Code style update (formatting, renaming)
[ ] Refactoring (no functional changes, no api changes)
[ ] Documentation
[ ] Other (please describe):

Release Notes (REQUIRED)

Provide release notes as part of the PR submission which describe high level points about the changes for the upcoming GA release.
Added active session cleanup

What is the current behavior? (OPTIONAL)

Describe the current behavior that you are modifying.

What is the new behavior? (OPTIONAL)

Describe the behavior or changes that are being added by this PR.

Other information (OPTIONAL)

Any other information that is important to this PR such as screenshots of how the component looks before and after the change.

Pay close attention to (OPTIONAL)

Any specific code change or test case points which must be addressed/reviewed at the time of GA release.

Screenshots (if relevant)

Thanks for contributing!

please update unreleased.md with relevant release note changes, see https://confluence.splunk.com/display/APD/Splunk-SOAR-Connectors+Overview#SplunkSOARConnectorsOverview-GeneratingReleaseNotes for more details


Get-SPOProvisioningTemplate fails "Themeinfo-....." is invalid

The theme is the default theme.  The site template is BLANKINTERNET#0.  The site has its own css file which change the colours of some of the items.
If I run the Get-SPOProvisioningTemplate from a C# program it works, but no signs  of any theme information.

A bit more information.  If I run the Get-SPOProvisioningTemplate twice in succession then I get this error on the second command.  If I execute a different command in between two Get-SPOProvisioningTemplate commands, then I don't get the error.  SO sounds like an uninitialized variable, which is taking its value from the previous run.

We have been working on the updated theme handling for the engine few times and this should be now solid based on the community discussions also in Yammer. If this is not the case, just let us know and we'll have a look on this again. Thx for submitting and sorry for the way too long lead times on getting response on this submission.


M3 2247 Part 3: Functionality

Description
This PR adds the API requests necessary to make this feature work. It includes error and loading states.
Note to Reviewers
To test, go to Linode Details -> Advanced. Click the action menu of a Config or Disk, and you'll be taken to the new Clone page. Try cloning different combinations of disks/configs to different Linodes.
Feature roadmap:

Routing
Components/internal state
Functionality (API requests, error, loading states) (this PR)
3.5. Proactive space errors / grouped Linodes in LinodeSelect
Unit tests

The page title is "Clone", and the Linode you're on isn't specified anywhere. Could we make it "Clone my-linode" instead?

@Jskobos we talked about adding the <Breadcrumb /> component, which will have the name of the Linode on it. I think that'll take care of the issue of not knowing which Linode you're looking at.


Bring back the Localization modules

See: https://github.com/squaresLab/Darjeeling/blob/master/src/darjeeling/localization.py


Python module seems to be broken

Opening a .py file presents:
File mode specification error: (void-variable python-mode)`

Odd. I'm getting different errors -- which I've fixed. Let me know if I've resolved your issue.

Just tried it a couple of different ways, but no dice. First I just pulled the changes and opened as usual. Then I tried subbing in your modules/private config, so my init.el looked like this:
;;; init.el

(require 'core (concat user-emacs-directory "core/core"))

(doom! :feature
       evil            ; come to the dark side, we have cookies
       snippets        ; my elves. They type so I don't have to
       file-templates  ; auto-snippets for empty files
       ;; spellcheck      ; tasing you for misspelling mispelling
       syntax-checker  ; tasing you for every forgotten semicolon
       version-control ; remember, remember that commit in November
       workspaces      ; tab emulation, persistence and separate workspaces
       eval            ; repls, runners 'n builders; run code, run
       debug           ; stepping through code, to help you add bugs

       :completion
       company         ; auto-completion backend
       ivy             ; a search engine for love and life

       :ui
       doom            ; doom-one; a look inspired by Atom's Dark One
    ;; doom-dashboard  ; a nifty splash screen for Emacs
       doom-modeline   ; a snazzy Atom-inspired mode-line
       doom-quit       ; DOOM quit-message prompts when you quit Emacs
       hl-todo         ; highlight TODO/FIXME/NOTE tags

       :tools
       electric-indent ; smarter, keyword-based electric-indent
       eshell          ; a consistent, cross-platform shell (WIP)
       dired           ; making dired pretty [functional]
       restclient      ; A REST REPL
       rotate-text     ; cycle region at point between text candidates
       tmux            ; an API for interacting with tmux
       upload          ; map local to remote projects via ssh/ftp

       :lang
       ;; assembly        ; assembly for fun or debugging
       ;; cc              ; C/C++/Obj-C madness
       ;; crystal         ; ruby at the speed of c
       ;; csharp          ; unity, .NET, and mono shenanigans
       data            ; config/data formats
       emacs-lisp      ; drown in parentheses
       ;; go              ; the hipster dialect
       ;; haskell         ; a language that's lazier than I am
       ;; java            ; the poster child for carpal tunnel syndrome
       ;; javascript      ; all(hope(abandon(ye(who(enter(here))))))
       ;; julia           ; a better, faster MATLAB
       latex           ; writing papers in Emacs has never been so fun
       ;; lua             ; one-based indices? one-based indices
       markdown        ; writing docs for people to ignore
       ;; octave          ; math isn't a choice, it's a way of life
       org             ; for organized fearless leader (WIP)
       ;; php             ; make php less awful to work with
       ;; processing      ; for prototyping
       python          ; beautiful is better than ugly
       ;; ruby            ; 1.step do {|i| p "Ruby is #{i&1==0?'love':'life'}"}
       ;; rust            ; Fe2O3.unwrap().unwrap().unwrap().unwrap()
       ;; scala           ; java, but good
       sh              ; she sells (ba|z)sh shells on the C xor
       ;; swift           ; who asked for emoji variables?
       ;; typescript      ; javascript, but better
       web             ; the tubes

       ;; Applications are large, toggle-able states that transform Emacs to
       ;; fulfill a specific purpose. See `doom/toggle'. They should be loaded
       ;; last.
       :app
       ;; TODO crm             ; org-mode for client relations management
       ;; TODO db              ; Emacs as a database browser
       ;; TODO email           ; Emacs as an email client
       ;; TODO finance         ; keeping track of my shekels
       ;; TODO present         ; showing off presentations in emacs
       ;; TODO rss             ; emacs as an RSS reader
       ;; TODO stream          ; for streaming code (https://livecoding.tv/vnought)
       ;; TODO twitter         ; twitter client https://twitter.com/vnought
       ;; TODO write           ; emacs as a word processor (latex + org + markdown)

       ;; Private modules are aren't tracked in the repo, except for mine. Use
       ;; it as a reference for your own.
       :private
       hlissner)
       ;; rjww)

Then I moved that to _init.el, copied init.example.el to init.el, ran make clean and deleted .local, and reinstalled everything with make and then make compile.

Ah, looks like it has something to do with byte-compiling the python module. I'll look into it.

Looks like this is resolved. Feel free to reopen if you're still having the problem.


grapejuice: 6.2.2 -> 7.2.0

Description of changes

Changelog
Diff of v6.2.2 and v7.2.0

I added the pedantic Python dependency to the propagatedBuildInputs, added xrandr to the wrapper's PATH (there was an error from it missing before), and updated the substitution for the default Wine home setting.
Things done

Built on platform(s)

[x] x86_64-linux
[ ] aarch64-linux
[ ] x86_64-darwin
[ ] aarch64-darwin

[ ] For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
[ ] Tested, as applicable:

NixOS test(s) (look inside nixos/tests)
and/or package tests
or, for functions and "core" functionality, tests in lib/tests or pkgs/test
made sure NixOS tests are linked to the relevant packages

[ ] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
[x] Tested basic functionality of all binary files (usually in ./result/bin/)
23.05 Release Notes (or backporting 22.11 Release notes)

[ ] (Package updates) Added a release notes entry if the change is major or breaking
[ ] (Module updates) Added a release notes entry if the change is significant
[ ] (Module addition) Added a release notes entry if adding a new NixOS module
[ ] (Release notes changes) Ran nixos/doc/manual/md-to-db.sh to update generated release notes

[x] Fits CONTRIBUTING.md.

Gui launches, thanks.


Restore server-side persistent keepalive for logged-in users for a specified time frame

Prior to v7.3.2 and https://github.com/NHAS/wag/issues/64, this feature was convenient—I could put my laptop to sleep and resume work in the morning without going through the authentication process again. Reintroducing this capability for logged-in users within a defined time window would be quite handy.

Honestly, kudos to whatever device is handling your NAT for keeping its entry alive with only mono-directional traffic.
As for adding it back, I think I'll just add it to the config file as that seems easiest!

Ah  never marked this as on unstable.
This has been brought back as the ServerPersistentKeepAlive configuration open for you!

Obviously this hasnt made it into a main release just yet. But soon


[Request] Context Menu - (Optional) Navigation buttons?

Background: The default Firefox context menu includes buttons to reload and navigate backwards. Major browsers including the new Edge and Brave also include these buttons in the context menu. These buttons can therefore be useful to have for the sake of consistency and for those who're used to them in the context menu which I assume includes many Firefox users too.

Proposed Solution: I would like it if quietfox could also have them even as an optional switch so they can be enabled by those who want them if not as a default.

Good point, a quick fix is you can remove lines 694 and 695 to bring back navigation buttons in the menu.
Then add this to make the navigation buttons' background color match the rest of the menu:
#context-navigation {
    background-color: var(--toolbar-bgcolor) !important;
}

Should look like this:

I'll look into adding this as a customization switch in the future.


chore: fixes markdown linter issues

Fixes markdown linter complaints, seen in this PR.

Closing as the issues were resolved in another PR.


don't wrap last array item when trailingComma is 'none'

Hi, thanks for the awesome plugin, but I noticed a strange behavior when trailingComma is 'none'
.prettierrc
{
    printWidth: 120,
    tabWidth: 4,
    useTabs: false,
    singleQuote: true,
    trailingComma: 'none', // <---
    plugins: ['prettier-plugin-multiline-arrays'],
}

source:
const { join } = require('path');

const arr = [
    join('...', '...'),
    join('...', '...')
]; // <---

after prettier --write:
const { join } = require('path');

const arr = [
    join('...', '...'),
    join('...', '...')]; // <---

Nice catch! I'll try to repro and fix.

Note: this also happens in JSON (since JSON doesn't allow trailing commas)

I have the same issue with trailingComma: 'es5'
Original code
{
    "files": [],
    "references": [
        {"path": "./tsconfig.app.json"},
        {"path": "./tsconfig.node.json"}
    ]
}

after this plugin is executed, I ended up with
{
    "files": [],
    "references": [
        {"path": "./tsconfig.app.json"},
        {"path": "./tsconfig.node.json"}]
}

fixed for the next release

released in v4.0.0


docs(gh): Added renaming inputs section to GH docs

THIS SHOULD ONLY BE MERGED AFTER RELEASING 2.5.0
The new ways of renaming inputs has now a proper section in the docs, plus gif animations to better convery what's happening.

This got lost and forgotten! But should have gone in a WHILE back 🤦🏼♂ In it goes  now!!


[KBFS-1408] Do MD journal branch conversions atomically

I.e., don't leave part of the MDs on the new branch.
Also, make sure that the branch IDs of the earliest
and latest MD are consistent.

Looks good to me, thanks!


Refactored page fetching logic and cached on request

Fix #9564
Closes issue #3066

Any idea whats up with test_find_for_request? It passes for me locally and the import is at the top of the file - I just copied it from test_valid_headers_route_to_specific_site?
System check identified 3 issues (0 silenced).
test_find_for_request (wagtail.tests.test_page_model.TestSiteRouting) ... ok

----------------------------------------------------------------------
Ran 1 test in 0.307s

@zerolab @lb- not sure what is happening with the test failure but otherwise ready for review

@RealOrangeOne think I resolved all your concerns and tested the cases with better readability

Merged in 06ed3ae6b88366647512f848017db8bb28c08813 + release notes (989a51f425cc1f90d68ca6d133bc97d2be16acdc).
Thanks @thenewguy et al


Nami wallet hacked and funds drained

My wallet was hacked and all my funds from my wallet were drained as well as all the liquidity I provided on MinSwap. Cans someone please help me find out how this happened and how to recover my funds? It was a lot!

Talk to Cardano Dev on the Live support page so that your issue can be looked into.

@Devjohn12 scam!! For anyone else commenting here, the above website is a phishing site.

@divergentprod he scammed me as well.

@Deelu29 Who's he?

@divergentprod I don't know who @devjohn12 is. But he posed like he needed help like I did. Then deleted his account after I got all my ada drained.

 Wish we could help each other somehow.

I know rite.

Same thing happened to me but thanks to Blackhathacker111 who helped me message him on telegram his telegram username is https://t.me/Blackhathacker111

Same thing happened to me but thanks to Blackhathacker111 who helped me recover all my funds,message him on telegram his telegram username is https://t.me/Blackhathacker111

My wallet was hacked and all my funds from my wallet were drained as well as all the liquidity I provided on MinSwap. Cans someone please help me find out how this happened and how to recover my funds? It was a lot!
So sorry about what happened same thing happened to me my wallet got hacked and about 0.9 btc was stolen thanks to Mr John a whitehathacker who helped me recover all of it message him on telegram too t.me/Whitehathacker217

So sorry about what happened same thing happened to me my wallet got hacked and about 0.9 btc was stolen thanks to Mr John a whitehathacker who helped me recover all of it message him on telegram too t.me/Whitehathacker217


Add shortcut to run rustfmt

I think it would be nice if one could run rustfmt from a keyboard shortcut, similar to ctrl+return to run code, or ctrl+F9 on compiler-explorer.org.

This was something we had discussed a long while ago, and I'm generally in favor. Some thoughts:

We should do it for all the tools
We should show the shortcuts in the tools menu:

We should be able to use these shortcuts both when the cursor is and is not focused on the editor component.
We should think about making them comfortable for both macOS vs Linux/Windows users.

Another nice-to-have that's related to this would be vim-mode shortcuts for the same actions. For most of them perhaps just a command like :expand-macros or something would work, but for formatting it might also be nice to set vim's formatprg if possible, so that gq would invoke rustfmt as well (not sure if this is possible with codemirror, it might require a bit of extra plumbing or not really be worth it).


[Feature Request] Expose command line option for Day/Night UI theming for development server

Is your feature request related to a problem? Please describe.
Every time we restart the development server using start-dev, we have to click the moon/sun button in the UI to change the theme to dark mode. It would be great (and probably pretty easy) to expose this as a command line option.
Describe the solution you'd like
Perhaps something like:
temporal server start-dev --ui-theme=night

Additional context

The UI at https://github.com/temporalio/ui has a special environment variable for this called VITE_DARK_MODE, so you can export VITE_DARK_MODE=1 to get dark mode. Note, this has to be set before the first page view, otherwise the value is cached upon first view. We will look into documenting this variable.
Does this solve your need?

works with temporalio/ui but not the temporal cli.
Same issue for TEMPORAL_UI_PUBLIC_PATH which is more blocking for me (working on a temporal extension for Quarkus)
To reproduce the issue:
docker run -it --rm --env TEMPORAL_UI_PUBLIC_PATH=/q/temporal --env VITE_DARK_MODE=1 -p 8233:8233 --entrypoint /usr/local/bin/temporal temporaliotest/auto-setup server start-dev --ip <IP_ADDRESS>

a PR is open to solve my issue (#644), but I haven't find a way to fix this issue

Confirmed this is still an issue just tried setting VITE_DARK_MODE=1, and it had no effect on the CLI.


[release-4.3] Add support for upgrading between Metering CSV versions.

In the 4.5 release cycle, support was added to support upgrading between Metering CSV versions. We were asked to backport upgrade support to any release that made sense, which in this case would be 4.3/4.4 as 4.2 is marked as EOL once 4.5 GA is released.
The olm.skipRange CSV annotation adds the ability to upgrade between Metering CSV versions in a single package.yaml, which ART populates.
This file governs the substitution rules that ART is configured to read from. In this case, we're substituting the second x.y.z version from <4.3.0 reference, with the latest 4.4.z z-stream release.

/retest

Need to get clarification as to whether we need to backport to a release that's currently in the maintenance phase.
/hold

Unfortunately, this release branch appears to be a relatively poor place. We migrated this project's repository from the operator-framework organization to this current one ~4.4 timeline, which results in some import errors that are referencing the old GOPATH location.
Going to try and get images squared away in another PR first, then the import errors, before we can get CI green again for 4.3.


Veskarium Imperial Plate price is 10x wrong

in the pdf Veskarium Imperial Plate is listed as 325 credits, but in foundry it's 325gp, which is wrong, as 1cred=1sp, not gp

Hey there,
I just checked on my end and noticed that the Veskarium Imperial Plate is listed as 325 sp

Try refreshing and re-importing just in case.

yeh, GM didn't have the most recent version


Discord Audio

So I Understand that i can change the audio on discord with the plug-in, but is there a way i can control just the audio without it affecting the mic input as well?

HiI’m glad to see u r interested in my project.This is one of the issues I’m working on. SVCL does not provide changing input and output separately. Same problem with ITunes. Hope I could solve this in the next update 1.1, but now there is no solution, I’m sorry(((Sincerely, zer0deck19 дек. 2023 г., в 12:08, OniiChad @.***> написал(а):
So I Understand that i can change the audio on discord with the plug-in, but is there a way i can control just the audio without it affecting the mic input as well?
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you are subscribed to this thread.Message ID: @.***>

I was able to create a Custom Adjustment knob that works based off of Item ID.
This allowed me to change the Audio levels of just the "Render" device that was sending the Discord audio to my headphones without also affecting my microphone input to Discord.
I used SoundVolumeView from the same people who made SoundVolumeCommandLine to find the Item ID for the Render portion of Discord that was sending to my headphones and just copy pasted it into the Custom option in the Loupedeck SoundController plugin.
It came out to be something like:
{<IP_ADDRESS>00000}.{d37d256b-f6e4-4f87-a076-c874ad7f68ad}|\Device\HarddiskVolume3\Users\UserName\AppData\Local\Discord\app-1.0.9037\Discord.exe
There was more after the Discord.exe but it changed every time Discord opened, I was able to remove it without issue.
That Item ID will be different for every user and for every audio device.
I am also a noob at this stuff and i have not tested to see if it works after restart yet. So there may be problems, there may be a better way to do it, but i fumbled my way into one that works, at least for now.


Add "FlexLayout iOS" to the "Featured Projects" section

FlexLayout brings flexbox to iOS using the Swift language.

Great project 👍


Deposit form software fields

The deposit form (i.e. form used for depositing records and/or updating metadata) will add support for the new fields defined above.  The form will group software-specific fields.
https://wiki.eduuni.fi/display/cscRDIcollaboration/InvenioRDM+-+SWH+SPECS

First implementation in inveniosoftware/invenio-rdm-records#1186


Add option to use behave-django.

Description
Add option to add django-behave for BDD.
Rationale
Giving an option to use django-behave will make devs consider using this tool to do BDD with django ecosystem.
Use case(s) / visualization(s)

looks interesting. there are conflicts

Thanks for the suggestion, but let's try to not add any more extra deps if they can be avoided - one could argue that we're already a bit past this point. Each dependency might slow down new Python/Django upgrades and we're already lagging a bit behind.


Toolbar integration

This contains code for creating mod toolbar hooks.
This also updates a lot of the UI assets for more general mod use.

The toolbar strings are not hooked up to the function parameters

How not?

I'll make another pr


Java API is missing ability to enable stemming

Description
According to the Typesense docs, there's a stem option .

The org.typesense.model.Field class is missing the stem option.
Steps to reproduce
No repro steps.
I'm using the latest release of the Java Typesense API, as follows:
        <dependency>
            <groupId>org.typesense</groupId>
            <artifactId>typesense-java</artifactId>
            <version>0.9.0</version>
        </dependency>

I'd be happy to submit a PR, but the org.typesense.model.Field seems to be auto-generated from an openapi.yml file, which isn't part of this repo (https://github.com/typesense/typesense-java/).

Looks like we missed adding that in.
Thank you for offering to do a PR. The OpenAPI specs are in this repo: https://github.com/typesense/typesense-api-spec

Thank you for offering to do a PR.

I was a bit unclear. I don't think I can do a PR.
If this issue required only some Java coding, then I would be able to a PR. But the org.typesense.model.Field class I would edit doesn't actually exist in the repo. So I guess it is created at build time?
I think it is a build configuration problem, in that the Typesense Java API is being built with the wrong version of the Swagger config file, and hence the generated classes are missing the stem setting.
I'm not certain, because I'm unfamiliar with both Swagger and Gradle.
Sorry I can't help more with this.

Ah ok no worries.
CC: @phiHero

Hi @stevemcleod

But the org.typesense.model.Field class I would edit doesn't actually exist in the repo. So I guess it is created at build time?

Yes the schemas are generated at build time using Swagger.
I have added stemming in the  typesense-api-spec so it should be included in the next release of typesense-java.

Fixed in v1.0.0 release.


Run kubeone proxy after provisioning the cluster

What type of PR is this?
/kind failing-test
What this PR does / why we need it:
Does this PR introduce a user-facing change?:
NONE

/test pull-kubeone-e2e-hetzner-default-install-containerd-v1.24.2

/test pull-kubeone-e2e-hetzner-default-install-containerd-v1.24.2

/test pull-kubeone-e2e-hetzner-default-install-containerd-v1.24.2

/test pull-kubeone-e2e-hetzner-default-upgrade-containerd-from-v1.21.14-to-v1.22.11

/test pull-kubeone-e2e-aws-defaults-install-containerd-v1.24.2

/test pull-kubeone-e2e-hetzner-default-upgrade-containerd-from-v1.21.14-to-v1.22.11


⚠ LabBricks has degraded performance

In f0ac683, LabBricks (https://labbricks.com) experienced degraded performance:

HTTP code: 523
Response time: 3208 ms

Resolved: LabBricks performance has improved in 40d41a8 after 19 minutes.


I can't sign in from my Microsoft account.

Type: Bug

Click on 'Account'.
Click on 'Login to sync settings'
Sign in in the browser window that pops up
Error AADSTS500200 is displayed

Troubleshooting details:
Request Id: a8650c4a-8926-408d-a3b2-7d3008652f00
Correlation Id: 9713cece-8e7d-43a3-9d3d-190f00954a75
Timestamp: 2024-09-20T09:51:10Z
Message: AADSTS500200: User account My Email Address is a personal Microsoft account. Personal Microsoft accounts are not supported for this application unless explicitly invited to an organization. Try signing out and signing back in with an organizational account.

Sorry for the breakage here. I've reverted the offending change and it'll be in Monday's Insiders.

@MaxLHy0424 @WitherZuo can you confirm this is fixed for you in today's Insiders?

@MaxLHy0424 @WitherZuo can you confirm this is fixed for you in today's Insiders?
Steps to verify (easy):

Sign in to Settings Sync with a personal Microsoft account

It automatically fixed itself on my side, thanks!


Add constants for interactions.

This change is

Codecov Report
All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.90%. Comparing base (f6214d1) to head (42cce62).

Additional details and impacted files
@@           Coverage Diff           @@
##              dev     #864   +/-   ##
=======================================
  Coverage   91.90%   91.90%
=======================================
  Files          92       92
  Lines       12585    12589    +4
  Branches    12585    12589    +4
=======================================
+ Hits        11566    11570    +4
  Misses        909      909
  Partials      110      110

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.


[BUG] TransformedEnv.transform[0].init_stats cause exception

I'm using torch2.0, follow the reinforcement_ppo.py, on line:
env.transform[0].init_stats(num_iter=1, reduce_dim=0, cat_dim=0)
I got exception:
env.transform[0].init_stats(num_iter=1, reduce_dim=0, cat_dim=0)
File "D:\Working\pycharm_workspace\RL\torchrl\torchrl\envs\transforms\transforms.py", line 1747, in init_stats
loc = data.mean(reduce_dim, keepdim=True)
RuntimeError: mean(): could not infer output dtype. Input dtype must be either a floating point or complex dtype. Got: Short

Thanks for reporting this. I can't reproduce it on my machine.
Can you give me your torchrl and python version, I'd like to find the underlying cause of this :) ?

Thanks for response, there is the defail info:
VERSION
torch version:  2.0.0
torchrl version:  2023.3.28
python version:  Python 3.10.10
gym version:  0.26.2
windows 11
ACTION_SPACE
        self.action_space =  spaces.Dict({
            "turn_around": spaces.Box(low=np.array([0, 1]), high=np.array([3,8]), dtype=np.int16),
            "move": spaces.Box(low=np.array([0, 1]), high=np.array([2,8]), dtype=np.int16),
        })

OBS_SPACE
self.observation_space = spaces.Box(
            low=np.array([-1, -1]), high=np.array([self.max_dis, 360]), dtype=np.int16)

RUN CODES
        device = "cpu" if not torch.has_cuda else "cuda:0"
        frame_skip = 1
        base_env = GymEnv("WOW-RL-Test-v0", device=device, frame_skip=frame_skip, game_env=self)
        env = TransformedEnv(
            base_env,
            Compose(
                # normalize observations
                ObservationNorm(in_keys=["observation"]),
                DoubleToFloat(
                    in_keys=["observation"],
                ),
                StepCounter(),
            ),
        )
        env.transform[0].init_stats(num_iter=1, reduce_dim=0, cat_dim=0)

throws error:
env.transform[0].init_stats(num_iter=1, reduce_dim=0, cat_dim=0)
File "D:\Working\pycharm_workspace\RL\torchrl\torchrl\envs\transforms\transforms.py", line 1747, in init_stats
loc = data.mean(reduce_dim, keepdim=True)
RuntimeError: mean(): could not infer output dtype. Input dtype must be either a floating point or complex dtype. Got: Short

I just changed the obs space to float dtype, the error gone
self.observation_space = spaces.Box(
            low=np.array([-1., -1.]), high=np.array([self.max_dis*1.0, 360.]), dtype=np.float)

We should maybe have a more explicit error in that case, but I wonder what normalizing integers will give us: should we round the results? Should we convert to float?
It makes probably more sense to have the good data type first and then normalizing.


ArduCAM mini with 4 Cameras Adapter Board SD card error

Hi,
I have been working with a normal ArduCAM shield before, and first of all I am very happy that it exists!
I have switched to an ArduCAM mini OV2640 now, because I want to make a smaller device that is more flexible. As I wanted to do some experiments with multiple cameras as well, I bought the 4 Cameras Adapter Board.
I have been able to get the combination running (1 ArduCAM mini with the adapter board) through the software you provided. However, my next step is to save pictures on the SD card. For that, I am trying to run the example code ArduCAM mini 2MP TimeLapse 2SD, bot on an Arduino UNO and an Arduino Mega 2560. On both boards it gives me the message 'SD card error' though.
Do you know what might be causing this problem and how I might solve it? At the moment I attached the board directly to the Arduino without extra wires.
Thank you!

Dear Sir,
Sorry for my late reply.
Would you please send us your configuration of the whole system.
I will try my best to help you resolve the problem.
Any question else,please feel free to let us know.
Best Regards,
Lee

From: xDaya
Date: 2015-11-25 19:12
To: ArduCAM/Arduino
Subject: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card error (#6)
Hi,
I have been working with a normal ArduCAM shield before, and first of all I am very happy that it exists!
I have switched to an ArduCAM mini OV2640 now, because I want to make a smaller device that is more flexible. As I wanted to do some experiments with multiple cameras as well, I bought the 4 Cameras Adapter Board.
I have been able to get the combination running (1 ArduCAM mini with the adapter board) through the software you provided. However, my next step is to save pictures on the SD card. For that, I am trying to run the example code ArduCAM mini 2MP TimeLapse 2SD, bot on an Arduino UNO and an Arduino Mega 2560. On both boards it gives me the message 'SD card error' though.
Do you know what might be causing this problem and how I might solve it? At the moment I attached the board directly to the Arduino without extra wires.
Thank you!
—
Reply to this email directly or view it on GitHub.

Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams burst.ino!
Can anyone please help me??

Hi,
You can find the host application for 4 cameras from: www.arducam.com/downloads/app/ArduCAM_4CAM.exe
Let me know if you need any more help.
Regards
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-11 14:24
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card error (#6)
Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams burst.ino!
Can anyone please help me??
—
Reply to this email directly or view it on GitHub.

Thanks alot for your quick response
With regards,
Adithya R
On 12 Dec 2015 17:15, "Lee"<EMAIL_ADDRESS>wrote:

Hi,
You can find the host application for 4 cameras from:
www.arducam.com/downloads/app/ArduCAM_4CAM.exe
Let me know if you need any more help.
Regards
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-11 14:24
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card
error (#6)
Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images
via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams
burst.ino!
Can anyone please help me??
—
Reply to this email directly or view it on GitHub.
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-164140818.

Hi
I also has same issue of xDaya. xDaya if you ave solved your issue can you post the solution. I appreciate it.
Thank you.

hello lee,
Actually I have only two modules I tried triggering those modules using
ARDUCAM_5mp_4Cams_burst program and I also used the host application which
you sent me !
But there is a problem when I press the capture button the camera modules
are not capturing the photos,whereas when I change the resolution in the
dropdown list to the maximum these two camera modules are capturing photos!
I am not sure wheather i have explained my query effectively!
And I also want to know wheather I can trigger the camera modules at the
same time I mean in this program the camera modules are triggered
sequentially , I want to trigger these modules Simultaneously!!
Please reply as soon as possible,
Regards
On Sat, Dec 12, 2015 at 5:15 PM, Lee<EMAIL_ADDRESS>wrote:

Hi,
You can find the host application for 4 cameras from:
www.arducam.com/downloads/app/ArduCAM_4CAM.exe
Let me know if you need any more help.
Regards
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-11 14:24
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card
error (#6)
Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images
via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams
burst.ino!
Can anyone please help me??
—
Reply to this email directly or view it on GitHub.
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-164140818.

I'm sorry I didn't reply anymore.
Thank you for your answer, I solved the problem by attaching the ArduCam mini without the shield; it seems as if the shield is not fully compatible with the SPI pins of the Arduino Mega 2560.

Hi xDaya,
Thank for your response. Did you change the code? I men otherthan changing SPI CS pin definitions?

I didn't just change the SPI CS pin definitions, I rewired the ArduCam completely and didn't use the shield anymore. Besides that I believe I didn't change the code, and it makes sense, since the SPI pins on Arduino Uno are 11, 12 and 13, whereas on the Mega they are 50, 51 and 52. I think that is why the shield doesn't work properly with the Mega.

Hi Xdaya,
In your first post you have mentioned on UNO board also you got same SD card error message. So then problem may exist with ardu cam adapter somehow. Did you successful with ARDU CAM ADAPTER board + UNO set up?

I'm afraid I haven't, because I was quite sure I needed the Mega, and wiring it without the adapter board was a better option for what I was trying to make anyway. If you want to try that I can show you how I made it work.

Hi All,
The arducam mini adapter board use ICSP connector for SPI signals, all arduino boards has the same pin definition on ICSP connector. So the adapter can work with any arduino boards and much easier to do the wring by hand.
<EMAIL_ADDRESS>From: xDaya
Date: 2015-12-15 06:15
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card error (#6)
I'm afraid I haven't, because I was quite sure I needed the Mega, and wiring it without the adapter board was a better option for what I was trying to make anyway. If you want to try that I can show you how I made it work.
—
Reply to this email directly or view it on GitHub.

Hi, from your description it seems that you didn't initialize the camera properly.
So please initialize the camera and set to correct resolution then start capture.
And as you can see there is no external hardware trigger pin on the ArduCAM mini board, so we have to use SPI command to trigger the capture.
The capture command time interval between each camera should be micro seconds, it is nearly the same time.
Let me know if you need more help.
Regards,
Lee
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-14 16:16
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card error (#6)
hello lee,
Actually I have only two modules I tried triggering those modules using
ARDUCAM_5mp_4Cams_burst program and I also used the host application which
you sent me !
But there is a problem when I press the capture button the camera modules
are not capturing the photos,whereas when I change the resolution in the
dropdown list to the maximum these two camera modules are capturing photos!
I am not sure wheather i have explained my query effectively!
And I also want to know wheather I can trigger the camera modules at the
same time I mean in this program the camera modules are triggered
sequentially , I want to trigger these modules Simultaneously!!
Please reply as soon as possible,
Regards
On Sat, Dec 12, 2015 at 5:15 PM, Lee<EMAIL_ADDRESS>wrote:

Hi,
You can find the host application for 4 cameras from:
www.arducam.com/downloads/app/ArduCAM_4CAM.exe
Let me know if you need any more help.
Regards
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-11 14:24
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card
error (#6)
Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images
via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams
burst.ino!
Can anyone please help me??
—
Reply to this email directly or view it on GitHub.
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-164140818.

—
Reply to this email directly or view it on GitHub.

Hi Lee,
Any solution for my problem, I use Arduino uno, 4 Cam adapter board + your example code.
Thank you.

Hello Lee,
I have checked my camera initialization there is nothing wrong in that! I
just wanna trigger two camera modules using ArduCAM 4Cams burst and that
ArduCAM exe file which you sent me.
I have checked the program so many times but I am not able to get
continuous shots using two camera modules. If I press the capture button in
the .exe application it is not responding. Even I tried commenting camera 3
and camera 4 in my ArduCAM program but nothing I'd happening. If I change
the resolution in my .exe file then camera's are working that too not in a
loop.. My question is can I trigger two camera modules using that host
application and the ArduCAM program????
(If you check the program only camera 1 has been initialised I don't know
the reason for that also, please let me know).
Thank you
On 12 Dec 2015 17:15, "Lee"<EMAIL_ADDRESS>wrote:

Hi,
You can find the host application for 4 cameras from:
www.arducam.com/downloads/app/ArduCAM_4CAM.exe
Let me know if you need any more help.
Regards
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-11 14:24
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card
error (#6)
Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images
via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams
burst.ino!
Can anyone please help me??
—
Reply to this email directly or view it on GitHub.
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-164140818.

Hi xDaya,
Yes can you please send me any details and documents and the working code for my email address please. It will be a great help. My email<EMAIL_ADDRESS>Thank you.

Hi Lee,
Any solution for my problem, I use Arduino uno, 4 Cam adapter board + your example code.
Thank you.

htr99,
Is it okay if I send you the code and documentation next week? I'm a bit busy at the moment.

Hi xDaya,
Did you try it on UNO board?

hello Mr Lee,
I am having the problem which i stated before till now!
Can you please help me by responding quickly!
With Regards
On Sat, Dec 12, 2015 at 5:15 PM, Lee<EMAIL_ADDRESS>wrote:

Hi,
You can find the host application for 4 cameras from:
www.arducam.com/downloads/app/ArduCAM_4CAM.exe
Let me know if you need any more help.
Regards
<EMAIL_ADDRESS>From: BrahMOs94
Date: 2015-12-11 14:24
To: ArduCAM/Arduino
CC: Lee
Subject: Re: [Arduino] ArduCAM mini with 4 Cameras Adapter Board SD card
error (#6)
Hello ,
I am Working with Arducam ov5642 module!
I want to trigger four modules at the same time and want to see the images
via serial monitor or any .exe host application.
I am not able to find an host application for Arducam 0v5642 4Cams
burst.ino!
Can anyone please help me??
—
Reply to this email directly or view it on GitHub.
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-164140818.

Sorry for the late reply.
I have update the example sketch and host app for 4 5MP camera demo.
https://github.com/ArduCAM/Arduino/tree/master/ArduCAM/examples/mini/ArduCAM_Mini_OV5642_4Cams_Burst
https://github.com/ArduCAM/Arduino/blob/master/ArduCAM/examples/mini/ArduCAM_4CAM.exe
Let me know if you need more help.
<EMAIL_ADDRESS>

Thanks for the program and host application Mr.Lee,
It works perfectly fine.
But the thing is even the lowest resolution 320 x 240 is buffering when I
gave autocapture with the interval of 1000 milliseconds!
Can't i improve the performance of ArduCAM
And this host application is only supporting 32bit pc.
It would be helpful if I get the same application for 64 bit pc.
Thanks and waiting for your reply!
With Regards,
On Mon, Jan 4, 2016 at 2:25 PM, Lee<EMAIL_ADDRESS>wrote:

Sorry for the late reply.
I have update the example sketch and host app for 4 5MP camera demo.
https://github.com/ArduCAM/Arduino/tree/master/ArduCAM/examples/mini/ArduCAM_Mini_OV5642_4Cams_Burst
https://github.com/ArduCAM/Arduino/blob/master/ArduCAM/examples/mini/ArduCAM_4CAM.exe
Let me know if you need more help.
<EMAIL_ADDRESS>—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-168614884.

Hi again,
Yes, the bottle neck of the performance is the serial baud rate, it is limited to 921600bps on both Arduino and PC app.
In this case you have to delay enough time between sending two capture commands, or use fast MCU and use other interface like USB or Ethernet.
I'm using Win10 64bit with our app, there is no problem, what do you mean the app can't support 64bit pc?
Let me know if you need more help.
Regards,
Lee
<EMAIL_ADDRESS>

Hello Lee
Sorry the problem is with my PC and the code is working fine. I am not able
to understand the complete sense of the program. Can you send me detail
description or explanation of the program. So that I can understand the
flow of the program.
Thank you.
Hi again,
Yes, the bottle neck of the performance is the serial baud rate, it is
limited to 921600bps on both Arduino and PC app.
In this case you have to delay enough time between sending two capture
commands, or use fast MCU and use other interface like USB or Ethernet.
I'm using Win10 64bit with our app, there is no problem, what do you mean
the app can't support 64bit pc?
Let me know if you need more help.
Regards,
Lee
<EMAIL_ADDRESS>—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-168670858.

Hi BrahMOs94
Thanks for your questions. Would you please provide your email address.
And I would like to write a post about the working follow of the demo code and host application. I think it will help other fans as well.
Lee
<EMAIL_ADDRESS>

Yes
adithya.ramgopal @gmail.com
And thank you Mr.Lee
On 5 Jan 2016 19:45, "Lee"<EMAIL_ADDRESS>wrote:

Hi BrahMOs94
Thanks for your questions. Would you please provide your email address.
And I would like to write a post about the working follow of the demo code
and host application. I think it will help other fans as well.
Lee
<EMAIL_ADDRESS>—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-169011833.

Hi Lee,
I asked for a detailed description of the ArduCAM program.
Can you provide me soon??
Thanks.
On 5 Jan 2016 19:45, "Lee"<EMAIL_ADDRESS>wrote:

Hi BrahMOs94
Thanks for your questions. Would you please provide your email address.
And I would like to write a post about the working follow of the demo code
and host application. I think it will help other fans as well.
Lee
<EMAIL_ADDRESS>—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-169011833.

Hi BrahMOs94
Sorry for my late update. We will be on Chinese New Year (Monkey Year) holiday from Feb. 6th~Feb.15th.
Did you read this document yet?
http://www.arducam.com/downloads/shields/ArduCAM_Camera_Shield_Software_Application_Note.pdf
http://www.arducam.com/software/

No I didn't ! I'll have a look at this
Thanks
On 3 Feb 2016 14:53, "Lee"<EMAIL_ADDRESS>wrote:

Hi BrahMOs94
Sorry for my late update. We will be on Chinese New Year (Monkey Year)
holiday from Feb. 6th~Feb.15th.
Did you read this document yet?
http://www.arducam.com/downloads/shields/ArduCAM_Camera_Shield_Software_Application_Note.pdf
http://www.arducam.com/software/
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-179116326.

hello Lee,
Can you provide me  information about the  ARDUCAM  schematics and the ISP
used ?
Thanks!
On Wed, Feb 3, 2016 at 2:58 PM, Adithya Ramgopal<EMAIL_ADDRESS>
wrote:

No I didn't ! I'll have a look at this
Thanks
On 3 Feb 2016 14:53, "Lee"<EMAIL_ADDRESS>wrote:

Hi BrahMOs94
Sorry for my late update. We will be on Chinese New Year (Monkey Year)
holiday from Feb. 6th~Feb.15th.
Did you read this document yet?
http://www.arducam.com/downloads/shields/ArduCAM_Camera_Shield_Software_Application_Note.pdf
http://www.arducam.com/software/
—
Reply to this email directly or view it on GitHub
https://github.com/ArduCAM/Arduino/issues/6#issuecomment-179116326.

As you can see the we use the build in ISP in the image sensor.
You can find more information from the OV5642 datasheet:  www.arducam.com/downloads/modules/OV5642/OV5642_V1.11.pdf


Wiki mistakes

Advanced Setup page.

Non wildcard/regex permissions will be overridden by normal permissions

Should be (by context)

Wildcard/regex permissions will be overridden by normal permissions

Foe example, if you wanted a user to be able to create both groups and tracks, you would normally just add the two permission nodes.

Should be

For example, if you wanted a user to be able to create both groups and tracks, you would normally just add the two permission nodes.

Thanks :)


Refactor: replace ThemeProvider

What is a reason of using  custom ThemeProvider instead of using native light/dart mode in MaterialApp? We should migrate all colors to separate classes ThemeDate/

Please take this to the discussion tab.
Link: https://github.com/EXERLOG/exer_log/discussions
Closing this issue.