synk scan failed for kubed

CVE  LIST
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2020-14040
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2020-26160
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-11254

@tamalsaha - can you  release the changes from master branch

The fact that kubed has access to many namespaces means its maintainers should take patching CVEs seriously. Here is the current scan we see for kubed 0.12.0 (the latest version available as of writing):
kubed (gobinary)
================
Total: 3 (HIGH: 3, CRITICAL: 0)

+--------------------------+------------------+----------+--------------------------------------+------------------------------------+---------------------------------------+
|         LIBRARY          | VULNERABILITY ID | SEVERITY |          INSTALLED VERSION           |           FIXED VERSION            |                 TITLE                 |
+--------------------------+------------------+----------+--------------------------------------+------------------------------------+---------------------------------------+
| github.com/gogo/protobuf | CVE-2021-3121    | HIGH     | v1.2.2-0.20190730201129-28a6bbf47e48 | 1.3.2                              | gogo/protobuf:                        |
|                          |                  |          |                                      |                                    | plugin/unmarshal/unmarshal.go         |
|                          |                  |          |                                      |                                    | lacks certain index validation        |
|                          |                  |          |                                      |                                    | -->avd.aquasec.com/nvd/cve-2021-3121  |
+--------------------------+------------------+          +--------------------------------------+------------------------------------+---------------------------------------+
| golang.org/x/crypto      | CVE-2020-29652   |          | v0.0.0-20190611184440-5c40567a22f8   | v0.0.0-20201216223049-8b5274cf687f | golang: crypto/ssh: crafted           |
|                          |                  |          |                                      |                                    | authentication request can            |
|                          |                  |          |                                      |                                    | lead to nil pointer dereference       |
|                          |                  |          |                                      |                                    | -->avd.aquasec.com/nvd/cve-2020-29652 |
+--------------------------+------------------+          +--------------------------------------+------------------------------------+---------------------------------------+
| golang.org/x/text        | CVE-2020-14040   |          | v0.3.2                               | 0.3.3                              | golang.org/x/text: possibility        |
|                          |                  |          |                                      |                                    | to trigger an infinite loop in        |
|                          |                  |          |                                      |                                    | encoding/unicode could lead to...     |
|                          |                  |          |                                      |                                    | -->avd.aquasec.com/nvd/cve-2020-14040 |
+--------------------------+------------------+----------+--------------------------------------+------------------------------------+---------------------------------------+

Please try the new v0.13.0-rc.0 release and let me know if the CVEs are fixed.

Please try the new v0.13.0-rc.0 release and let me know if the CVEs are fixed.

We tried with 0.13.0 still cve exists.

Can you please list the CVEs still reported?

Can you please try v0.13.0-rc.1 ? This fixes the x/text CVE. I don't see any other CVEs from Github scans or deps.dev reports.

verified with v0.13.0-rc.1  scan is passing

Thanks for checking. We have released https://github.com/kubeops/config-syncer/releases/tag/v0.13.0


improve invalid gMSA error message

What does this PR do?

Improve the error message if a misconfigured gMSA account is provided to the installer.
Example error popup:

Motivation

https://datadoghq.atlassian.net/browse/WINA-922
Previously, if a misconfigured gMSA account is provided to the installer, when NetIsServiceAccount returns false the installer treats the account as a regular domain account and throws the error A password was not provided. Passwords are required for domain accounts.. This error is misleading when the user intends to provide a gMSA account, which do not require a password.
Additional Notes

Possible Drawbacks / Trade-offs

Describe how to test/QA your changes

E2E tests will validate non-domain and DC installs. but we do not have E2E tests for gMSA accounts.
Create a gMSA test environment (see wiki)

Create gMSA account that the host does not have access to, the popup should appear and the message should appear in the install log.
Create gMSA account that the host does have access to, install should succeed.

/merge


VM poll examples

Wanted to have a quick reference on how to poll for metrics from the VM using this lib.
The README mentions "[vm, memory] - contains the total memory, process memory, and all other keys in erlang:memory/0", but it's not concrete.
It also mentions "See documentation for more concrete examples and usage instructions." but I couldn't find more concrete examples.
I add an example for Erlang and one for Elixir (output's the same) in an easy-to-copy-paste format, with instructions in the README.
Lemme know if there's a better place to do this. Cheers, great lib.
Oh, I also fix a minor issue with rebar.config.

CI's failing because ubuntu-22.04 or ubuntu-latest is only valid for 24+. Want me to fix it in this pull request? We either go back to ubuntu-20.04 or move the Erlang versions up to 24+ 😄

Let’s bump to 24. Earlier is not supported.

@josevalim, is it possible the project settings want 20-23 to be run, under branch protection rules?

Ended up having to fix some extra stuff (d73bf86) as per CI. I inferred the types from what I believe the code wants to represent.

:green_heart: :blue_heart: :purple_heart: :yellow_heart: :heart:


Pub's version resolution goes exponential on a simple pubspec

The following pubspec causes pub's version resolution to go exponential:
  name: app
  dependencies:
    intl: 0.9.0
    polymer: "<=0.9.5"
This happens as of 1.2.0-edge.32615; the exponential churn involves pub's barback constraint, so it may change in future versions. The same pattern should persist, though.
This is caused by a conflicting constraint (intl and recent stack_trace versions have disjoint constraints on path), and compounded by the fact that pub tries to backtrack through every archived version of polymer. We may be able to mitigate this behavior by more aggressively checking for disjoint constraints; we may not be able to avoid checking all older polymer versions, but we can quickly discard them by noticing that their barback constraint is disjoint with pub's.

This issue has been moved to dart-lang/pub#874.


Updated nuget package

Hello Ross !
Do you have a possibility to update the nuget package so that it take in account the last changes ? :)
Thanks !

Hi @sbruyere ,
Sure, no problem.  I have just updated now, it may take a couple of hours before it becomes generally available.  See here:  https://www.nuget.org/packages/Kavod.Vba.Compression/0.0.2-alpha
I also am playing around with Azure DevOps at the moment - so you'll see a branch with some work in it.  I've got it building OK, but need to work on the continuous deployment part.

Thanks Ross ! Wonderful job  :)
Le lun. 29 avr. 2019 à 12:12, Ross Knudsen<EMAIL_ADDRESS>a
écrit :

Hi @sbruyere https://github.com/sbruyere ,
Sure, no problem. I have just updated now, it may take a couple of hours
before it becomes generally available. See here:
https://www.nuget.org/packages/Kavod.Vba.Compression/0.0.2-alpha
I also am playing around with Azure DevOps at the moment - so you'll see a
branch with some work in it. I've got it building OK, but need to work on
the continuous deployment part.
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
https://github.com/rossknudsen/Kavod.Vba.Compression/issues/4#issuecomment-487526172,
or mute the thread
https://github.com/notifications/unsubscribe-auth/AC4OKEVLAYMMNGTNHF362OLPS3CYFANCNFSM4HIWAVFA
.


Add support for documented capture_body config to aiohttp requests

Describe the bug: Capturing requests bodies of aiohttp requests is currently not implemented. Though the documentation gives the impression all supported frameworks do support the capture_body configuration.
To Reproduce

Set capture_body to all
Instrument aiohttp
Make a request with body to any URL
Look for body in APM trace

Environment (please complete the following information)

Framework and version [e.g. Django 2.1]: aiohttp

Additional context
n/a

@nbarbey Opened a PR for this. They are new to the code base, and so I was looking for an example in the codebase from which they could model their changes.
I realized that I didn't think about this issue enough. We don't typically collect the body of requests from client libraries. This is because the expectation is that the server will collect the body and is also instrumented. So, we collect the bodies in server frameworks such as Django, Flask, and Starlette. But we don't collect the body from client libraries like requests or urllib3.
I'm considering closing this as a "won't fix", but I'd be interested to hear more about your needs, @stj.

While the server might collect the body, it might be a server owned by a different party that does not give access to apm data.
My goal is to track the request body send to a server not under my control. If there is an error response from that server I have data on what the body was and can replicate the error. This will help find a bug in the body or have information that I can take to the owner of the receiving server and fill a bug report.
I actually thought that the instrumentation of the elasticsearch python client does honor the capture_body setting since it does capture client request bodies. Though I now see that it does not use the capture_body config to control that behavior.
The documentation of capture_body doesn't mention that it is restricted to a server and not used for client library instrumentation. Can we make the documentation point this out?
Thinking about this a bit more, it might be that I don't want to capture bodies of all client requests and only requests to specific URL/domains. If you do consider adding this feature than I'd be interested in having more than an on/off switch for it.

Makes sense. That's why the elasticsearch client instrumentation does capture the body, because typically the server will not be instrumented (though that's changing).
It's an interesting case, but I think maybe this is a place where it should rely on user-enrichment. Perhaps via the elasticapm.set_span_context() that I added here: https://github.com/elastic/apm-agent-python/pull/1893
For now, I'm going to close this. If user-enrichment doesn't fit your case, perhaps we can revisit a broader solution across our client instrumentations.


Rerender

Checklist

[X] Used a fork of the feedstock to propose changes
[X] Bumped the build number (if the version is unchanged)
[ ] Reset the build number to 0 (if the version changed)
[X] Re-rendered with the latest conda-smithy
[ ] Ensured the license file is being packaged.

Hi! This is the friendly automated conda-forge-linting service.
I just wanted to let you know that I linted all conda-recipes in your PR (recipe) and found it was in an excellent condition.

Added self as mainter

CC @conda-forge/intltool

Pinging this @pkgw @ocefpaf @dougalsutherland


Replace noop Errorf calls with Printf calls

Was debugging some stream muxing issues when i noticed these errors werent being properly logged.

@dmcgowan I also added a fix for the bug i was debugging. The priority specified in the SynStreamFrame was never getting set to the stream object, causing the priorities of packets in the priority queue getting mixed up, leading to data frames getting handled before their synstream frame. Which ended up with us losing data.

Thanks for this change. Clearly this project needs CI setup to run go vet!

Do you think you could update to use debugMessage instead?

@dmcgowan sure thing!

@dmcgowan Updated!

LGTM


Validation of string array fails

I would like to validate whether the strings in an array are not empty but it seems I've triggered a bug:
class Foo {
    bars?: Array<string>;
}

const validateBarRules = (validator: IValidator<string>) : ValidationResult => {
    return validator
        .NotEmpty(m => m, "Should not be empty", "bar.Empty")
        .ToResult();
};

const validateFooRules = (validator: IValidator<Foo>) : ValidationResult => {
    return validator
        .If(m => m.bars != null && m.bars.length > 0, validator => validator
            .ForEach(m => m.bars!!, validateBarRules)
            .ToResult()
        )
        .ToResult();
};

const foo = new Foo();
foo.bars = ["test"];
console.log(new Validator<Foo>(foo).Validate(validateFooRules));

Expected result: object is valid and no errors are returned.
Actual result:
Invoke Error    {"errorType":"TypeError","errorMessage":"Cannot assign to read only property '0' of string 'test'","stack":["TypeError: Cannot assign to read only property '0' of string 'test'","    at /var/task/n
ode_modules/ts.validator.fluent/dist/type-factory.js:41:29","    at Array.map (<anonymous>)","    at findPropertyPath (/var/task/node_modules/ts.validator.fluent/dist/type-factory.js:32:22)","    at Function.TypeFactory.getTypeClone (/var/task/node_modules/ts.validator.fluent/dist/type-factor
y.js:23:9)","    at new ObjectValidator (/var/task/node_modules/ts.validator.fluent/dist/object-validator.js:10:56)","    at /var/task/node_modules/ts.validator.fluent/dist/object-validator.js:143:75","    at Array.forEach (<anonymous>)","    at ObjectValidator.ForEach (/var/task/node_modules
/ts.validator.fluent/dist/object-validator.js:143:19)","    at /var/task/dist/common/lambda/WebScraperLambda.js:30:14","    at ObjectValidator.If (/var/task/node_modules/ts.validator.fluent/dist/object-validator.js:134:31)"]}

The framework meant is for validating objects.
Hence, IValidator will not work.
You will have to encapsulate it as a string property of a class.
eg.
class Bar {
name: string;
}
class Foo {
bars?: Array;
}

Thanks for the clarification. Unfortunately I cannot encapsulate it like that in my project because of other constraints but I've added some additional manual validation.


Added bluelight theme

I want to point out a design smell I found with this...
I'd love if we could separate the colors for the theme into its own scss file because otherwise an end-user is forced to duplicate the entire theme in their local sass folder,

And it would just be so much nicer to only have to override the colors :)

Would be pretty nice also to have the colors in the config.toml, if that's even possible?

Thanks for the theme, I have an idea for slimming down the theme files, will work on it this evening


[BugFix] Disable query for external table which partition column type is float/timestamp/decimal

What type of PR is this：

[x] BugFix
[ ] Feature
[ ] Enhancement
[ ] Refactor
[ ] UT
[ ] Doc
[ ] Tool

Which issues of this PR fixes ：

Fixes #15800   #15801  #15802
Problem Summary(Required) ：

Checklist:

[ ] I have added test cases for my bug fix or my new feature
[ ] This pr will affect users' behaviors
[ ] This pr needs user documentation (for new or modified features or behaviors)

[ ] I have added documentation for my new feature or new function

Bugfix cherry-pick branch check:

[x] I have checked the version labels which the pr will be auto backported to target branch

[x] 2.5
[ ] 2.4
[ ] 2.3
[ ] 2.2

[FE PR Coverage Check]
:heart_eyes: pass : 10 / 11 (90.91%)
file detail

path
covered_line
new_line
coverage
not_covered_line_detail

:large_blue_circle:
com/starrocks/sql/optimizer/rule/transformation/PruneHDFSScanColumnRule.java
10
11
90.91%
[138]

run starrocks_admit_test

[FE PR Coverage Check]
:heart_eyes: pass : 10 / 11 (90.91%)
file detail

path
covered_line
new_line
coverage
not_covered_line_detail

:large_blue_circle:
com/starrocks/sql/optimizer/rule/transformation/PruneHDFSScanColumnRule.java
10
11
90.91%
[139]

run starrocks_admit_test

[FE PR Coverage Check]
:heart_eyes: pass : 10 / 12 (83.33%)
file detail

path
covered_line
new_line
coverage
not_covered_line_detail

:large_blue_circle:
com/starrocks/catalog/IcebergTable.java
0
1
00.00%
[149]

:large_blue_circle:
com/starrocks/sql/optimizer/rule/transformation/PruneHDFSScanColumnRule.java
10
11
90.91%
[139]

run starrocks_admit_test

@Mergifyio backport branch-2.5


Use BytesRestResponse constructor with contentType in asRestResponse

Description
Modifies SecurityResponse.asRestResponse to use the corresponding constructor for BytesRestResponse if the SecurityResponse contains the content-type header. This adds a test that fails before the change and demonstrates how using the constructor of BytesRestResponse without content-type defaults to text/plain

Category (Enhancement, New feature, Bug fix, Test fix, Refactoring, Maintenance, Documentation)

Bug fix

Issues Resolved

Also fixes: https://github.com/opensearch-project/security/issues/3608
Check List

[ ] New functionality includes testing
[ ] New functionality has been documented
[ ] Commits are signed per the DCO using --signoff

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
For more information on following Developer Certificate of Origin and signing off your commits, please check here.

@peternied @DarshitChanpura is working on adding tests to this PR that will fail if the response does not have the expected content-type (from before 2.11).
@scrawfor99 is working on cataloging APIs or different scenarios where the content-type of the response object changed in 2.11 from prior versions. The issue to track that is https://github.com/opensearch-project/security/issues/3718


proplem is --match-filter

How to check the key?I write to the console youtube-dl --match-filter "!key" and youtube-dl --match-filter !key and youtube-dl --match-filter "key" and no result.List to check it does not show! What to do?

What are you trying to achieve in the first place?

What are you trying to achieve in the first place?
Learn how to find out how to get a list of all the keys. Which in turn will download youtube with the keys indicated in the --match-filter in the command line bash

Available keys. Read --help on how to use --match-filter.


decoupling rules from publicsuffixlist

Decoupling the Rules from the main Public suffix list so that we can for instance load only public suffix list without the private domains.

should I continue this PR or wait that you clean up the main pdp repo ?

I will close the PR and apply the suggestion to PDP directly 👍

@nyamsprod Since we're going to continue with that project and not a (total) re-write that's probably the best place for it. Thanks!


is it possible to implement body_.file_.async_read(buf_, amount, ec) ?

When using single threaded coroutines, i think the synchronous read function of file_body will block the current thread, which reduces efficiency.
so, is it possible to implement body_.file_.async_read(buf_, amount, ec) ? or some implementation can achieve this goal.
auto const nread = body_.file_.read(buf_, amount, ec);

Thank you for pointing out this.
Your observation seems to make sense. Before making any decisions, I will conduct some tests to verify your concern regarding synchronous reads blocking the thread in a single-threaded coroutine environment. If the tests confirm your observation, we will consider changing the implementation to be non-blocking.
We appreciate you bringing this to our attention.

No we are not supporting asynchronous file I/O. That's a mess due to the variation in operating system support. If you want that you need to write it yourself, and it will be platform specific. You might try Asio's asynchronous file I/O. But be aware that on some platforms it is simulated with internal threads making synchronous calls.


zenodo.json file

A first version of a .zenodo.json file created with the tributors tool.
Attempt to fix #2122

[ ] fix missing contributors names
[ ] fix ordering (number of commits?)

Hi @vuillaut
We are cleaning up stale pull requests to get a better overview over PRs we want to merge before applying some larger refactorings, e.g. switching to src layout https://github.com/cta-observatory/ctapipe/issues/2078 or implementing CEP-002.
If you think this is still relevant, feel free to update your branch and re-open the pull request or continue discussion in an issue.

Hi @vuillaut
We are cleaning up stale pull requests to get a better overview over PRs we want to merge before applying some larger refactorings, e.g. switching to src layout #2078 or implementing CEP-002.
If you think this is still relevant, feel free to update your branch and re-open the pull request or continue discussion in an issue.

@maxnoe I had obviously forgotten about this one.
Is this still needed / wanted?
I could contribute on the software publication side for datapipe if that is relevant.


SetCustomSignalWaiter

倾斜一个简单的demo来展示SetCustomSignalWaiter跟signal怎么结合使用

你看看默认的实现是不是就可以写了
---Original---
From: @.>
Date: Sun, Apr 28, 2024 18:14 PM
To: @.>;
Cc: @.***>;
Subject: [cloudwego/cloudwego.github.io] SetCustomSignalWaiter (Issue #1065)
倾斜一个简单的demo来展示SetCustomSignalWaiter跟signal怎么结合使用
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: @.***>

refer to https://github.com/cloudwego/hertz/blob/develop/pkg/app/server/hertz.go#L97


Geno Boost damages party members

Spell attack power is randomized, but if Geno Boost attack power is changed then it actually does damage instead of boosting.  Funny, but unintended.

Fixed to only shuffle FP cost of Geno Boost to avoid breaking the special effects of the spell.


Character workshop

Proposal Title
Character workshop
Context and Problem Statement
Characters are hard. Make it easier.
Describe the feature / enhancement and how it helps to overcome the problem or limitation
Make a workshop for working with 3d characters.
Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams
Auto rig a 3d obj.
If this enhancement will not be used often, can it be worked around with a few lines of script?
No idea.
Positive Consequences
No response
Negative Consequences
No response
Is there a reason why this should be core and done by us?
I can do this!
References
No response
Derivative License
Copyright (c) 2020-2021 V-Sekai contributors.
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
 IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

6dee17f7bc262adc5c0766a2b367a0a881c92565


SMTPats in currified Lemmas are not encoded to SMT

Consider the following minimal code snippet (done with @W95Psp  and @TWal)
assume val p: int -> int -> prop

assume val test: x:int -> y:int -> Lemma (p x y) [SMTPat (p x y)]
assume val test2: x:int -> Tot (y:int -> Lemma (p x y) [SMTPat (p x y)])

While these two functions should conceptually be the same, they lead to different behaviours when trying to use them. In particular, we observed that when only having test2 in the context, the SMTPat was not triggered, not allowing the automatic verification of p x y, while the behaviour with test was the expected one.
When looking at the SMT encodings of both these functions, the encoding of test is very concise (41 lines of smt2) and intuitive and includes the pattern annotation for SMTPat (p x y), while the encoding for test2 is much longer (299 lines), includes a lot of extra information and patterns (my possibly incorrect understanding is that it is used to show that the partial application is well-typed), and does not seem to have the pattern annotation corresponding to SMTPat (p x y).
Should the SMT encodings of both these functions be similar, maybe through some canonicalization of the F* term before being encoded to SMT?
This situation occured when trying to generate this lemma using F*'s reflection facilities. The currently exposed term API Tv_Arrow (in FStar.Reflection.Data) does not allow to have multi-binder arrows, while the underlying term representation  Tm_arrow does. It thus currently does not seem possible to generate lemmas with SMTPats and multiple arguments using reflection in F*.

This reminds me of https://github.com/FStarLang/FStar/pull/2305
If we offered FStar.Syntax.Util.canon_arrow through the reflection API that might unblock the scenario described in the last para above.
We might try to systematically using canon_arrow in the SMT encoding. It's worth trying, though that is likely to be more disruptive to programs that rely on the current behavior.

I'd be curious about the second part, it seems like it could also optimize heavily some of the current VCs.
Regarding your first suggestion, do you mean to expose this in the reflection API, or to do this automatically in the hand-written Reflection modules?

For the first, I was thinking the easiest would be to offer FStar.Reflection.canon_arrow and you can call it explicitly when needed.

I doubt it would optimize existing VCs much. I don't think many existing programs use this explicitly curried lemma style. But, it's worth trying.

Both items are relatively small changes. Do you want to try it?

Sure, I can give it a shot.
Regarding 1, I'm wondering if there are usecases where we would not want to have canonicalization, especially if the SMT encoding is not ideal? Exposing it to the user is a first step, but I wonder if it will remain too niche, hidden in a reflection module.

Below is a small example (courtesy of @TWal) of how the behavior presented in this issue can cause issues with reflection.
With the current behavior, the SMTPat is not triggered, making the generated lemma annoying to use.
open FStar.Tactics

assume val p: int -> int -> prop

/// Generates a lemma with signature `val lem (x y:int) : Lemma (p x y) [SMTPat (p x y)]`
let gen_lemma () : Tac decls =
  let lemma_name = List.Tot.snoc (moduleof (top_env ()), "lem") in
  let x_binder = fresh_binder_named "x" (`int) in
  let x_term = binder_to_term x_binder in
  let y_binder = fresh_binder_named "y" (`int) in
  let y_term = binder_to_term y_binder in

  let all_binders = [x_binder; y_binder] in

  let lemma_requires = (`True) in
  let lemma_ensures = (`(fun () -> (p (`#x_term) (`#y_term)))) in
  let lemma_smtpat = (`[smt_pat (p (`#x_term) (`#y_term))]) in
  let lemma_comp = (pack_comp (C_Lemma lemma_requires lemma_ensures lemma_smtpat)) in
  let lemma_type = mk_arr all_binders lemma_comp in

  let lemma_val = mk_abs all_binders (`(admit())) in

  let lemma_letbinding = pack_lb ({
    lb_fv = pack_fv lemma_name;
    lb_us = [];
    lb_typ = lemma_type;
    lb_def = lemma_val;
  }) in
  [pack_sigelt (Sg_Let false [lemma_letbinding])]

%splice [lem] (gen_lemma ())

let f (x y:int) : Lemma (p x y) = ()

I just noticed that this does not work with the new view
open FStar.Tactics.V2

assume val p: int -> int -> prop

/// Generates a lemma with signature `val lem (x y:int) : Lemma (p x y) [SMTPat (p x y)]`
let gen_lemma () : Tac decls =
  let lemma_name = List.Tot.snoc (moduleof (top_env ()), "lem") in
  let x_binder = fresh_binder_named "x" (`int) in
  let x_term = binder_to_term x_binder in
  let y_binder = fresh_binder_named "y" (`int) in
  let y_term = binder_to_term y_binder in

  let all_binders = [x_binder; y_binder] in

  let lemma_requires = (`True) in
  let lemma_ensures = (`(fun () -> (p (`#x_term) (`#y_term)))) in
  let lemma_smtpat = (`[smt_pat (p (`#x_term) (`#y_term))]) in
  let lemma_comp = (pack_comp (C_Lemma lemma_requires lemma_ensures lemma_smtpat)) in
  let lemma_type = mk_arr all_binders lemma_comp in

  let lemma_val = mk_abs all_binders (`(admit())) in

  let lemma_letbinding = ({
    lb_fv = pack_fv lemma_name;
    lb_us = [];
    lb_typ = lemma_type;
    lb_def = lemma_val;
  }) in
  [pack_sigelt (Sg_Let {isrec=false; lbs=[lemma_letbinding]})]

%splice [lem] (gen_lemma ())

let f (x y:int) : Lemma (p x y) = () // fails


Fix shutdown from AWS Creds

This was sometimes erroring, due to shutting down the container and then the Vault API call taking more than 3 seconds. Rather than add even more sleep, I introduced handling of SIGUSR1 to indicate a self-shutdown. This now also properly waits on the monitorTask() goroutine to complete before proceeding, leveraging the WaitGroup already present.
Additional change here is that the TTL for Vault is parsed as a Go Duration instead of raw seconds. This was a trivial change and is a much better experience for the person configuring it.

Travis is being a PITA about the repo ownership change and won't build it now. I will fix separately.


Handle HTTPDigestAuth requests that return stale=true

I'm using the requests library to communicate with a Wildfly management API. In one specific environment, I am getting sporadic 401 responses that include in the 'WWW-Authenticate' the 'stale=true' flag. My understanding of the spec on this header is that the server sees that the authentication is valid but the nonce is old so it sends a new nonce with the stale flag to signal that it wants you to try again with the newly returned nonce.
My question is how do I do that with requests? It seems that if I can find a way to build the Authorization header I could manage sending the response myself. However, ideally, I would like to set a limit on the number of times that request would retry this with the new nonce but I don't see that this is an option. In fact, it appears it is currently limited to the 2 attempts (the original 401 and the following response).
How do I go about handling this?

So the Requests standard Digest Handler does not handle any of this, so you'll need to write a custom auth handler. This is very straightforward, and you can use the DigestAuth handler in the repository as a jumping off point: take that code and make the edits you need.


No password prompt when lid closed

I would expect pinentry just passthrough the call to pinentry-mac, if laptop lid is closed, but instead it fails the hard way:
/opt/homebrew/opt/pinentry-touchid/bin/pinentry-touchid
2021/12/15 05:39:17 pinentry-touchid does not support devices without a Touch ID sensor!

I use the Macbook Air M1 which has touchid
Model Identifier: MacBookAir10,1

I just hit the same issue and was able to add a fallback scenario when pinentry-mac is called.
If worked for me and in case you want to try it out please check https://github.com/jorgelbg/pinentry-touchid/pull/21
# build a new binary with fallback support
go build -o pinentry-touchid-with-fallback main.go

Don't forget to set a proper path to a new binary in ~/.gnupg/gpg-agent.conf and execute gpgconf --kill gpg-agent

Any chance of a workaround or a config option to sensor.IsTouchIDAvailable() to force a Touch ID prompt even when the lid is closed?
I have an M1 MBP and use Touch ID with the lid closed (using the new external keyboard with Touch ID) almost all the time.
A password fallback kind of negates the whole point of using pinentry-touchid for me. 😔

@lgarron Yep, this is definitively a use case that I want to support.
I haven't been able to find any API changes required for supporting the Magic Keyboard with Touch ID so far. We do not execute any additional checks beyond testing if the LAPolicyDeviceOwnerAuthenticationWithBiometrics can be evaluated. My expectation/understanding was that the external Touch ID would behave exactly as the built in one (which doesn't seem to be the case 🤔).

Oh, I wanted to check what Apple would say about it and seems that @jorgelbg already did it :)
https://developer.apple.com/forums/thread/711838
Seems to be a bug related to LAContext API

I finally got my hands on an external keyboard with Touch ID for testing this properly. Sadly I'm not able to reproduce the issue:
https://user-images.githubusercontent.com/1291846/187300210-b4255633-bb1e-41bb-ba7e-29c0023d5341.mp4
as shown in the video, I'm using the command:
$ ioreg -r -k AppleClamshellState -d 4 | grep AppleClamshellState  | head -1

to verify that the lid is actually closed, after that calling:
$ echo 1234 | /usr/local/bin/gpg -as -

as a simple test case successfully call pinentry-touchid and the unlocking works via the external Touch ID sensor.
For reference I'm testing on a 16" MacBook Pro with an Apple M1 Pro running macOS Monterey v12.5 (21G72). I'm also running the latest version of pinentry-touchid installed via home-brew (which still contains the same call to sensor.IsTouchIDAvailable() with the fallback to pinentry-mac).
@lgarron can you provide any additional details about your issue or give it a try to the latest version?


[Select] Add defaultOpen prop

<!-- Thanks so much for your PR, your contribution is appreciated! ❤ -->
This Pull Request implements the `defaultOpen` prop for the `Select` component, which adds the functionality of toggling the menu automatically on mount.
- [x] I have followed (at least) the [PR section of the contributing guide](https://github.com/mui\-org/material\-ui/blob/HEAD/CONTRIBUTING.md\#sending\-a\-pull\-request\).
Preview: https://deploy-preview-30212--material-ui.netlify.app/components/selects

Thanks for your PR.
There are some issues with the build. Please run yarn prettier, yarn typescript and yarn t Select in your workspace, correct any errors reported and push the changes.

Removed the unused demos and added a unit test for the new defaultOpen prop.
Sorry for the delay on my part too. Happy new year!

Awesome, thank you!


chore(Automated Integration PR): update engines to 5.10.0-13.feat-qe-specific-psl-performance2-b9f77ddd4b02a49b324c20b050de9087e29da4ed

This is a copy of https://github.com/prisma/prisma/pull/23045 needed to retrigger Github Actions.

 Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.You have signed the CLA already but the status is still pending? Let us recheck it.


BAT test not running with UAA integrated to Director

We are trying to run the BAT testsuite with a Director that uses UAA for user management.
Our Director is running on <IP_ADDRESS>.
Here are the ENV variables:
export BAT_DIRECTOR=<IP_ADDRESS>
export BAT_DIRECTOR_USER=admin
export BAT_DIRECTOR_PASSWORD=admin-password
export BAT_STEMCELL=/.../bosh-stemcell-3147-warden-boshlite-ubuntu-trusty-go_agent.tgz
export BAT_DEPLOYMENT_SPEC=/.../bosh/bat/bat.yml
export BAT_VCAP_PASSWORD=c1oudc0w
export BAT_DNS_HOST=<IP_ADDRESS>
# actually don't know what to set here...
export BOSH_KEY_PATH=
export BAT_INFRASTRUCTURE=warden
export BAT_NETWORKING=manual

Here is our bat.yml
---
cpi: warden_cpi
properties:
  uuid: OUR-DIRECTOR-UUID
  stemcell:
    name: bosh-warden-boshlite-ubuntu-trusty-go_agent
    version: latest
  pool_size: 1
  instances: 1
  second_static_ip: <IP_ADDRESS>
  networks:
  - name: default
    gateway: <IP_ADDRESS>
    static_ip: <IP_ADDRESS>
    reserved:
    - <IP_ADDRESS>
    - <IP_ADDRESS>
    - <IP_ADDRESS>
    - <IP_ADDRESS>
    static:
    -<IP_ADDRESS> - <IP_ADDRESS>
    cloud_properties:
      name: random

When I now run bundle exec rspec I get the following output:
!!! EXCLUDING SYSTEM SERVICE SPECS !!!
Run options:
  include {:focus=>true}
  exclude {:type=>:os}

All examples were filtered out; ignoring {:focus=>true}
I, [2017-02-15T17:58:36.004956 #27743]  INFO -- : Running bosh command --> bundle exec bosh --non-interactive -P 1 --config /var/folders/5g/19mv6nv972d1dh_6k7gs6k7r0000gp/T/bosh_config20170215-27743-w5gkir --user admin --password admin-password target <IP_ADDRESS> 2>&1
I, [2017-02-15T17:58:37.448158 #27743]  INFO -- : RSA 1024 bit CA certificates are loaded due to old openssl compatibility
Target set to 'bosh_multi_vm'

I, [2017-02-15T17:58:38.624781 #27743]  INFO -- : Requirement bosh-warden-boshlite-ubuntu-trusty-go_agent-3147
RSA 1024 bit CA certificates are loaded due to old openssl compatibility
I, [2017-02-15T17:58:38.651350 #27743]  INFO -- : Starting cleanup bosh-warden-boshlite-ubuntu-trusty-go_agent-3147

Finished in 2.66 seconds (files took 0.40738 seconds to load)
0 examples, 0 failures
bundler: failed to load command: rspec (/.../.rbenv/versions/2.0.0-p451/bin/rspec)
RuntimeError: Director request failed to '/stemcells' with status 401:
BODY:
Not authorized: '/stemcells'

  /.../bosh/bat/lib/bat/bosh_api.rb:42:in `http_get'
  /.../bosh/bat/lib/bat/bosh_api.rb:31:in `stemcells'
  /.../bosh/bat/lib/bat/requirements.rb:54:in `cleanup'
  /.../bosh/bat/spec/system/spec_helper.rb:84:in `block (2 levels) in <top (required)>'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/example.rb:287:in `instance_exec'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/example.rb:287:in `instance_exec_with_rescue'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/hooks.rb:356:in `run'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/hooks.rb:410:in `block in run'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/hooks.rb:410:in `each'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/hooks.rb:410:in `run'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/hooks.rb:485:in `run'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/runner.rb:114:in `ensure in block in run_specs'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/runner.rb:114:in `block in run_specs'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/reporter.rb:54:in `report'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/runner.rb:108:in `run_specs'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/runner.rb:86:in `run'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/runner.rb:70:in `run'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/lib/rspec/core/runner.rb:38:in `invoke'
  /.../.rbenv/versions/2.0.0-p451/lib/ruby/gems/2.0.0/gems/rspec-core-3.0.4/exe/rspec:4:in `<top (required)>'
  /.../.rbenv/versions/2.0.0-p451/bin/rspec:23:in `load'
  /.../.rbenv/versions/2.0.0-p451/bin/rspec:23:in `<top (required)>'

BATS now runs with the golang CLI which has better support for UAA auth through the BOSH_CLIENT and BOSH_CLIENT_SECRET environment variables. I'd recommend giving that a try and see if you are still having issues. Feel free to start a new issue if new errors are happening with it.


[AutoPR compute/resource-manager] Add AutomaticOSUpgradeProperties in GET VMImageVersion API

Created to sync https://github.com/Azure/azure-rest-api-specs/pull/4031

This PR has been merged into https://github.com/Azure/azure-sdk-for-go/pull/2815


🐛 Fix #619 - Remove options parse and snaky, if present

Fixes #619
Signed-off-by: Peter Boling<EMAIL_ADDRESS>

Codecov Report

Merging #621 (7f28395) into master (a81bc3b) will not change coverage.
The diff coverage is 100.00%.

:exclamation: Current head 7f28395 differs from pull request most recent head b94375d. Consider uploading reports for the commit b94375d to get more accurate results

@@            Coverage Diff            @@
##            master      #621   +/-   ##
=========================================
  Coverage   100.00%   100.00%
=========================================
  Files           13        13
  Lines          399       401    +2
=========================================
+ Hits           399       401    +2

Impacted Files
Coverage Δ

lib/oauth2/client.rb
100.00% <100.00%> (ø)

:mega: Codecov can now indicate which changes are the most critical in Pull Requests. Learn more


Provide SPFx Webparts with an site template

Category

[x] Question
[ ] Typo
[x] Bug
[ ] Additional article idea

Expected or Desired Behavior
Provide SPFx Webparts within a site template:

Put Webparts on a page
use /_layouts/15/savetmpl.aspx to save site as a template
create a new site from it
--> Webparts are in place and ready to use

Observed Behavior
Provide SPFx Webparts within a site template:

Put Webparts on a page
use /_layouts/15/savetmpl.aspx to save site as a template
create a new site from it
--> Webparts are not in place, but visible with the ?contents=1 parameter
--> I'm also able to add Webparts manually on the new created site

Steps to Reproduce

Put Webparts on a page within (e.g.) a team site
use /_layouts/15/savetmpl.aspx to save site as a template
create a new site from it

Please advise how to provide Client Side Webparts with an site template.

You are likely running into an issue where the solution/package isn't installed on the target site.  My guess would be that marking the webpart as available globally would solve this issue.

@patmill  what do you mean by making them globally available?
I'm able to add all SPFx WebParts manually on all sites created from this template. I've checked the box "Make this solution available to all sites in the organization" during the deployment.
Is there anything else to be considered?


How to use sendToView ?

I'm trying to call a method in my View through sendToView. But it is not working ?
I have tried using getView. It returns NPE because i'm calling the getProductsByCat after the Presenter onAttach
public void getProductsByCat(String Category) {
//        final BrowseView view = getView();
        this.sendToView(BrowseView::showProgress);

        rxHelper.manageSubscription(
                RxFirebaseDatabase.observeValueEvent(mRef,
                        dataSnapshot -> {
                            List<Product> mProd = new ArrayList<>();
                            for (DataSnapshot postSnapshot : dataSnapshot.getChildren()) {
                                Timber.d("Count >>" + postSnapshot.getChildrenCount());
                                Product Prod = Product.create(postSnapshot);
                                mProd.add(Prod);
                            }
                            return mProd;
                        })
                        .subscribe(mProd -> {
                            Timber.d(mProd.get(0).productName());
                            sendToView(view -> {
                                view.hideProgress();
                                view.showText("Hello");
                                view.updateItems(mProd);
                            });
                        })
        );
    }

Hey,
what are you trying?
sendToView wait's until the view got attached.
You can use it in your onCreate (for example):
sendToView(view -> view.showProgress());
getView() can cause a NPE when your view isn't attached yet to the TiPresenter.

i'm calling the getProductsByCat after the Presenter onAttach

When do you call this method?

I'm trying to load Items into my Recyclerview when the loading is completed in my Presenter. How can i Call updateItems from my Presenter ?
The onViewReady is called in the Oncreate after setContentView
public class BrowseActivity extends BaseActivity implements BrowseView, BrowseAdapter.ClickListener{

    @Inject
    DataManager mDataManager;
    @Inject
    BrowsePresenter mBrowsePresenter;

    BrowseAdapter mBrowseAdapter;
    @BindView(R.id.bmb)
    BoomMenuButton bmb;

 private final TiActivityPlugin<BrowsePresenter, BrowseView> mPresenterPlugin = new TiActivityPlugin<BrowsePresenter, BrowseView>(
            () -> new BrowsePresenter(mDataManager));

    public BrowseActivity() {
        addPlugin(mPresenterPlugin);
    }

    @Override
    protected void onViewReady(Bundle savedInstanceState, Intent intent) {
        super.onViewReady(savedInstanceState, intent);
        setupViews();
        assert bmb != null;
        bmb.setButtonEnum(ButtonEnum.TextInsideCircle);
        bmb.setPiecePlaceEnum(PiecePlaceEnum.DOT_9_1);
        bmb.setButtonPlaceEnum(ButtonPlaceEnum.SC_9_2);
        TextInsideCircleButton.Builder builder = new TextInsideCircleButton.Builder()
                        .normalImageRes(R.drawable.cat_beverages)
                        .normalText("Beverages")
                        .normalColorRes(R.color.orange)
                        .listener(new OnBMClickListener() {
                                @Override
                            public void onBoomButtonClick(int index) {
                                mBrowsePresenter.getProductsByCat(MYConstants.CAT_BEVERAGES);
                            }
                        });
                bmb.addBuilder(builder);
            }
}

 @Override
    public void updateItems(List<Product> items) {
        mBrowseAdapter.setNewData(items);
        mBrowseAdapter.notifyDataSetChanged();
        Timber.d("Adapter Count" + items.get(0).productName() + mBrowseAdapter.getData().size());
    }

Can you confirm onNext is called?
                    .subscribe(mProd -> {
                            Timber.d(mProd.get(0).productName());
                            sendToView(view -> {
                                view.hideProgress();
                                view.showText("Hello");
                                view.updateItems(mProd);
                            });
                        })

Either you are never calling getProductsByCat(category) or this Observable completes before it emits an item.

I can confirm that the onNext is called. I have also logged all the items from mProd. It is working as expected!

And your Activity is in foreground? Then the sendToView lambda should be called.

Yeah. The Activity is in foreground. I even add a log statement in sendToView. It is also not executed :(

When you say getView() is null then the view is not attached. Either onAttachView(view) isn't called or onDetachView() is called already.
Add the TiLogger and post the output
TiLog.setLogger(TiLog.LOGCAT);

This Log iscalled while the App is in foreground
01-09 22:55:15.176 31529-31529/? V/ThirtyInch: BrowsePresenter:TiPresenter@3ae18bb: deprecated onWakeUp()
These Logs are called when i Press home & comeback
01-09 22:58:28.056 31529-31529/? V/ThirtyInch: BrowsePresenter:TiPresenter@3ae18bb: deprecated onSleep()
01-09 22:58:28.056 31529-31529/? V/ThirtyInch: BrowsePresenter:TiPresenter@3ae18bb: onDetachView()
01-09 22:58:32.945 31529-31529/? V/ThirtyInch: TiActivityPlugin:TiActivity@1a4f10db:BrowseActivity@2f2f1778: binding the cached view to Presenter me.arulnadhan.shopper.activities.BrowseActivity@2f2f1778
01-09 22:58:32.945 31529-31529/? V/ThirtyInch: BrowsePresenter:TiPresenter@3ae18bb: onAttachView(TiView)
01-09 22:58:32.946 31529-31529/? V/ThirtyInch: BrowsePresenter:TiPresenter@3ae18bb: deprecated onWakeUp()

If i use manageViewSubscription instead of manageSubscription . I get the below exception!
java.lang.IllegalStateException: view subscriptions can't be handled when there is no view at net.grandcentrix.thirtyinch.rx.RxTiPresenterSubscriptionHandler.manageViewSubscription(RxTiPresenterSubscriptionHandler.java:80) at me.arulnadhan.grocerycorecommon.ui.browse.BrowsePresenter.getProductsByCat(BrowsePresenter.java:59)

Can you please show your presenter code, when you call your getProductsByCat()❓❗
Normally you have to use manageViewSubscription because you will destroy the subscription after your view got detached. That is the right behaviour.
It seems, however why, that the View don't get attached to the Presenter 🤔

Instead of calling getProductsByCat(category) from Activity. I moved it to onAttachView & used getView() instead of sendToView. It works perfectly.
But Calling from Activity doesn't triggers getView or sendToView

So, wait what?!
getProductsByCat() is business logic and have nothing todo inside your Activity.
So they right way is to have it inside the Presenter!

When a Button is clicked on my Activity, I should change the products according to the category. So i should pass the Category ID to the Presenter in my Activity.
Please take a look at my gist  https://gist.github.com/AruLNadhaN/dc023c5854dab5000b73e800ae96fc70#file-browseactivity-java-L34

I'm I wrong or do you use two different Presenters? ;)
First presenter
Second One
You attach the First one to your Activity but call the getProductsByCat() to the second one. And the second one don't get attached to the Activity... 🤔  Right?

I've created a short test and everything worked like expected.
-> https://gist.github.com/anonymous/111e6c4c50548503f46868731fb08d9f

You inject one Presenter and create another one in your Activity. Don't inject the Presenter and only use the one created from the plugin.

Solved it! The problem is that i'm injecting another instance of presenter in my activity.

@StefMa @passsy I recently changed my view code from Activity to Fragment. After the change, the String values are not retained. They always return NULL.
The string Email returns the value here correctly.  But when it is called  from the Fragment. It always returns NULL

Please ask those questions on Stackoverflow where you can get quick help from a bigger audience for your beginner questions.
Open issues here when you find bugs in the library, not bugs in your code.

sorry. I thought that the values are not retained due to the library. Because it was working fine. When i was calling the presenter from the Activity.


Task 25

@MounikaR8790
Task -25
Code verified.
Task -26
Code verified.

@MounikaR8790
this PR is already approved . codes are not available  raise a new and mention it tracker


policy/api: add ability to select reserved:health entity from CCNP and / or CNP

With the introduction of CiliumClusterwideNetworkPolicies a policy has
the ability to select the 'reserved:health' endpoints. If a user applies
a policy such as [0], it will block all connectivity for the health
endpoints. As this does not seem expected, since Cilium will report that
the connectivity across Cilium pods is not working, the user will need to
deploy a CCNP that allows connectivity between health endpoints. This
can be done with [1].
This commit introduces 'reserved:health' as an entity that can be
selected by CNP and / or CCNP.
[0]
---
apiVersion: cilium.io/v2
kind: CiliumClusterwideNetworkPolicy
metadata:
  name: ingress-deny-all
spec:
  endpointSelector:
    matchLabels: {}
  ingress:
  - {}
---
apiVersion: cilium.io/v2
kind: CiliumClusterwideNetworkPolicy
metadata:
  name: egress-deny-all
spec:
  endpointSelector:
    matchLabels: {}
  egress:
  - {}

[1]
apiVersion: "cilium.io/v2"
kind: CiliumClusterwideNetworkPolicy
metadata:
  name: "allow-reserved-health"
spec:
  endpointSelector:
    matchLabels:
      'reserved:health': ""
  ingress:
    - fromEntities:
      - health

Signed-off-by: André Martins<EMAIL_ADDRESS>

test-me-please

Coverage increased (+0.02%) to 44.67% when pulling 24329966c770827c7d09403bfa0e5f86c5b988cd on pr/add-reserved-health into 37abed502c5c00a7c4b2dd2dd867b598d5d52448 on master.


add a mode for multiple translation units

It is easy to use only to include xbyak.h.
But it increases the compile-time if each file includes the header.
So add the feature to split it into interface and implementation without breaking backward compatibility.

I'm testing some patterns.
Splitting declaration of function and definition decreses compile time (it's smaller thanI expected) but it increase header-only compile time if keeing backward compatibility.
It may be as it is.

There are disadvantages and it is difficult to deal with them, so I close it once.


Idea for the project

describe something

I assume this issue was created here only for testing purposes? Closing.


Allow configuring port for local server

Currently, the local server is started at http://localhost:3333.
It is sometimes useful to use another port, such as port 8080 when using Cloud9.

We have already configuration support (file or package.json), should be easy to add.

Seems like this is already supported. All I needed to do was add the port to my package.json:
"phenomic": {
  "presets": [
    "@phenomic/preset-react-app"
  ],
  "port": 8080
},

Relevant code: https://github.com/phenomic/phenomic/blob/master/packages/core/src/index.js#L12

lol.
So it needs to be documented somewhere.

Will be part of docs


StrMap.fromRecord

create a StrMap from a homogeneous record

My only concern is that the runtime representation of these two types might not necessarily coincide in other backends.

@hdgarrood StrMap is JS FFI only, no?

Perhaps the solution is to add a level of indirection before the unsafeCoerce?

How would a level of indirection help?
Currently I think alternate backend maintainers have been forking the core libraries and translating the FFI code; just because there's only JS FFI stuff here, I don't think that means that we can ignore the issue of alternate backends. I think I'd prefer to address #118 before merging this. Other than that, though, this seems great. See also #125

@hdgarrood I've made a change, above, that I think should address the concern by moving the coercion to FFI code. Happy to wait for resolution to #118 .

Ohh, I see what you mean now. Yeah, that does seem like it should help. Do you think you can work out how to make the linter happy?

The linter loves me now.

Great! Before merging I'd like to get approval from someone else, as I'm not sure I'm fully aware of the implications of adding this function. I'd also like to wait until 0.12 to merge this, because changing dependencies of core libraries is generally something that we need to take a bit of care with and has potential to break things, and so it's probably best to wait until we're breaking everything anyway.


SQL: Join condition wrongly detected as where condition

When a SQL Statement uses a JOIN Statement (ON ...) and a WHERE Statement. The ON ... expression is treated as WHERE Expression.

https://github.com/abaplint/transpiler/blob/f0f6d559a02d930896612b2de8d6459f65d39c2d/packages/transpiler/src/statements/select.ts#L16

closing


feat(helm): add 'helm fetch --prov' to fetch prov info

Previously, there was no way to get provenance data unless you were
verifying it. This allows fetch to get the provenance data, but not
perform any verification. Adding this will allow external plugins
to perform verification against other sources, like Keybase.

This change is


[kitties-tutorial] File not found for module mock and tests

https://docs.substrate.io/tutorials/v3/kitties/pt1/#set-a-price-for-each-kitty
This helper file in the tutorial is wrong.
error[E0583]: file not found for module `mock`
 --> pallets\kitties\src\lib.rs:5:1
  |
5 | mod mock;
  | ^^^^^^^^^
  |
  = help: to create the module `mock`, create file "pallets\kitties\src\mock.rs" or "pallets\kitties\src\mock\mod.rs"

error[E0583]: file not found for module `tests`
 --> pallets\kitties\src\lib.rs:6:1
  |
6 | mod tests;
  | ^^^^^^^^^^
  |
  = help: to create the module `tests`, create file "pallets\kitties\src\tests.rs" or "pallets\kitties\src\tests\mod.rs"

I fixed it in this pr, please review.
https://github.com/substrate-developer-hub/substrate-docs/pull/748#issue-1097655276

Thanks @04637 for taking action on this here. Much appreciated ! 🙏🏻
If you're curious, you can find the tests (and mock runtime) in the solution for this tutorial. 😃


[SQL] support OPTIMIZE TABLE Statement.

What would you like to be added:
Why is this needed:
https://dev.mysql.com/doc/refman/8.0/en/optimize-table.html

@张醒言

ACK, please assign this issue to me. @dongzl


Uncaught Error: ENOENT: no such file or directory, lstat '/5.py'

Open two project folders.
Move a python file from one project folder to the other.

Atom: 1.35.1 x64
Electron: 2.0.18
OS: Mac OS X 10.14
Thrown From: Atom Core
Stack Trace
Uncaught Error: ENOENT: no such file or directory, lstat '/5.py'
At fs.js:1661
Error: ENOENT: no such file or directory, lstat '/5.py'
at Proxy.realpathSync (fs.js:1661:15)
at Proxy.fs.realpathSync (ELECTRON_ASAR.js:336:29)
at TreeView.t.exports.TreeView.moveEntry (/Applications/Atom.app/Contents/Resources/app/static/:14:912566)
at TreeView.t.exports.TreeView.onDrop (/Applications/Atom.app/Contents/Resources/app/static/:14:918320)
at HTMLDivElement. (/Applications/Atom.app/Contents/Resources/app/static/:14:893160)
Commands
 -0:17.8.0 core:close (atom-pane.pane.active)

Non-Core Packages
language-lisp 0.2.0
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
https://github.com/atom/atom/issues/19080, or mute the thread
https://github.com/notifications/unsubscribe-auth/AutmkFthFoSR7VYKYGEMeSxaYGIuzfJlks5vcaKMgaJpZM4cU7EV
.

Open two project folders.
Move a python file from one project folder to the other.

Atom: 1.35.1 x64
Electron: 2.0.18
OS: Mac OS X 10.14
Thrown From: Atom Core
Stack Trace
Uncaught Error: ENOENT: no such file or directory, lstat '/5.py'
At fs.js:1661

Error: ENOENT: no such file or directory, lstat '/5.py'
    at Proxy.realpathSync (fs.js:1661:15)
    at Proxy.fs.realpathSync (ELECTRON_ASAR.js:336:29)
    at TreeView.t.exports.TreeView.moveEntry (/Applications/Atom.app/Contents/Resources/app/static/<embedded>:14:912566)
    at TreeView.t.exports.TreeView.onDrop (/Applications/Atom.app/Contents/Resources/app/static/<embedded>:14:918320)
    at HTMLDivElement.<anonymous> (/Applications/Atom.app/Contents/Resources/app/static/<embedded>:14:893160)

Commands
     -0:17.8.0 core:close (atom-pane.pane.active)

Non-Core Packages
language-lisp 0.2.0

😶

@Theriot7797 your comment was hidden as a violation of the Atom Code of Conduct as it was insulting or derogatory. You may consider this an official warning.

Thanks for the report @slopey112 :+1:
We noticed that this looks like a duplicate of https://github.com/atom/tree-view/issues/1282 so you can subscribe there for updates if you'd like.

Because we treat our issues list as the Atom team's backlog, we close duplicates to focus our work and not have to touch the same chunk of code for the same reason multiple times. This is also why we may mark something as duplicate that isn't an exact duplicate but is closely related.
For information on how to use GitHub's search feature to find out if something is a duplicate before filing, see the How Can I Contribute? section of the Atom CONTRIBUTING guide.


I want to contribute!

Hello, my name is Isha Gupta.
I am full stack developer and follow MERN stack. I have experience of 6-7 months. I saw the project and I am interested in contributing which ever way I can. Kindly let me know.
Thank you.

Hi @ishagupta1548 ! Glad to have on board 👋🏻
I'm sure you will bring great value to this project and we will all learn together, building an useful nice tool.!
I'm reviewing the master branch today and as soon as I finish I'll open an issue for you and link it here. Meanwhile, if you have interest in the design part of the project, you could share some ideas in #41. We would love to have more contributions there.
Can't wait to have your contributions! 😃

Hello @tiagostutz  Sure would definitely look into the designing and provide with my views and contributions there. Also waiting for your tag also.

Hi @ishagupta1548 !! 👋🏻
First of all, sorry for the late response.
I just opened #49 and would like to know if you want to grab that?
If so, please, comment on the issue and I'll assign it to you righ way!

Howdy @ishagupta1548 !
I just opened the issue #52 and I thought you would be interested in taking that.
If you want so, please post a comment there and I'll assign that to you.
Cheers!

I am sorry I could not reply as I was having some personal issues. I am available and want to contribute. Please assign any next issue available. Thank you @tiagostutz

Hi there @ishagupta1548 !
First of all, don't worry, we are not on a rush in this project and the main goal here is to learn together giving opportunitty to people contribute. I'm very glad to have you in this community and I hope you are doing great these days.
I'm totally creating and issue for you today and will link it here.
Keep it up! 💪🏻

@ishagupta1548 I just created #55
If you want to grab that, please comment in the issue and I'll assign that to you right away. 🚀

Hi, is there any unassigned open issues that I could contribute to?

Hi there @dowenrei 👋🏻 !!
Absolutely.! Altought the current issues are all already assigned, we can create and issue specially craft for you. What do you say? Would you like to take a React Hook code to work on?
Just tell me and I'll open an issue for your right away.
Welcome on board.!

Hi there @dowenrei 👋🏻 !!
Absolutely.! Altought the current issues are all already assigned, we can create and issue specially craft for you. What do you say? Would you like to take a React Hook code to work on?
Just tell me and I'll open an issue for your right away.
Welcome on board.!

Hi @tiagostutz, I'm quite new to React and have no experience in React Hook yet, but I would like to give it a go! ;D

Hi there @ishagupta1548 and @dowenrei are you still interested and grabbing some issues around here? If so, just let me know and I'll create ones for you.
I hope you are doing well! =)

Hi! I am pursuing my Bachelor's degree in Software Engineering and am looking for a project to contribute to so that I can learn new things and improve my skills.
My education mainly focused on Java, C++. The other focus of my education is web applications, so I'm pretty comfortable with  CSS, HTML, and currently learning Javascript.

Hi there @RidamGarg 👋🏻 !! Welcome to stop-analyzing.
First of all, sorry for the late response. I was closing some old pending tasks here and got stuck on that.
Thanks for reaching by and offering help to the project. I'm sure we will craft some issues for you to take, learn and make the project even better.!
As you you focused in Java/C++, maybe you could help the project with the API (https://github.com/bancodobrasil/stop-analyzing-api). What do you think? If you think that's a good idea, I'll create an issue for you there. Sounds good?


Cocoapods instructions still pin to v4

First of all, great work on this update!
The issue:
v5 was just released but it doesn't look like the README has been updated and still tells users to pin to v4.
pod 'Result', '~> 4.0.0'

Also, not setting a pod version in pod file do not get v5. It installs 4.0.1

Someone may need to push the pod. @ikesyo?

Result 5.0 has been pushed to CocoaPods trunk
Submitted #289 to update README


Attempt at adding post nav/up/share on mobile

This adds icons for previous post, next post, go up, and share icons that work on mobile (smaller screens).

I have a couple of problems with this implementation:

There is no clear separation with the blog text
The size of the icons is too small for mobile
They don't look like links (note: there is no hoover on mobile)


Fix parallelism

When parallelism is enabled, there is this error:
No such file or directory: './clip_config.pickle

As referenced in #34. This PR fixes that by adding the pickle file to the COPY command in the Dockerfile.

Hi, thanks a lot for your contribution! :)
Not sure how this could go past CI.. will review tomorrow

PR merged, thanks a lot for spotting and reporting this!

No worries, @NickLucche! Thanks for your work.


Reorganize memoizers resources

Sorry @jayasekharreddy-telluri I did not notice your PR, and I just merged another one fixing the same issue.
Feel free to look at other issues tagged as "good first issue': https://github.com/jhipster/jhipster-lite/labels/area%3A good first issue


integrate redux devtools, if available

Well this was easier than expected!
to make it work install https://chrome.google.com/webstore/detail/redux-devtools/lmhkpmbekcpmknklioeibfkpmmfibljd

If a redux devtools extension is detected, the editor will now forward the name of the dispatched actions and the updated state for every dispatch.
This makes it very easy to record (save and SHARE!) a small session of user interactions, alongside the full states for every action.
The best thing is that when you inspect an action, the devtool will intelligently diff the editor state and only show what changed, this is very handy because our full editor state is huge, so being able to quickly focus on the relevant parts is a huge boost.

I tested it this evening, works a treat!!


Fix for #954 : Refactor Garbage Collector

This PR moves deallocation of TransactionContext to the GarbageCollector. This also gets rid of the garbage collection context and maintains a pointer to the TransactionContext in the queue till recycling.

@sivaprasadsudhir Hi! What's the status of this PR? Can you do the fix as I mentioned in the email?


[Question]: Does llama index support sharepoint documents?

Question Validation

[X] I have searched both the documentation and discord for an answer.

Question
Does llama index support sharepoint documents?

Not yet, but would love a contribution over at https://github.com/emptycrown/llama-hub !


I download the ZIP but the data and pretrained_models are destroyed

the data and pretrained_models are both only 134 byte large and cannot be opened. Even though downloading the single file leads the same result. Do you know why it is, or can you give another way to download them? Thank you!

@Ironeie  @Vodkazy
Hi, I met the same problem. How did you solve it? Any reply will be very appreciated.


fix(explore-utils): URL_IS_TOO_LONG_TO_SHARE - reload issue fix

SUMMARY
Chart screen: When the URL_IS_TOO_LONG_TO_SHARE scenario occurs, reloading the page, goes to the new chart screen
TEST PLAN
Create a chart and make changes in form-data until 'URL_IS_TOO_LONG_TO_SHARE ' scenario appears and save the chart, now reload the page
Before fix:
The screen will lose the context and goes to new chart creation screen
After fix:
The screen will retain the save chart context, since the slice_id is added to URL param
ADDITIONAL INFORMATION

[ ] Has associated issue:
[ ] Changes UI
[ ] Includes DB Migration (follow approval process in SIP-59)

[ ] Migration is atomic, supports rollback & is backwards-compatible
[ ] Confirm DB migration upgrade and downgrade tested
[ ] Runtime estimates and downtime expectations provided

[ ] Introduces new feature or API
[ ] Removes existing feature or API

This is resolved via the key value API


Add rest of models

Though I don't think these are entirely necessary, this adds more models that use the auth user.
@rosskarchner @richaagarwal @kave

👍

I think we're past the need for this, at this point.

No need for this anymore


BR and MX Explore Campaigns Are Missing BR and MX Campaigns

BUG
Current Behavior
Only GL EN campaigns are showing up on BR and MX "Explore Campaigns" pages.
Desired Behavior
For translated Spanish and GL EN campaigns to appear on dosomething.org/br/campaigns and for translated Portuguese and GL EN campaigns to appear on dosomething.org/mx/campaigns.
Steps to Replicate
Go to https://www.dosomething.org/mx/campaigns or https://www.dosomething.org/br/campaigns and look at the campaigns listed.
Why This Matters
It's a bizarre user experience to see only English campaigns on the BR and MX site, and we aren't showing people all the campaigns they can do.
Countries Affected (optional)
Brazil and Mexico
Relevant Screenshots + Links
https://www.dosomething.org/mx/campaigns
https://www.dosomething.org/br/campaigns
Likely related to: https://github.com/DoSomething/phoenix/issues/5793#event-552286168
cc @mnelson338 to track progress
cc @mikefantini as an FYI

@mnelson338 noticed a twist: Translated campaigns, like Sea Turtle Street Sweep, do appear on /br/campaigns, like so:

however, they do not appear in Portuguese in the /campaigns view. However, if you click on a translated campaign via TorGuard, and it does actually let you through (see #6389), then you are brought to the correct translation of the site.
Another example: Clicking on Staring at the Stars brings you correctly to:https://www.dosomething.org/br/voluntario/encarando-com-estrelas?source=campaigns
Tentative hypothesis: campaigns with only GL EN and US EN translations redirect to /campaigns when you click on them. Campaigns with GL EN, US EN, BR PR, and MX SP translations present as English on /campaigns but are routed to the correct translation of the campaign if clicked. I think that this issue should be combined with #6389. Will do on Monday. Should be high priority this sprint because a) experience is severely broken b) this site might be put in front of funders in the near future.

Closing in favor of #6394


Update to Blazor 0.9.0

IJSRuntime must be injected, so changed all usages of JSRuntime.Current
Updated the relevant framework version and package references
Stopped using the logging library and changed to Console.WriteLine -- not sure the library was adding anything useful and was just another dependency that has to constantly be upgraded.

Seems the CI server is expecting .net core 2.1 instead of 3.0 preview.  Not sure what to do about that.

Update the global.json file to the correct sdk!

Ah, thanks, let me try that! 🙂

Any updates on this?

@andrecarlucci I don't know how to fix the build, unfortunately.  Not sure what value it's expecting for the SDK version.  I tried a few values, none of them worked.

@kswoll The preview SDK is not installed in the hosted agent images.
It has to be installed by adding a .NET Core tool installer task to the pipeline.

Thanks @jwikberg!  Though seeing as this repo (nor the agent) is owned by me, presumably the repo owner will have to take care of this.

Thanks @jwikberg! Though seeing as neither this repo (nor the agent) is owned by me, presumably the repo owner will have to take care of this.

Since the yaml files for the pipelines are in the repo I assume that we just have to update them, I've sent a PR to your branch with the needed changes https://github.com/kswoll/SignalR/pull/1

@jwikberg ohhh, thank you!  Learned something new. :)  Let's see if this works.  🤞

Looks like that worked @jwikberg, nice work! :)

@galvesribeiro any chance we can get this merged?

Thank you all for pushing this! Sorry, I've been so f'ed with work and didn't had time to update all the libraries.
I'll review it early morning when I get tot he office and will let you know.
Thanks!

@galvesribeiro no worries, I know exactly how that can be. :)  Thanks for lookinng into it!

When do u release the changes as preview package?

Thanks @kswoll a lot for your efforts!
This PR's content was merged with #26


docs-approvers membership

@cartermp - we'd like to add you to the docs-approvers team, but for that you need to be part of the open-telemetry organization. Can you put in a request for that and let @austinlparker and me know when that is done?

Registered here: https://github.com/open-telemetry/community/issues/1057

I invited @cartermp and added him to the team.

Thanks @arminru! (I'm not seeing @cartermp in the team list, but I'll assume that it's because he hasn't accepted the invite yet.)


Don't return full list of results

When call paper_result_list(), it only return results on first page. I look at source code, now it only did:
self.http.get(f"/evaluations/{evaluation_id}/results/")
But for all later pages, it should also call self.http.get(f"/evaluations/{evaluation_id}/results/?page=2")
Please fix this bug or provide new api, thanks!

I have the same issues with other functions, for instance paper_repository_list
Results are limited to 10 results and the function does not allow for checking other pages, which should be possible based on the Paper with Code API:

Example of a paper with 11+ repos linked:
client = PapersWithCodeClient()
func = client.paper_repository_list
args = ['sgdr-stochastic-gradient-descent-with-warm'] # paper id

el_number = func(*args).count
res_list = func(*args)
print(el_number, len(res_list.results))
print(res_list)

16 10
count=16 next_page=2 previous_page=None results=[Repository(url='https://github.com/bluesky314/Cyclical_LR_Scheduler_With_Decay_Pytorch', is_official=False, description='Cyclical_LR_Scheduler_With_Decay_Pytorch', stars=31, framework='pytorch'), Repository(url='https://github.com/MrtnMndt/Rethinking_CNN_Layerwise_Feature_Amounts', is_official=False, description='PyTorch implementation of our paper "Rethinking Layer-wise Feature Amounts in Convolutional Neural Network Architectures"', stars=6, framework='pytorch'), Repository(url='https://github.com/yumatsuoka/check_cosine_annealing_lr', is_official=False, description='Used torch.optim.lr_scheduler.CosineAnnealingLR()', stars=25, framework='torch'), Repository(url='https://github.com/Harshvardhan1/cyclic-learning-schedulers-pytorch', is_official=False, description='A PyTorch Implementation of popular cyclic learning rate schedules', stars=32, framework='pytorch'), Repository(url='https://github.com/longjj/Caffe-SGDR', is_official=False, description='Caffe implementation of SGDR', stars=2, framework='none'), Repository(url='https://github.com/tmbluth/Distracted-Drivers-Detection', is_official=False, description='Keras image detection of drivers in 10 different states, 9 of which are dangerous', stars=0, framework='none'), Repository(url='https://github.com/gurucharanmk/PyTorch_CosineAnnealingWithRestartsLR', is_official=False, description='Set the learning rate of each parameter group using a cosine annealing schedule.', stars=3, framework='pytorch'), Repository(url='https://github.com/jolibrain/caffe', is_official=False, description='Caffe: a Fast framework for deep learning. Custom version with built-in sparse inputs, segmentation, object detection, class weights, and custom layers', stars=37, framework='none'), Repository(url='https://github.com/PatriciaRodrigues1994/pytorch-facebook-udacity-challenge', is_official=False, description='Implementations of the various techniques using to solve the Facebook Pytorch Udacity Challenge.', stars=0, framework='pytorch'), Repository(url='https://github.com/SevenZhan/Pytorch', is_official=False, description='self-used pytorch utilities', stars=0, framework='pytorch')]

As we can see, 16 repos are linked to the paper, the list however only counts 10 (only 10 available in results). Trying to add the 'page' parameter in the call (similarly to the task_paper_list function) results in an error as the parameter is not implemented in the function:

Would it be possible to implement this? Thanks!

Fixed and released in 0.2.1 version of paperswithcode-client.


[feature] Add timeout option for genserver call

Add timeout option for genserver call.
Filing on behalf of @roynalnaruto for #37

@FrancisMurilloDigix @roynalnaruto Sorry for the extremely delayed response.


ssl config will lost message and it happens  high frequency。

Description
our project need to use ssl config to  producer and consumer .  after ssl config is OK .
i use C# procuder  to send message ,and i find that usually the message will lost ..
we each time send 1000 messages and lost about 5-10 messages.
How to reproduce
Here is the Producer settings used (c#).
we use ssl config and ssl config below we find it from librdkafka document.
https://github.com/edenhill/librdkafka/wiki/Using-SSL-with-librdkafka
var config = new Dictionary<string, object> {                 {                     "bootstrap.servers", "<IP_ADDRESS>:9092:9092"                 },                 { "security.protocol","ssl"},                 { "ssl.key.password","kafka1234567"},                 { "ssl.key.location","cert/client_acrlnx002_client.key"},                 { "ssl.certificate.location","cert/client_acrlnx002_client.pem"},                 { "ssl.ca.location","cert/ca-cert"}             };
Checklist
Please provide the following information:

[x] Confluent.Kafka nuget version: <IP_ADDRESS>
[x] Apache Kafka version: kafka_2.11-1.0.0
[x] Client configuration:   { "security.protocol","ssl"},
{ "ssl.key.password","kafka1234567"},
{ "ssl.key.location","cert/client_acrlnx002_client.key"},
{ "ssl.certificate.location","cert/client_acrlnx002_client.pem"},
{ "ssl.ca.location","cert/ca-cert"}
[x] Operating system: WIN10
[ ] Provide logs (with "debug" : "..." as necessary in configuration)
[ ] Provide broker log excerpts
[ ] Critical issue

thanks for help

have you looked at the Error field in the delivery report for each message?
if you provide a more complete example we can comment further.


Quiz- Basic Front End Development Quiz

Describe the project you want to add with tech stack
It is a quiz app regarding the basics of front end development.
Expected behavior

Screenshots (optional)

Additional context (optional )

@TusharKesarwani Please assign this issue to me under GSSOC'23.

@MohitGupta121 Can I ask why you closed the issue?


Can not set wallpaper on Windows 11

Version: 1.3.0
After clicking the "Set as Wallpaper", the app will just infinite loading and didn't change the wallpaper on Windows 11
Similar to these closed issues:
https://github.com/soroushchehresa/unsplash-wallpapers/issues/14
https://github.com/soroushchehresa/unsplash-wallpapers/issues/6

+1 on this issue. Having the same problem

weirdly this has worked for me for the last month.  I just went to change my wallpaper and now it's not changing the wallpaper and "set as wallpaper" is just spinning.

Me too, Wish the aurthor can fix this. TX a lot.

Having the same problem here


Support hosted mode

Signed-off-by: zhujian<EMAIL_ADDRESS>This PR will make the work manager addon support deploying agent in Hosted mode:

issue reference: https://github.com/stolostron/backlog/issues/23827
TODO:

[ ] know issue: the length of the install namespace for hosted mode can not > 37, 63-len("klusterlet-addon-workmgr-")(will doc this for SD)

- lastTransitionTime: "2022-07-18T04:14:38Z"
  message: 'Failed to apply manifest: Route.route.openshift.io "klusterlet-addon-workmgr"
    is invalid: spec.host: Invalid value: "klusterlet-addon-workmgr-klusterlet-hypershift-aws-demo-l7hlf-addon-test.apps.server-foundation-aws-410-cqv4j.dev04.red-chesterfield.com":
    must be no more than 63 characters'
  reason: AppliedManifestFailed
  status: "False"
  type: Applied

[ ] the ca problem(will fix in a follow-up PR)

E0719 08:46:04.498234       1 nodecollecter.go:143] failed to get ca: namespaces "hypershift-aws-demo-l7hlf-addon-test" not found
E0719 08:46:40.521851       1 nodecollecter.go:143] failed to get ca: namespaces "hypershift-aws-demo-l7hlf-addon-test" not found

[ ] integration test or e2e test(will add in a follow-up PR)

/cc @xuezhaojun @zhiweiyin318

/lgtm

/hold

/hold cancel

/lgtm

cc @ldpliu @qiujian16

/approve
/lgtm


Support cardinality clauses within more complex logic

It would be useful to support expressions of the type:
$$
[AtLeast(1,Y_i) \wedge AtLeast(1,Z_j)] \Leftrightarrow W
$$
Where Y and Z are Boolean variables associated to unrelated disjuncts. This is expression would be currently supported in Pyomo.GDP as:
@m.LogicalConstraint()
def foo(m):
return equivalent(land(atleast(1, m.Y[:].indicator_var), atleast(1, m.Z[:].indicator_var)), m.W)

@dovallev does this mean that

you have a disjunction for Y's and another for Z's, and there is no cardinality (eg, Exactly(1)) constraint imposed on either of these?
You are not going to enforce your AtLeast constraints, but rather, if it so happens that AtLeast 1 disjunct is selected in both disjunction, make W true?

@pulsipher this is an interesting application because you are suggesting using cardinality constraints in a conditional fashion. The current modeling paradigm in GDP is that logical constraints are global and are used to link different disjunctions. What you propose is some hybrid logical constraints that includes Boolean (0th order) logic and Cardinality (1st order) logic. Will have to give this some thought...

@pulsipher this is an interesting application because you are suggesting using cardinality constraints in a conditional fashion. The current modeling paradigm in GDP is that cardinality constraints are global and are always true. What you propose is some hybrid logical constraints that includes Boolean (0th order) logic and Cardinality (1st order) logic. Will have to give this some thought...

Exactly right.

AtLeast is currently a set for a logical constraint. It looks like it would need to be an operator, rather than a set, for this to work. Thus adding a cardinality constraint would have to look like: @constraint(m, AtLeast(2, Y) := true) as opposed to @constraint(m, Y in AtLeast(2)).

Yep, I agree. This is what pyomo.gdp does. To me, the key question is what is the "best" way to reformulate cardinality operators behind the scenes?
Once we know how we'd like to reformulate it, adding the cardinality operators as a feature addition should be a relatively straightforward PR. I am interested in this for a paper we are trying to wrap up and use DisjunctiveProgramming instead of pyomo.gdp.

Hello @hdavid16
I think an easy way to support this (at least initially) is to allow modeling with binary variables inside disjunctions. In that way, the following formulation:
$$
\begin{gathered}
{\left[\begin{array}{c}
Y_i(\xi) \
x_i(\xi) \leq 0
\end{array}\right] \vee\left[\begin{array}{c}
\neg Y_i(\xi) \
x_i(\xi) \geq 0
\end{array}\right], i \in I, \xi \in D_{\xi}} \
\text { atleast }(k, Y(\xi)) \Longleftrightarrow W(\xi), \xi \in D_{\xi}
\end{gathered}
$$
could be formulated as:
$$
\begin{gathered}
{\left[\begin{array}{c}
Y_i(\xi) \
x_i(\xi) \leq 0
\end{array}\right] \vee\left[\begin{array}{c}
\neg Y_i(\xi) \
x_i(\xi) \geq 0
\end{array}\right], i \in I, \xi \in D_{\xi}} \
{\left[\begin{array}{c}
P(\xi) \
\sum_{i \in I}(y_i(\xi)) \geq k
\end{array}\right] \vee\left[\begin{array}{c}
\neg P(\xi) \
\sum_{i \in I}(y_i(\xi)) \leq k-1
\end{array}\right], \xi \in D_{\xi}} \
P(\xi) \Longleftrightarrow W(\xi), \xi \in D_{\xi}
\end{gathered}
$$
In the previous small example, the relation between $P$ and $W$ is trivial. However, in the example that @pulsipher proposed, various $P_j$ can be operated and then related with $W$.
From a philosophical point of view, I understand that there is almost no need of having binaries inside disjunctions, as logic can be represented in Boolean algebra. Still there are a few examples in MIP where binaries are not used as indicators. More importantly, GDP is a rich modeling tool and there is no need for constraining it. It should be the modelers decision to use Boolean or binary when they consider appropriate (no?).

@pulsipher and I have discussed a way to support conditional cardinality constraints in the package by reformulating them always with big M, since it is likely not the best idea to start lifting binaries with a Hull reformulation. That way, you can still reformulate your model with Hull without lifting binaries for this advanced 1st order logic. We just need to find some clones to add this to the package 😆.
The current hack is just to add the reformulation directly to the model for these cardinality constraints.


Legion miscompilation

Back again with another miscompilation, however turning off optimizations wasn't enough.
I made a repro here (same repo but legion_bug branch):
https://github.com/Uriopass/cranelift_bug/tree/legion_bug
Expected:
Running with cargo run works
Actual:
running with cg_clif gives this:
╰─» RUST_BACKTRACE=1 ~/repos/rustc_codegen_cranelift/build/cargo.sh r
    Finished dev [unoptimized + debuginfo] target(s) in 0.01s
     Running `target/debug/cranelift_bug`
thread 'main' panicked at 'assertion failed: `(left == right)`
  left: `2`,
 right: `1`', /home/xxx/.cargo/registry/src/github.com-1ecc6299db9ec823/legion-0.3.1/src/internals/insert.rs:110:9
stack backtrace:
   0: rust_begin_unwind
             at /home/xxx/repos/rustc_codegen_cranelift/build_sysroot/sysroot_src/library/std/src/panicking.rs:493:5
   1: core::panicking::panic_fmt
             at /home/xxx/repos/rustc_codegen_cranelift/build_sysroot/sysroot_src/library/core/src/panicking.rs:92:14
   2: <legion::internals::insert::ArchetypeWriter as core::ops::drop::Drop>::drop
             at /home/xxx/.cargo/registry/src/github.com-1ecc6299db9ec823/legion-0.3.1/src/internals/insert.rs:110:9
   3: core::ptr::drop_in_place<legion::internals::insert::ArchetypeWriter>
   4: legion::internals::world::World::extend
             at /home/xxx/.cargo/registry/src/github.com-1ecc6299db9ec823/legion-0.3.1/src/internals/world.rs:249:56
   5: legion::internals::world::World::push
             at /home/xxx/.cargo/registry/src/github.com-1ecc6299db9ec823/legion-0.3.1/src/internals/world.rs:205:21
   6: cranelift_bug::main
             at ./src/main.rs:5:12
   7: core::ops::function::FnOnce::call_once
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
/home/xxx/repos/rustc_codegen_cranelift/build/cargo.sh: line 18: 376986 Aborted                 (core dumped) cargo "+${TOOLCHAIN}" "$cmd" "$@"

This is a miscompilation in the shift handling for 128bit ints. 1u128 << 0 somehow results in 0x10000000000000001. This is probably a regression caused by https://github.com/bjorn3/rustc_codegen_cranelift/commit/9c980276d81b727bb8efcbe63f51866ba19793a0. I likely won't have time today to fix it.

This only happens for 1u128 << 0. It doesn't happen for any other shift amount.

Filled https://github.com/bytecodealliance/wasmtime/issues/2679 as upstream bug.

Upstream fixed

I haven't had time to update the Cranelift dependency yet.


[SHIRO-818] Return other status codes for AuthorizationExceptions.

do not map the class AuthorizationException itself (for now).
This exception is only thrown from the aop support (which might need to be changed to a subclass)
and from Jdbc/Ldap-Realms. But those should lead to internal server errors, as
internal code has thrown an exception.

Following this checklist to help us incorporate your contribution quickly and easily:

[X] Make sure there is a JIRA issue SHIRO-818 filed
for the change (usually before you start working on it).  Trivial changes like typos do not
require a JIRA issue.  Your pull request should address just this issue, without pulling in other changes.
[X] Each commit in the pull request should have a meaningful subject line and body.
[X] Format the pull request title like [SHIRO-XXX] - Fixes bug in SessionManager,
where you replace SHIRO-XXX with the appropriate JIRA issue. Best practice
is to use the JIRA issue title in the pull request title and in the first line of the commit message.
[X] Write a pull request description that is detailed enough to understand what the pull request does, how, and why.
[X] Run mvn clean install apache-rat:check to make sure basic checks pass. A more thorough check will be performed on your pull request automatically.
[X] If you have a group of commits related to the same change, please squash your commits into one and force push your branch using git rebase -i.

Trivial changes like typos do not require a JIRA issue (javadoc, comments...).
In this case, just format the pull request title like (DOC) - Add javadoc in SessionManager.
If this is your first contribution, you have to read the Contribution Guidelines
If your pull request is about ~20 lines of code you don't need to sign an Individual Contributor License Agreement
if you are unsure please ask on the developers list.
To make clear that you license your contribution under the Apache License Version 2.0, January 2004
you have to acknowledge this by using the following check-box.

[X] I hereby declare this contribution to be licenced under the Apache License Version 2.0, January 2004
[X] In any other case, please file an Apache Individual Contributor License Agreement.

Changes:

Added logging to Exception Mappers
Reduced the test case a little by using CXF Frontend (thanks to Romain)
Removed an exception subclass


ERROR: Failed building wheel for fasttext

The commands I ran:
gh repo clone Sirozha1337/faster-auto-subtitle
cd faster-auto-subtitle/
python3 -m venv venv
source venv/bin/activate
pip install wheel
pip install -e .

Here you can see the complete result of that command:
https://pastebin.com/nqUfJhW1
Tested in Ubuntu 23.10.
Version of the venv: Python 3.11.6
I haven't tested the suggested 3.9 yet. I'm sorry if this ends up being the issue.

Hi, it seems the problem is with the dependency package "fasttext". Can you try installing it separately by using this command:
pip install fasttext
Then install the repo using:
pip install -e .
If it fails, try installing the fasttext package differently:
pip install fasttext-wheel
Tell me if it works for you.

pip install fasttext fails with the same error.
pip install fasttext-wheel succeeds, but then pip install -e . runs into the same error.

It might be related to a bit with easynmt: https://github.com/UKPLab/EasyNMT/issues/89
Just to be sure, what version of python are you using, if you don't mind me asking?
Also, I assume there is no opting out of easynmt right (other than removing the setup / requirement)?

Just to be sure, what version of python are you using, if you don't mind me asking?

I'm using Python 3.9.1 on Windows 11. I'll try installing the package on docker using 3.11.

Also, I assume there is no opting out of easynmt right?

Yes, EasyNMT is required for translation.

The problem lies in the fastText package which is a dependency of EasyNMT. It requires usage of binary library and doesn't have pre-built binaries for each Python version and OS. So it tries to build one from source but fails, because your system has a newer compiler version which treats certain warnings as errors.
You need to install previous gcc and g++ version using this command:
apt install gcc-12 g++-12
Then you need to set this version as default one:
update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-12 1
Then install the fasttext package:
pip install fasttext
Then you can finally install the thing you wanted to install:
pip install -e .
Then you can revert the version back using this command:
update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-13 1
And remove unneeded compiler:
apt remove gcc-12 g++-12

@daxida let me know if it worked for you.

Sorry for the late response.
Unfortunately it didn't work for me:
https://pastebin.com/KzJfvaA3
I did run a Dockerfile where it seemed to work, so I'm unsure where the error is coming from.

Strange, judging by your log it calls x86_64-linux-gnu-gcc instead of gcc.
It is possible you need to do this:
update-alternatives --install /usr/bin/x86_64-linux-gnu-gcc x86_64-linux-gnu-gcc /usr/bin/gcc-12 1
Then do this:
x86_64-linux-gnu-gcc --version
And you should see 12.3.0 version in the output. Then you can try reinstalling the package again, it should use the correct version now.
I don't have much experience with gcc and make, so I'm not sure how it determines which compiler to choose.

I couldn't reproduce it using Docker containers, so I don't know how to help you.
The only fix I see is uninstalling all the gcc and g++ versions and then installing older versions (12). But I'm not sure if that would work and it might break something else.
If you don't need translation to languages other than English, you can of course modify source code to remove dependency on EasyNMT or download an older commit.
There's also the possibility of running the package inside the Docker container. I'll add the Dockerfile to the repository soon.

I fixed it but I'm not sure how to reproduce :D
As you can see, I have no alternatives anymore (I cleaned them manually via update-alternatives --remove-all <bin>), the version is 13 yet it compiles.
https://pastebin.com/rpk93HK3
Now what I did just before (when I first realized that it worked, although since I can't reproduce it, it may be because I changed some other symlink that I can't identify) was just:
# Clean install
sudo apt remove gcc gcc-12 gcc-13
sudo apt install gcc g++

# I don't need this anymore. Now a clean reinstall works fine for me (and that's why I can't reproduce it).

# Download the 12 version
sudo apt install gcc-12 g++-12

# Update the priorities
sudo update-alternatives --install /usr/bin/x86_64-linux-gnu-gcc x86_64-linux-gnu-gcc /usr/bin/x86_64-linux-gnu-gcc-12 1
sudo update-alternatives --install /usr/bin/x86_64-linux-gnu-g++ x86_64-linux-gnu-g++ /usr/bin/x86_64-linux-gnu-g++-12 1

Again, I'm unsure as to why it works now but it does.
Also, I intended to use the version without EasyNMT from the start but since I got that bug (that seems to be quite common looking at fasttext / EasyNMT issues), I figured out I might as well just open an issue here too.

@daxida great, I'm glad it worked out for you!
Judging by your log, it used a cache version of fasttext:
Using cached fasttext-0.9.2-cp311-cp311-linux_x86_64.whl
So, it's possible you've built it before when you had gcc-12 installed.

Oh that makes sense. Do you happen to know how can I get rid of a cached wheel? If I can delete I might be able to reproduce what fixed it.

I believe pip cache remove fasttext should help. You can also try removing your venv and creating a new one.

I believe pip stores global cache to speed up package installation in virtual environments. So you probably need to both clear cache and delete your virtual env.

doesn't just refer to the cached wheel (the uncompiled zip) that pip has stored in whatever repository it goes to fetch it?

Yes, it does mean cached wheel. No, cached wheel is not the uncompiled zip. wheel is a pre-built binary, that was created by running gcc/g++ on your machine. Usually those are created by package maintainers, however, fasttext repository is no longer maintained. Hence no wheels and no support for newer gcc versions.


Suggestion - import and export for mass editing and analytics

It would be great to be able to export a folder of notes from within Obsidian into a CSV so they can be edited on mass or used for analytics within CSV apps, eg. Google sheets and Excel.  If used for editing then consideration would have to be given to maintaining consistency (round tripping) through export and re-import.  I would value this highly.

As said in #6, this is a batch import tool. It is not supposed to export markdown to CSV files.
I also don't see a way how one would make a tool to do it the other way round. One could of course export every line in a markdown file to a column in a CSV file, each row a different markdown file, but I don't really see how one would gain insights/value from that.
Mass editing of markdown files can already be done with (Regex) search and replace.


Optimisation and Quantisation for Translation models / tasks

Feature request
Currently, the opimisation and quantisation functions look for mode.onnx in a folder, and will perform opt and quant on those files. When exporting a translation targeted ONNX, multiple files for encoding and decoding, and these can't be optimised or quantised.
I've tried a hacky approach to change names of each of these files and then applying opt and quant, and this fails. I suspect it's more than just namings.
Is it possible to optimise and quant translation ONNX files in future?
Motivation
I would like to get smaller more efficient translation models
Your contribution
Nothing really that I can contribute to building the solution, as I don't have that level of experience and understanding.

Hi, It is possible to perform optimization on translation models.
The trick is to apply it during export from the command line: optimum-cli export onnx --model t5-base --optimize O3.
That's because these models have a decoder component which is represented by two .onnx files and they are merged at the end of the export. Right now, optimizations can only be performed on the unmerged decoder and then it gets merged.
For quantization, the difficulty is in static quantization where calibration gets tricky because it should be performed on model components separately. But nothing is stopping you from using dynamic quantization.

Awesome, thanks. Yep - been playing around this CLI.. and it's working as advertised. Very nice!


revisit all these install options that are not symetrical between kamel install/kamel uninstall and OLM

Some options on kamel install and kamel uninstall are not working with OLM, some options are working without any error. This is very confusing. Please revisit those options and add warning messages when the inappropriate option is used.

CLI install to be deprecated.


add variable to distinguist gcs result bucket

Description
Use variable to identify the run id and use the id for gcs result folder.
Tests
maxtext_nightly run
torchbench run

I'm not sure I understand the use of the Variable here. Isn't the random path something you could pass through XCOM?
In either case, you should generate that name in a dedicated task rather than as part of the GPU or TPU name.

I agree using the xcom. Generating the gcs name in TPU name function is workable but make it quite messy.

I am fine with using either xcom or variable, but I have concern to generate this speicific ID through tpu/gpu name generation. The previous PR of TensorFlow is to fix TPU name inconsistency, so it makes sense to have that variable set in the name generation function. I think you should consider a helper function in your config to set this ID and then get it.

Let's use the PR here: https://github.com/GoogleCloudPlatform/ml-auto-solutions/pull/138. That one use XComarg and run the command by check env variable passed to the fabric ssh runner.