text:
Not getting NeoVim Terminal

Hi!
I really like the idea of getting rid of Tmux. Is one moving part less and frankly it is not necessary.
I just tried to put let g:tidal_target = "terminal" in my init.vim file and open tidalvim, but I'm still getting Tmux. What am I missing?
In plugged/vim-tidal/bin/tidalvim should I change this?  VIM=${VIM:-"vim"}
kind regards,
Gil

Hi! You should just use nvim instead of tidalvim. Try opening a .tidal file in NeoVim, then write something and evaluate it with  ctrl-e or localleader-s. NeoVim should open a terminal with tidal running there.

Aha! That's what I was missing!
Thank you!

Me too! :) This should probably be clarified in the README.

authors: blinry gilfuser munshkr

repo: tidalcycles/vim-tidal


text:
Swift 3 error with unicode characters

Hi! I am using your library to build an app for a NodeBB forum. All have been working fine until i updated it to use Swift 3. Now, I cant parse the JSON text messages that the server sends me.
An example of the messages (it isnt a complete message):
{"topics":[{"tid":24909,"uid":400,"cid":"3","mainPid":790889,"title":"Retrasados just being retrasados una vez mOptional("\u{00E1}")s en Galicia","slug":"24909/retrasados-just-being-retrasados-una-vez-mOptional("\u{00E1}")s-en-galicia","timestamp":1473334344094,"lastposttime":1473414364688,"postcount":23,"viewcount":95,"locked":false,"deleted":false,"pinned":false,"teaserPid":"791474","titleRaw":"Retrasados just being retrasados una vez mOptional("\u{00E1}")s en Galicia"}]}

As you can see, there are multiple Optional("\u{????}") in the text message. When I try to use  JSONSerialization.jsonObject to parse the JSON message, it gives me the error:
Error Domain=NSCocoaErrorDomain Code=3840 "Badly formed object around character 122." UserInfo={NSDebugDescription=Badly formed object around character 122.}
I am not totally sure if the problem is in your library.
Thank you! :)

Thank you for finding this issue. I just pushed a fix to the swift/3.0 branch.

Thank you for you fast fix! :)

source: gharchive/issue

repo: tidwall/SwiftWebSocket

license: mit

license_type: permissive

license_source: bigquery


text:
feat: add some terms from numpy and PCL

Address some errors from here:
https://github.com/autowarefoundation/autoware.universe/actions/runs/5251645613/jobs/9486794110?pr=3476

np.frombuffer
np.tobytes
np.allclose
is_bigendian in PointCloud2

@kminoda Could you add links to the official documentations or source code?

@kenji-miyake Thanks for the comment, Done!

source: gharchive/pull-request

authors: kenji-miyake kminoda

license_source: github-api


text:
robosense helios 5515 csv in main required

Hi developers,
I want to use your nebula driver to start my robosense helios lidar, and I want to open the "nebula/nebula_ros/launch/robosense_launch.all_hw.xml" file
but finding that it lacks
<arg name="calibration_file" default="$(find-pkg-share nebula_decoders)/calibration/robosense/Helios5515.csv"/>
which I did not see it in nebula main branch.
Is it avaliable for this csv file? and I want to use it as a reference to modify as my own helios.csv which I am using helios 32(fov 31 degrees: https://www.robosense.ai/en/rslidar/RS-Helios)
Any assistance would be appreciated, thanks

Hello @chivas1000 , currently calibration files aren't required for Robosense in Nebula. I forgot to delete that line from launch file. You can remove that line.


text:
Fix/interpreter/catalog

Types of PR

[ ] New Features
[x] Upgrade of existing features
[ ] Bugfix

Link to the issue
Description
make instances of catalogs compatible to original objects
How to review this PR.
Others

Please merge the latest master branch to pass the Documentation workflow

I was just doing the same thing at the same time on #852.
I've finished merging the changes in this PR to my PR, for the possible, so I'm going to close this PR.
Thank you for your contribution!


text:
Move misc Prometheus resources to Tigera Operator

Description
Move the following Prometheus resources to Operator:

99-alertmanager-secret.yaml
99-alertmanager-service.yaml

For PR author

[x] Tests for change.
[ ] If changing pkg/apis/, run make gen-files
[ ] If changing versions, run make gen-versions

For PR reviewers
A note for code reviewers - all pull requests must have the following:

[ ] Milestone set according to targeted release.
[ ] Appropriate labels:

kind/bug if this is a bugfix.
kind/enhancement if this is a a new feature.
enterprise if this PR applies to Calico Enterprise only.

calico-private PR: https://github.com/tigera/calico-private/pull/3580

Tested on a gcp-kubeadm cluster with alertmanager secret and service removed. They will be reconciled by the operator after this change.

repo: tigera/operator


text:
LSM/CacheMap: Scoped insert may be evicted into stash

This crash was originally found by a VOPR running with extra requests.
The cache map fuzzer with this branch's modifications can find it now as well.
Bug
Consider this scenario for the transfers CacheMap:

cache_map.scope_open() (A linked transfer begins.)
cache_map.upsert(.{ .key = 123 }). This is an insert (the key does not already exist in the database), so we also self.scope_rollback_log.appendAssumeCapacity(tombstone_from_key(key));.
cache_map.upsert(.{ .key = 456 }).

Suppose 456 collides with 123 in the SetAssociativeCache, and the 123 insert is evicted from the cache.
Then 123's value is moved into the stash.

cache_map.scope_close(.discard) (The linked transfer fails and is rolled back).

In cache_map.scope_close(), we iterate the rollback log...
// The scope_rollback_log stores the operations we need to reverse the changes a scope
// made. They get replayed in reverse order.
var i: usize = self.scope_rollback_log.items.len;
while (i > 0) {
    i -= 1;

... when we reach the tombstone for 123 in our rollback log...
    const rollback_value = &self.scope_rollback_log.items[i];
    if (tombstone(rollback_value)) {
        // Reverting an insert consists of a .remove call.
        // The value in here will be a tombstone indicating the original value didn't
        // exist.
        const key = key_from_value(rollback_value);

        // A tombstone in the rollback log can only occur when the value doesn't exist
        // in _both_ the cache and stash on insert.
        if (self.cache) |*cache| {

... we find that 123 isn't in the cache (!cache_removed), so we panic:
            // If we have cache enabled, it must be there.
            const cache_removed = cache.remove(key) != null;
            assert(cache_removed);
        }

It is actually in the stash instead:
        // It should be in the stash _iif_ we don't have cache enabled.
        const stash_removed = self.stash_remove(key) != null;
        assert(stash_removed == (self.cache == null));
    } else {
        // Reverting an update or delete consists of an insert of the original value.
        self.upsert(rollback_value);
    }
}

Stack trace
/var/home/djg/C/t/db/review/src/lsm/cache_map.zig:293:31: 0x159e6f3 in scope_close (vopr)
                        assert(cache_removed);
                              ^
/var/home/djg/C/t/db/review/src/lsm/groove.zig:1399:45: 0x154d500 in scope_close (vopr)
            groove.objects_cache.scope_close(mode);
                                            ^
/var/home/djg/C/t/db/review/src/state_machine.zig:1565:62: 0x1504fce in scope_close (vopr)
                    self.forest.grooves.transfers.scope_close(mode);
                                                             ^
/var/home/djg/C/t/db/review/src/state_machine.zig:1652:45: 0x14d1174 in execute_create__anon_29789 (vopr)
                            self.scope_close(operation, .discard);
                                            ^
/var/home/djg/C/t/db/review/src/state_machine.zig:1490:57: 0x147abad in commit (vopr)

Fix
A tombstone in the rollback log means that there is a value in the cache xor in the stash.
Why didn't we find this bug sooner?

Why didn't the VOPR find this bug? The bug requires a cache collision (between two values both inserted in the same scope) and a linked transfer rollback – each of these are rare events in the VOPR.
Why didn't forest or tree fuzzers find this bug? They don't test scopes. (Added a TODO.)
Why didn't cache map fuzzer find this bug? Scopes were limited to 32 updates and hash collisions are rare. The fuzzer is now updated to use larger scopes, so it is capable of finding this bug.

CFO is reporting a failing lsm_cache_map seed, but it passes for me locally on the same commit:
$ git show | head -n1
commit 38e916fdf61f7577e9bcf5482990eef15881aef0
$ zig build -Drelease fuzz -- lsm_cache_map 4077271093479445358
info(fuzz): Fuzz seed = 4077271093479445358
info(lsm_cache_map_fuzz): fuzz_op_count = 633357495
info(lsm_cache_map_fuzz): fuzz_op_distribution = enums.EnumFieldStruct(@typeInfo(lsm.cache_map_fuzz.FuzzOp).Union.tag_type.?,f64,null){ .compact = 0.00e0, .get = 4.00e0, .upsert = 8.00e0, .remove = 0.00e0, .scope = 1.00e0 }
info(lsm_cache_map_fuzz): Verified 4721123 items from model exist and match in cache_map.
info(lsm_cache_map_fuzz): Verified all items in the cache and stash exist and match the model.
info(lsm_cache_map_fuzz): Passed lsm.cache_map.CacheMapType(u128,lsm.scan_fuzz.Thing,(function 'key_from_value'),(function 'hash'),(function 'tombstone_from_key'),(function 'tombstone')).Options{ .cache_value_count_max = 256, .map_value_count_max = 1024, .scope_value_count_max = 1024, .name = { 102, 117, 122, 122, 32, 109, 97, 112 } }!
info(lsm_cache_map_fuzz): Verified 4721123 items from model exist and match in cache_map.
info(lsm_cache_map_fuzz): Verified all items in the cache and stash exist and match the model.
info(lsm_cache_map_fuzz): Passed lsm.cache_map.CacheMapType(u128,lsm.scan_fuzz.Thing,(function 'key_from_value'),(function 'hash'),(function 'tombstone_from_key'),(function 'tombstone')).Options{ .cache_value_count_max = 0, .map_value_count_max = 1024, .scope_value_count_max = 1024, .name = { 102, 117, 122, 122, 32, 109, 97, 112 } }!
info(fuzz): done in 2m84.991ms

repo: tigerbeetle/tigerbeetle


text:
Consider replacing Symfony Console with illuminate/console

I'm currently writing some custom commands to make things a bit quicker for me. Once thing I noticed is that the vanilla symfony/console package is being used instead of illuminate/console. Is there any reason for this, since I was kind of expecting illuminate/console to have some parity with Laravel itself.
Would you ever consider switching too, since most people would probably find the illuminate/console classes / setup easier to use.

Yes, I think that's a great idea!

Perfect. I'm happy to make a PR for this if you're interested? Will involve moving the existing commands to the new format for consistency too.
I'm not sure if this would be considered a breaking change though since anyone who has implemented their own commands might have problems?

Yes, I'd welcome a PR for this. And I don't think it would be a breaking change, since custom commands aren't really a documented feature.

Yes, I'd welcome a PR for this. And I don't think it would be a breaking change, since custom commands aren't really a documented feature.

Great! I'd start working on it and send it in next week :)

Looking forward to it, thanks!

authors: damiani ryangjchandler

repo: tightenco/jigsaw


text:
Replace github.com/pingcap/check with https://github.com/stretchr/testify

testify is more widely used and tools friendly.

That sounds good. I'd like to volunteer to this work.
From my perspective, we may first bring the testing dep and basic test framework to the project and later port all its tests to the new test framework.
Do you want to do the first step?

Sure. I'll replace a subdirectory. Then we can move forward based on directories.
I think to follow up we can leave a comment here before we are ready to do it in order to avoid conflicts.

For "leave a comment", it would be better to clarify that a comment ref to subtask.
You may take a look at FLINK-10392 and although GitHub doesn't have explicit subtasks supporting but we can use refer to achieve it. See also https://github.com/tikv/community/issues/121

For "leave a comment", it would be better to clarify that a comment ref to subtask.
You may take a look at FLINK-10392 and although GitHub doesn't have explicit subtasks supporting but we can use refer to achieve it. See also tikv/community#121

Good point. I'm going to break task into small units and create a set of issues.

@disksing Before porting integration tests, we may first create a replacement of OneByOneSuite.

@disksing it seems subtasks all resolved but still we should handle testleak and other dangling tests for remove pingcap/check dependency. I'm taking care of other dangling tests part. Would you like to handle testleak part?

authors: disksing tisonkun

repo: tikv/client-go


text:
[Dynamic Regions] tikv oom frequently when create table

Bug Report

What version of TiKV are you using?

47b4c474e73f6f51c19f137814c7daba78e9c093
What operating system and CPU are you using?

Linux tc-tikv-0 5.18.12-1.el7.elrepo.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Jul 15 07:03:42 EDT 2022 x86_64 x86_64 x86_64 GNU/Linux
Steps to reproduce

deploy a cluster with some tikv and tiflash nodes using tidb-operator
enable multi rocksdb
create some table

What did you expect?

create table success

What did happened?

create table return error  Error 8027: Information schema is out of date: schema failed to update in 1 lease, please make sure TiDB can connect to TiKV
tikv oom and restart frequently
tikv.log

tiflash is not supported yet (under development, not ready for test yet)

Due with #15269

authors: aytrack tonyxuqqi

repo: tikv/tikv


text:
Stream meta

(Details TBD)
What problem does this PR solve?
Issue Number: cc #30098
Problem Summary:
Added a MetaClient for stream backup, which provides:

Listen the task change. (Not fully consistent, maybe with revision?)
Query the tasks and corresponding target ranges.
Forward the backup progress. (Use the step interface to forward the next backup ts).

What is changed and how it works?
Proposal: Internal for now.
Check List
Tests

Unit test

Release note
None

/sig migrate
/component backup-restore

/run-test

/cc kennytm 3point34

/cc 3pointer

transfer closed with 51194088 bytes remaining to read
/run-tests

Commit sha: bdd0468, Author: 山岚, Committer: GitHub; The sign-off is missing.
DCO doesn't approve the signature of github...?

authors: YuJuncen purelind


text:
normalize file operate API.

What have you changed? (mandatory)
According to official implement, file access API normally retreive a AsRef<Path> as argument, instead of PathBuf or other something. This PR changes some functions as that style.
The PR is splited from #3311 in order to make the PR won't be too huge.
What are the type of the changes? (mandatory)
Improve.
How has this PR been tested? (mandatory)
make dev.
Does this PR affect documentation (docs/docs-cn) update? (mandatory)
No.
Does this PR affect tidb-ansible update? (mandatory)
No.

test storage_cases::test_raftkv::test_batch_snapshot ... thread 'storage_cases::test_raftkv::test_batch_snapshot' panicked at 'assertion failed: s.is_some()', tests/storage_cases/test_raftkv.rs:99:9
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
stack backtrace:
   0: std::sys::unix::backtrace::tracing::imp::unwind_backtrace
             at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49
   1: std::sys_common::backtrace::print
             at libstd/sys_common/backtrace.rs:71
             at libstd/sys_common/backtrace.rs:59
   2: std::panicking::default_hook::{{closure}}
             at libstd/panicking.rs:211
   3: std::panicking::default_hook
             at libstd/panicking.rs:227
   4: std::panicking::rust_panic_with_hook
             at libstd/panicking.rs:475
   5: std::panicking::begin_panic
             at /checkout/src/libstd/panicking.rs:409
   6: integrations::storage_cases::test_raftkv::test_batch_snapshot
             at tests/storage_cases/test_raftkv.rs:99
   7: integrations::__test::TESTS::{{closure}}
             at tests/storage_cases/test_raftkv.rs:76
   8: core::ops::function::FnOnce::call_once
             at /checkout/src/libcore/ops/function.rs:223
   9: <F as alloc::boxed::FnBox<A>>::call_box
             at libtest/lib.rs:1454
             at /checkout/src/libcore/ops/function.rs:223
             at /checkout/src/liballoc/boxed.rs:640
  10: __rust_maybe_catch_panic
             at libpanic_unwind/lib.rs:106

PTAL @overvenus

authors: hicqu siddontang


text:
move snap.rs into subdir, and add builder.rs and reader.rs.

Signed-off-by: qupeng qupeng@pingcap.com
What have you changed? (mandatory)
This PR is extracted from #3311 .
Only add builder.rs and reader.rs, which contains code for generating/sending/receiving/applying snapshots.
However, without SnapManager or any logic about registry, so it should simple.
What are the type of the changes? (mandatory)
Prepare for later improvement.
How has this PR been tested? (mandatory)
make dev.
Does this PR affect documentation (docs/docs-cn) update? (mandatory)
No.
Does this PR affect tidb-ansible update? (mandatory)
No.

you say move in the title, but I don't see any deleted lines in the PR.

ping @overvenus

ping @overvenus Please take a look again, thanks.


text:
txn: use command! macro on ScanLock command

Signed-off-by: longfangsong longfangsong@icloud.com

What problem does this PR solve?
Minor refactor in storage/txn/command.rs.
What is changed and how it works?
ScanLock's code seems the same as the command! macro generates, and for consistency, maybe we should using that macro instead of manually write it.
Tests

Unit test

/merge


text:
implementation of nested comments and form

Comments implementation with  twig, in reference of timber/timber#1205.

Awesome, thanks @motia !

authors: jarednova motia

repo: timber/starter-theme


text:
Fixing namespace mistakes in post getter

Ticket: #
Reviewer: @
Issue

Was some legacy class names left over
Solution

Fixed names
Impact

None
Usage

No change
Considerations

Worked with and without fix.
Testing

Already covered

Coverage remained the same at 88.027% when pulling 0a8346a5ed06b9ccbf048a76bb78e5272bbf5548 on cjb-namespace-fix into 26b6585103c80c2262495087823fbc43241a95dc on master.

Coverage remained the same at 88.027% when pulling 499d9d62ea0a4401fe2c11435e4cf79b1e3243c8 on cjb-namespace-fix into 270d7c2d46c8bb14259f7e454f877279725ed823 on master.

authors: connorjburton coveralls

repo: timber/timber

license: MIT


text:
CSS Class Applier problem

From dave11...@gmail.com on April 13, 2013 11:58:47
What steps will reproduce the problem? 1. On http://rangy.googlecode.com/svn/trunk/demos/cssclassapplier.html page, select "played between two " (include trailing space) and click "toggle bold and red"
2. Select the word "two " (include trailing space) in the previous selection, and click "toggle italic and yellow bg"
3. Select word "teams" and click "toggle bold and red" What is the expected output? What do you see instead? I expect to see "played between " in red color and bold, "two " in red color and bold, yellow bg and italic, and "teams in red color bold only.
What happens is that "teams" gets the yellow bg and italic. What version of the product are you using? On what operating system? I'm using chrome 26.0.1410.64 m, on windows 7. Please provide any additional information below.
Original issue: http://code.google.com/p/rangy/issues/detail?id=161

I appear to have fixed this at some point.

repo: timdown/rangy


text:
🛑 timedin.net is down

In 8d0c7c4, timedin.net (https://www.timedin.net) was down:

HTTP code: 0
Response time: 0 ms

Resolved: timedin.net is back up in 5344650 after 1 hour, 13 minutes.

repo: timedin-de/upptime


text:
Holiday Allowance Don't Match

Hi @vpp
I've created a user which has the following total allowance:

However, the user is in the Sales group which has an allowance of 20:

How come there is 2 days missing?

hi @AsimPervez93,
It is possible that start date for your user was not at immediate start of current year, so system calculated proportional allowance. Other option could be that user has manual adjustments.

repo: timeoff-management/application


text:
Cannot import as a regular ES Module

Describe the bug
I'd like to import this as a regular ES Module in a TypeScript project. It doesn't work. Instead I get the error message that panzoom doesn't declare a "default" export.
Your environment
Current version of panzoom.
Every evergreen browser on every version of Linux, macOS and Windows.
Expected behavior

I type import Panzoom from '@panzoom/panzoom' near the top of my my *.ts TypeScript source code file.
The module gets loaded and is usable.

Actual behavior
The browser gives an error message saying there's no "default" export in the panzoom module.
Steps to reproduce
See "expected behavior", or visit unpkg in order to see the error message
Package @panzoom/panzoom@4.3.1 does not contain an ES module

Thanks for opening an issue. I've added a "source" field to the package.json that should allow you to import the typescript source directly in future releases. I've also added an extra exported es module file for those that want es without typscript.
That said, I've found this to be a common issue importing many modules in TypeScript and have added "esModuleInterop": true to all of my projects (which uses allowSyntheticDefaultImports: true under the hood).

Thank you for the swift action 👍 !
Sadly, there has not been another release since your fix, and I have not been able to import the library when npm install ing  from the github master branch directly. Do you have any idea how long it will be until your next release?

Sorry, I can do that now.

Edit: "esModuleInterop": true does not help (and had originally actually been set by me), it still gives the error Uncaught (in promise) SyntaxError: The requested module '../../../node_modules/@panzoom/panzoom/dist/panzoom.js' does not provide an export named 'default'

That doesn't seem possible. esModuleInterop means it doesn't need an export named default. It's like your setting isn't getting applied.

Also, if that were true, my tests wouldn't work.

:tada: This issue has been resolved in version 4.3.2 :tada:
The release is available on:

npm package (@latest dist-tag)
GitHub release

Your semantic-release bot :package::rocket:

authors: c-hild timmywil

repo: timmywil/panzoom


text:
Min pan distance

This change makes it possible to configure a minimum distance that is used as a threshold to determine whether to begin a pan or zoom operation when triggered via pointer events.
This option can help in situations when small movements during a click/tap cause the element to move slightly which is a little off putting.
Fixes: #441

I haven't added any tests (or checked that they are working) - I'm using this PR as a base for the change to be applied and as a place to discuss the approach. Hope that's ok.


text:
all properties need to be nullable

Sorry about that.

@novalis thanks for submitting this PR! Can you investigate the build breakage https://travis-ci.org/timols/java-gitlab-api/builds/238899077?

I just ran the test several hundred times locally and got no failures.  Reading the test, I see
        // This is odd, but it seems the user is deleted asynchronously...
        Thread.sleep(1000);

Presumably, there's a race condition here.

authors: novalis timols

repo: timols/java-gitlab-api


text:
Новая возможность / Идея

Проблема (для v3)
В проекте достаточно много блюпринтов, они используются для удобного разделения функционала. Работы в лс, в беседах, админские команды, системные команды, обработка эвентов от группы и т.д. Постоянно приходится копипастить рулы которые отвечают за эти команды. Выполнять дополнительные проверки.
Опишите решение, которое вы бы хотели видеть
Было бы не плохо каждому блюпринту добавить какие-то общие рулы, где можно было бы указывать общие фильтры. Например если state равен определенному значению. Как самый банальный пример. Тем самым можно увеличить скорость обработки запросов при очень большом кол-ве хендлеров, так как если основные правила блюпринта не прошли проверку, нет смысла проверять хендлеры в нем.
[Дополнительно] Пример псевдокода
menu_bp = Blueprint('Меню')
# Добавляем общий рул, обработчики блюпринта будут обрабатываться/проверяться только если выполнились общие проверки, например что пользователь находится в меню.
menu_bp.router.common_middleware = StateRule(state=States.IN_MENU)  # Добавляем общий рул
# Или можно передавать сразу фильтр. Указывая что проверять нужно несколько пунктов.
menu_bp.router.common_middleware = filter.and(SomeRule1(), SomeRule2())  # Список рулов

Хорошая идея! Сделаю.

Решение теперь есть. Используйте auto_rules:
bp.labeler.auto_rules = [SomeRule()]

authors: MrSmitix timoniq

repo: timoniq/vkbottle


text:
How to correctly include local context for compaction?

Hi, I am trying to use a local context for compaction. Currently I have:
    let context_value = Value::parse_str(context_in_string, |span| span)?;
    let context = RemoteDocumentReference::Loaded(RemoteDocument::new(None, None, context_value));
    let mut loader = json_ld::NoLoader::<IriBuf, Span>::new();
    let compacted = document.compact(context, &mut loader).await;

The compiler complains:
the trait `From<json_ld::json_ld_syntax::context::Value<locspan::Span>>` is not implemented for `json_ld::json_ld_syntax::Value<locspan::Span>

Thanks a lot!

Hey, so the compiler error message is confusing here, it is a bit disappointing. The compact function expects a remote JSON-LD context (json_ld::syntax::context::Value), not a JSON(-LD) document (json_ld::syntax::Value). You can get a context value either:

by extracting the @context entry of your parsed JSON value and calling syntax::TryFromJson::try_from_json on it; or
by using the ExtractContext::extract_context method implemented on your parsed JSON document, that will do exactly the above for you.

I've not tested it, but if you replace the context_value definition with the code below it should work:
use json_ld::ExtractContext;
let context_value = Value::extract_context(Value::parse_str(context_in_string, |span| span)?)?;

Thanks a lot, @timothee-haudebourg, using your help I made the compiler happy like this:
    let context_value = Value::parse_str(context_in_string, |span| span)?;
    let context = Value::extract_context(context_value)?;
    let context_remote = RemoteDocumentReference::Loaded(RemoteDocument::new(None, None, context));
    let mut loader = json_ld::NoLoader::<IriBuf, Span>::new();
    let compacted = document.compact(context_remote, &mut loader).await;

repo: timothee-haudebourg/json-ld


text:
Pretrained Model of ResNet50

This work is so great! Can you share your Pretrained Model--ResNet50?  I have requested for access, but no answer. Thanks a lot!

I've been doing some method reproduction work recently, as well as comparative experiments. I also need your imagenet pretrained model under 745 classes. Thanks.

Hello,when I want to download the resnet50 pretrained model,it says I don't have permission

Hi all,
Thank you for your attention. I updated the access authority. Try to download it again. Feel free to tell me if you have any problems.

authors: hanxiaoyaoer hero-y miaoshuyu timy90022


text:
Typo throwing exception

Pretty sure this typo is giving the following error.
https://github.com/tinacms/tinacms/blob/141e78c04333a137ab0f07cd1b434bb40de6944e/packages/tinacms/src/toolkit/react-sidebar/components/sidebar.tsx#L517
Error:

Hey @adriano-tirloni can I work on this issue?

repo: tinacms/tinacms


text:
Fix editor scrolling when opening modals.

It turned out fix for scroll in storybook was simpler. Here is PR to remove autoFocus from inputs in modals.

We still want to focus on the URL field by default when adding a link.

Hey @DirtyF , let me try to do that using JS code.

Given I run gatsby-demo
When I click on an image
Then modal is not centered

Hey @DirtyF : seems to work at my end in both chrome and safari,

Can you share a recording may be.

Hey @DirtyF , I just added to PR code to focus inputs using javascript.

Scrolling issues are gone, modal is now centered on image select.
When I select an image, then title field is focused in the modal (shoult be alt IMO)
When I toggle on the link, URL field is not focused.
Not a blocker to merge this PR, we can focus on focus issue in another PR 😉

authors: DirtyF jpuri


text:
webserver.bat打不开 webgui.bat用不了这还有救吗

就是这样

https://github.com/tindy2013/stairspeedtest-reborn/actions/runs/1771998133

https://github.com/tindy2013/stairspeedtest-reborn/actions/runs/1771998133
下载最新版本。

下载了最新版的了还是不行

1、重置网络，netsh winsock reset
2、win11检查文件夹权限，是否能手动创建文件。

算了算了
INZEEN @.***>于2022年4月7日 周四13:13写道：

Closed #153
https://github.com/tindy2013/stairspeedtest-reborn/issues/153.
—
Reply to this email directly, view it on GitHub
https://github.com/tindy2013/stairspeedtest-reborn/issues/153#event-6385206355,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/AP27P5DPCNNH32LBAD7WZQDVDZVGTANCNFSM5QOU6OPQ
.
You are receiving this because you are subscribed to this thread.Message
ID: <tindy2013/stairspeedtest-reborn/issue/153/issue_event/6385206355@
github.com>

算了算了 INZEEN @.***>于2022年4月7日 周四13:13写道：
…
Closed #153 <#153>. — Reply to this email directly, view it on GitHub <#153 (comment)>, or unsubscribe https://github.com/notifications/unsubscribe-auth/AP27P5DPCNNH32LBAD7WZQDVDZVGTANCNFSM5QOU6OPQ . You are receiving this because you are subscribed to this thread.Message ID: <tindy2013/stairspeedtest-reborn/issue/153/issue_event/6385206355@ github.com>

很久之前的问题了 现在可以用

authors: Fri1nd INZEEN guduobai izsiyy


text:
kopt works with local+grouped reduce and tests

Made kopt to work with local+grouped reduce and a bit change limits of kopt to make search space smaller.
Added test for local+grouped reduce and some other transformations

Changes made in tinygrad/:
------------------------------------------------------------
files                             insertions       deletions
------------------------------------------------------------
tinygrad/codegen/optimizer.py              5               5
tinygrad/codegen/search.py                 4               5
------------------------------------------------------------
total                                      9              10
------------------------------------------------------------
lines added in the tinygrad folder: -1

I think an idea here is to rewrite the hand coded optimizations in terms of the actions taken by the optimizer.

authors: geohot nimlgen tinyb0t

repo: tinygrad/tinygrad


text:
Adjust all the document to add text module

What type of PR is this?
/kind documentation
What does this PR do / why do we need it:
Which issue(s) this PR fixes:

Fixes #
Special notes for your reviewers:

LGTM

repo: tinyms-ai/tinyms


text:
Palceholder for Vue3 application name on component definition

Describe the feature
It's a minor issue, but could be solved quite easily (only a replace).
In Vue3 all global components should be registered on the application instead of on a global object (Vue2).
This lead to welding the application name into the component definition:
app.component( ... )

This cause tight coupling and severely damage the easy reusibility of the component and makes renaming the app harder.
I propose to introduce a new placeholder $vueApp and use it:

On component definitions:

$vueApp.component( ... )

In layout.html on creating the application instance:

const $vueApp = Vue.createApp(...)

The application name is already specified when setting Vue version to 3 in JavalinVue:
JavalinVue.vueVersion { c: VueVersionConfig -> c.vue3("MyApp") }

So the only thing to be done is replace this placeholder to the application name when composing the page.
In this way the application name is only defined in a single point.
Additional context
Note on the placeholder name. At first I thought it should be @app or so, but that would render the component definition invalid outside Javalin ecosystem. The proposed $vueApp placeholder is a valid JS variable, therefore the file is syntactically valid on its own.
Related issue: https://github.com/tipsy/javalin/issues/1365

The layout file isn't part of the plugin, so I'm not sure what you are proposing. Do you want to change the tutorial/example, or the JavalinVue plugin?

To tell you the truth, I don't understand your question.
Simply said, now, when using Vue2 the name of the application should be explicitly used in several times (both in JavalinVue plugin and in Vue component/layout file.
I propose, that when the HTML file is composed from the vue files (taking the layout.html and injecting the @routeComponent, te @componentRegistration, etc), you should inject the application name (a parameter of the JavalinVue.version) as well.

To be exact, add one more replace here:
@VueComponent
class VueComponent @JvmOverloads constructor(val component: String, val state: Any? = null) : Handler {
    override fun handle(ctx: Context) {
        isDev = isDev ?: isDevFunction(ctx)
        rootDirectory = rootDirectory ?: PathMaster.defaultLocation(isDev)
        val routeComponent = if (component.startsWith("<")) component else "<$component></$component>"
        val allFiles = if (isDev == true) walkPaths() else cachedPaths
        val resolver by lazy { if (isDev == true) VueDependencyResolver(allFiles, JavalinVue.vueAppName) else cachedDependencyResolver }
        val componentId = routeComponent.removePrefix("<").takeWhile { it !in setOf('>', ' ') }
        val dependencies = if (optimizeDependencies) resolver.resolve(componentId) else allFiles.joinVueFiles()
        if (componentId !in dependencies) throw InternalServerErrorResponse("Route component not found: $routeComponent")
        ctx.html(allFiles.find { it.endsWith("vue/layout.html") }!!.readText() // we start with the layout file
                .inlineFiles(allFiles.filterNot { it.isVueFile() }) // we then inline css/js files
                .replace("@componentRegistration", "@loadableData@componentRegistration@serverState") // add anchors for later
                .replace("@loadableData", loadableDataScript) // add loadable data class
                // Add this here:
                .replace("@componentRegistration", dependencies.replace("$vueApp", JavalinVue.vueAppName)) // add all dependencies
                .replace("@serverState", getState(ctx, state)) // add escaped params and state
                .replace("@routeComponent", routeComponent) // finally, add the route component itself
               // Add something like this:
                .replace("$vueApp", JavalinVue.vueAppName)
                .replace("@cdnWebjar/", if (isDev == true) "/webjars/" else "https://cdn.jsdelivr.net/webjars/org.webjars.npm/")
        ).header(Header.CACHE_CONTROL, cacheControl)
    }
}

Thanks @balage1551. I haven't used Vue3 yet, so I'm not sure of the implications of this. @TareqK, what do you think?

How would this differ than you simply stating the name of your vue app is $vueApp. The config already allows you do do this using the VueVersionConfig.vue3(string appName) method, and you can name your Vue App whatever you want - its just that the default is "app".

How would this differ than you simply stating the name of your vue app is $vueApp. The config already allows you do do this using the VueVersionConfig.vue3(string appName) method, and you can name your Vue App whatever you want - its just that the tutorial is "app".
Edit:
in version 3.X.X, the way to do this is using JavalinVue.vueAppName(string appname)

The only difference is when you use some components in several different projects (different apps). When you have to use the app name directly in the component vue file, when moving the component from one project to other, you have to rename the app in each copy of the file.
Even more problem when instead of duplicating the code (and causing modification anomaly), you make a lib (sub)project containing your reusable components and would like to include them into several projects with several app names. The current solution prevents it because the app name is physically inserted into the component source.
My proposed solution adds a flavor by the possibility to inject the app name by the JavalinVue preprocessor, while don't force you to use it. So one might or might not use it. Therefore this is backward compatible (except in the highly unprobable case when one called his app to $vueApp ;-))

And one more thing: to clarify your question: what I propose is to state the app name only in JavalinVue side once and let it inject on each place you use it. (Even within method code where you might refer to it.) And it is always better than stating it several places in the code.
It is a simple, string based injection, but gives great flexibility and reusibility for those, who need it.
But it doesn't force you to use it. If you prefer to use your real app name everywhere, it doesn't mess with it.

so basically, you want it to be consistent across all apps, and you do the rename of the variable?
I mean, for your particular use case, you can just use an after interceptor and just replace ever instance of the reserved variable in HTML - I dont know if its worth adding this for the niche case where you have library imports, since its a little against the spirit of JavalinVue - which is a simple frontend for MVPs, Admin Panels, etc, rather than a large project or app. @tipsy - I dont see any technical reason why we can't do this, It just feels like its not really the use case for javalinvue.

Thanks for having a look @TareqK.
I'm still struggling with following this. @balage1551, do you want to use $vueApp as a special keyword that will be replaced with the configured name?

Sorry, I'm not sure I can make my proposal clearer than I did above. But I'll try.
Problem:
This is a problem for those who use this library for several smaller projects not a single, huge UI.
In Vue3, the components are created on application level, meaning the each component vue file contains the name of the application. This is not a problem, as long as the component is dedicated to a single application in a single project. Imagine that you write a new composite, but otherwise generic component which you wish to use in several of your projects.
At the moment the possible solutions:

Copy/paste your component into each individual project and replace the application name in each file. This is a bad option, because if you make any change in the component, you have to make the change in each other copy of the file. (See "modification anomaly")
You move your file into a separated subproject and include it into each of your projects AND you use the same name for your Vue application each time. This solves the modification anomaly, but sticks you to name all your project the same way.
You create a Vue plugin for your components and include it. It is an overkill in most cases.

My solution proposal was to use an abstract placeholder for application name in Vue files and replace it with the application name specified in JavalinVue VueVersionConfig. In this case, as the reusable component library subproject only holds the placeholder, in each project the application name is injected correctly. The benefit of the proposal:

It solves the modification anomaly: you are able to move your reusable component into
It is backward compatible: if you don't use multiple projects or reusable, shared components, you can still stick to real application name as now.
The application name is only specified in one place: when setting VueVersionConfig. So changing the name is a one point task.

What I see, the solution needs to interaction in current code: where you build up the page source in VueComponent (as I've already shown earlier) and when you search for components (where you use the specified application name).
About the placeholder name $vueApp: it could be anything. Maybe @app would be cleaner and more consistent to the other placeholders, however, this would be not a valid Javascript variable name, so most of the editors would show error on it. That's why I tried to find a placeholder name which is a valid variable name as well, but sticks out from the code.
As a last word... This is not a critical problem, rather it is a more convenient way to use Javalin with Vue3 in some cases. And although I find this a nice and easy to achieve addition to the toolkit, I can live with or without this. ;-)

Thanks for explaining @balage1551!

About the placeholder name $vueApp: it could be anything. Maybe @app would be cleaner and more consistent to the other placeholders,

Yeah, this was part of what confused me, all the layout macros use @.

You move your file into a separated subproject and include it into each of your projects AND you use the same name for your Vue application each time. This solves the modification anomaly, but sticks you to name all your vue applications the same way.

Isn't this kind of enforcement actually a good thing?
I don't mind the change itself, but the context in which this will be useful is quite complicated IMO, and I think it will be hard to explain the functionality in the documentation. If it can solved by using the same name globally, that sounds like a good solution.

authors: TareqK balage1551 tipsy

repo: tipsy/javalin


text:
[x] toolbar
[x] keyboard
[x] markdown support
[ ] compat editor test

。
知乎去了样式

掘金引用删除有问题

repo: tiptiz/editor


text:
Please provide a way to overwrite the nameserver

Hi,
the image has the google nameservers hardwired which in turn means that dns base blacklists don't work or are blocked.
I've "fixed" this now by overriding /etc/resolv.conf but maybe there could be a more general solution (maybe using /config/resolv.conf if it exists?).

Docker defaults to using googles DNS if you haven't made a custom declaration in your dockerd startup options. Have a look at the docker --dns argument. Also, this works on docker-compose using the dns: declaration.
Running anything involving an MTA is a good idea to use a caching nameserver like Unbound. I have an image available tiredofit/unbound that should work without any setting of environment variables`. You'll just need to assign it a static IP inside a docker network, or expose port 53 to your internal network and you'll stop hammering the public DNS servers when mail comes in.
^^ Unfortunately I've made a lot of changes to some images in past few weeks and just realized I have not updated documentation for that unbound image. All of the environment variables have changed, so, either use it with no settings (they are sane defaults) or wait a few days till I can get it up to date, or use another one.

authors: slankes tiredofit

repo: tiredofit/docker-spamassassin


text:
Response character set error

In file ResponseHandler.cs line 105
response.Response.CharacterSet = response.Response.ResponseHeaders[i].Value.Split(';')[1].ToLower().Replace("charset=", string.Empty).Trim();

On machines which have different locale settings other than english, ToLower() function causes problem like it converts ISO-8859-9 to ıso-8859-9 which is Turkish and not a correct defininition for char set.
Please notice that ıso-8859-9 is not iso-8859-1.
I removed ToLower() like below and it works.
response.Response.CharacterSet = response.Response.ResponseHeaders[i].Value.Split(';')[1].Replace("charset=", string.Empty).Trim();

This has been address in release branch


text:
[migration] v13.26.3 이후 변경사항 v14에 반영

PR 설명
v13.26.4~v.13.28.0 변경사항을 v14에 반영합니다.

🙇🏻♀

repo: titicacadev/triple-frontend


text:
Problema de la suma combinada Resuelto por Jose Alberto Montaño Morales

DESCRIPTION
Nombre: Jose Alberto Montaño Morales
Email: josealbertomm1999@gmail.com
WhatsApp: 7772191186
Ciudad: Jojutla de Juarez,Morelos.
Pais: Mexico
¿Como explicarias el proposito de este proyecto? (opcional)
Ver que tal están ciertas habilidades o conocimientos en areas como: Algoritmos, estructuras de datos, resolución de problemas y JavaScript
¿Cuál es tu stack tecnológico preferido? ¿Por qué? (opcional)
No tengo preferencias, siempre tengo ganas por aprender nuevas tecnologías. Pero las tecnologías que ahora manejo mejor son HTML, css, JavaScript, c#, MySQL y .NET

Hola José Alberto,
Gracias por tu contribución. Aquí tienes algunos comentarios y sugerencias sobre tu código:

Funcionalidad: El código cumple con el objetivo de encontrar todas las combinaciones que sumen el objetivo dado.
Algoritmo: Utilizaste un enfoque de backtracking eficiente y bien estructurado.
Pruebas: Asegúrate de que existan pruebas unitarias para validar diferentes casos de uso.
Calidad del Código: Buen uso de la recursividad y manejo adecuado de las combinaciones.
Documentación y Estructura: Faltan algunos detalles en la documentación, especialmente en el archivo README y no incluiste un .gitignore.

Sugerencia: Podrías optimizar el algoritmo evitando algunas combinaciones ya exploradas.
¡Buen trabajo en general! Con unas pequeñas mejoras, tu código será aún más sólido.
¡Saludos!
Alejandro

repo: tiui-fulfillment/tiui-combination-sum-


text:
Treat any number that is not equal to 0 as True

I found subtitles created in somewhere in 2009 by unknown program that use "1" instead of "-1" as the True value. When I open such subtitles using pysubs2, the values of bool, italic, etc are lost. Video players display such subtitles correctly.
[V4+ Styles]
Format: Name, Fontname, Fontsize, PrimaryColour, SecondaryColour, OutlineColour, BackColour, Bold, Italic, Underline, StrikeOut, ScaleX, ScaleY, Spacing, Angle, BorderStyle, Outline, Shadow, Alignment, MarginL, MarginR, MarginV, Encoding
Style: Default,Arial,42,&H0000FFFF,&H0000FFFF,&H00000000,&H00000000,1,0,0,0,100,100,0,0,1,2,0,2,20,20,5,204
Style: Default-alt,Arial,42,&H0000FFFF,&H0000FFFF,&H00000000,&H00000000,1,1,0,0,100,100,0,0,1,2,0,2,20,20,5,204
Style: Notes,Palatino Linotype,60,&H000E0B0C,&H000E0B0C,&H00FAF7F2,&H00FAF7F2,1,1,0,0,100,100,0,0,1,2,0,2,20,20,5,204

Already fixed in 75894636 as a reaction to #87. I completely forgot about this PR, sorry!

Yup, I already saw that that problem was fixed and closed the PR.

authors: PalmtopTiger tkarabela


text:
Dead Code Elimination with webpack

We should be able to add special comments in front of css, keyframes and styled calls to make uglify think they're pure functions so they can be removed if they're not used.
https://iamakulov.com/notes/polished-webpack/
styled-components/polished#204
/*#__PURE__*/

Added in #154 762207b9b00cc31d7a78526d3b58a74b32758fb9 50b59c256f6abae4067445c3ec049cbe8f79bd0d


text:
Error creating point from notifications

Sending certain notifications throws error: "Error creating point notifications.environment.inside.temperature:[object Object] => number source:undefined". This is after I extended the debug to include the source as well.
This happens when sending notifications created by Zones plugin, but I was not able to identify the reason.
This case does NOT throw an error:
notifications.environment.inside.humidity:
{
  "state": "normal",
  "message": "vlag",
  "method": [
    "visual",
    "sound"
  ],
  "timestamp": "2023-12-28T10:36:21.348Z"
}

and creates the following record in InfluxDB2:
{"state":"normal","message":"vlag","method":["visual","sound"],"timestamp":"2023-12-28T10:36:21.348Z"}
All others, like this one, do throw the error above but I fail to see any meaningful distinction.
notifications.environment.inside.temperature:
{
  "state": "normal",
  "message": "temp",
  "method": [
    "visual",
    "sound"
  ],
  "timestamp": "2023-12-28T10:14:34.666Z"
}

If this matters, this is running on Nixos 23.11
signalk 2.4.1 is installed with "npm config set prefix /home/user/.npm-apackages" as global install is not supported on Nixos
npm is 9.8.1
node is v18.18.2

InfluxDB 2 has an internal data type per measurement (= Signal K path) that is locked in place when you write the first value.
The plugin uses Signal K schema to try to retrieve the Influx data type to use for each measurement / path. If the schema provides a unit for the path the value is assumed to be a number, otherwise the data type of the JavaScript value is used to derive the Influx data type to use.
The difference is explained by this
> sk.getUnits('vessels.self.notifications.environment.inside.humidity')
undefined
> sk.getUnits('vessels.self.notifications.environment.inside.temperature')
'K'

which seems to me to be a bug in getUnits implementation.
But I think a better fix would be to assume all values under notifications are objects and force that data type.

Actually, according to SignalK specification, my example only works because I wrongly used inside.humidity instead of SignalK's inside.relativeHumidity. Although, there's some inconsistency here as the spec defines outside.humidity instead of outside.relativeHumidity. Also, in SignalK server, the unit for notifications.environment.inside.humidity is ratio...
Anyway, in the SignalK spec, there are two matches for vessels.self.notifications.environment.inside.temperature:

/vessels/<RegExp>/notifications/<RegExp>: This regex pattern is used for validation of the path of the alarm. No units are defined
/vessels/<RegExp>/environment/inside/temperature: The unit is defined as Kelvin.

Based on this, for the complete solution, I would say that

first, for the definition of units, the spec should define that notification keys should have precedence over data keys
second, undefined unit should allow notification objects to be used (as is the case now).

Until this is done, can you implement a workaround and use sk.getUnits only if path does not match /vessels/<RegExp>/notifications/<RegExp>?

v1.6.2 should be available shortly.

Just tested it and it works ok. Thanks!
On Fri, Dec 29, 2023 at 4:55 PM Teppo Kurki @.***>
wrote:

v1.6.2 should be available shortly.
—
Reply to this email directly, view it on GitHub
https://github.com/tkurki/signalk-to-influxdb2/issues/47#issuecomment-1872185615,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/ABXQ47ZZW4LRJQT7GZFBN3TYL3RV5AVCNFSM6AAAAABBFLOZHWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNZSGE4DKNRRGU
.
You are receiving this because you authored the thread.Message ID:
@.***>

authors: nadrog tkurki


text:
add ENABLED and \cdot front-end

These changes:

add the following proof directives to the module library/TLAPS.tla:

ENABLEDaxioms: apply proof rules about the operator ENABLED (implemented in the module src/expr/e_action.ml), and ensure for soundness that assumptions are of appropriate expression level (implemented in the module src/module/m_elab.ml)
ExpandENABLED: replace the operator ENABLED with rigid quantification of primed occurrences of variables (implemented in the module src/expr/e_action.ml)
ExpandCdot: replace the operator \cdot with rigid quantification over primed and unprimed occurrences of variables (implemented in the module src/expr/e_action.ml)
AutoUSE: expand defined operators where needed to soundly replace the operators ENABLED and \cdot with rigid quantification, raise errors for declared operators and parameters of operators (implemented in the module src/expr/e_action.ml)
Lambdify: replace the operator ENABLED and \cdot with constant-level expressions that include LAMBDA expressions with normalized parameter names (implemented in the module src/expr/e_action.ml)
LevelComparison: prove sequents with modified levels of declared operators, for example replace an ACTION declaration with a STATE declaration (implemented in the module src/expr/e_level_comparison.ml)

computation of TLA+ expression levels (implemented in the module src/expr/e_levels.ml)
add version 13 of the fingerprints file format, which includes the newly implemented proof directives (implemented in the module src/backend/fpfile.ml)
add command-line option --line <int> for line to prove (abbreviates --toolbox n n) (implemented in the module src/tlapm_args.ml)
add command-line option --smt-logic <logic> for setting the SMT solver logic, with default the logic UFNIA (implemented in the modules src/backend/smt.ml, src/params.ml, src/tlapm_args.ml)
save fingerprints and auxiliary files that correspond to the file filename.tla in the directory __tlacache__/filename.tlaps (implemented in the module src/tlapm.ml, updated test file test/fast/fingerprint/load_v8old_test.tla)
save kind of declaration (CONSTANT, STATE, ACTION, TEMPORAL, unknown) in fingerprints (implemented in the module src/backend/fingerprints.ml)
save proof directives that appear in BY statements in the fingerprints, to ensure that proof obligations with the same assertions and different BY statements result in different fingerprints (implemented in the module src/backend/fingerprints.ml)
add tests for the newly implemented proof directives to the directory test/fast/enabled_cdot/:

Cdot_test.tla
ENABLEDaxioms_test.tla
Enabled_test.tla
ExpandENABLED_LET_test.tla
ExpandOnlyCdot_test.tla
ExpandOnlyENABLED_test.tla
Level_test.tla
NestedCdot_test.tla
NestedENABLED_from_AutoUSE_test.tla
NestedENABLED_test.tla

bug fixes to coalescing (in the module src/frontend/coalesce.ml)
prepend CONSTANT_, STATE_, ACTION_, TEMPORAL_, Unknown_, VARIABLE_ to coalesced identifier, to represent level information about declared and defined operators and avoid related unsoundness bugs (implemented in src/frontend/coalesce.ml)
reimplement substitutivity computation (in the module src/expr/e_substitutive.ml)
add class map to module src/expr/e_subst.ml (to enable subclassing)
add class map_visible_hyp to module src/expr/e_subst.ml (substitution that visits only visible hypotheses in a sequent's context)
add classes map_visible_hyp, iter_visible_hyp, map_rename to the module src/expr/e_visit.ml
add functions set_to_list, collect_unprimed_vars, collect_primed_vars to the module src/expr/e_visit.ml
call function map_visible_hyp from module src/frontend/action.ml
call level computation in src/frontend/action.ml, instead of Expr.Constness.is_const
bug fix in src/frontend/action.ml to add ENABLED in pattern case
bug fix in src/frontend/action.ml to assert false for the operators UNCHANGED, \cdot, ~>, -+->, [], <>, \AA, \EE, subscript, temporal subscript, WF_, SF_ in pattern case
add comments to the types in the module src/expr/e_t.ml
add functions visibility_to_string, print_cx, cx_front, scx_front, find_hyp_named, expr_locus, format_locus, shape_to_arity, number_of_hyp, sequent_stats to the module src/expr/e_t.ml
add the example of incrementing an integer-valued variable examples-draft/SimpleExampleWF.tla
activate proving for submodules (implemented in the module src/module/m_parser.ml)
modules from INSTANCE and EXTENDS statements could be submodules of a module that the module extends, and is itself another file (implemented in the module src/module/m_dep.ml, src/module/m_save.ml)
refactor module src/module/m_elab.ml, part moved to the module src/module/m_subst.ml (described below)
add visitor of TLA+ module syntax graphs (implemented in the module src/module/m_visit.ml)
add utilities for performing substitutions in TLA+ module syntax graphs (implemented in the module src/module/m_subst.ml)
refactor src/tlapm.ml, change error messages, printing of count of failed obligations
failwith_unsupp for the operators ~>, ENABLED, \cdot, -+->, [], <> in the Isabelle and Zenon backends (implemented in the modules src/backend/isabelle.ml, src/backend/zenon.ml)
coalesce defined operator occurrences, operator application, and first-order quantification in src/backend/ls4.ml
update the modules src/backend/prep.ml, src/method.ml, src/method_prs.ml with the newly implemented proof directives
add ~> to temporal operators in pattern case in the module src/expr/e_elab.ml
add function first_n to module src/util/deque.ml
augment error message in the module src/expr/e_deref.ml
BSeq was a binary operator (implemented in the module src/module/m_standard.ml)
update the documentation file todo.txt
update the file src/Makefile
update the generated file src/.depend

It fails to compile for me with error:
File "e_visit.ml", line 470, characters 14-33:
Error: Unbound value Hashtbl.to_seq_keys

It works with ocaml 4.09.1 and fixes #8, at least for my case.

Thank you for reviewing, I will address the comments.

This is good to merge now. @johnyf I'll let you push the merge button after making any last-minute changes, if you have any.

Thank you for approving these changes, I merged them.

authors: damiendoligez johnyf kape1395

repo: tlaplus/tlapm


text:
2 Echo-Server on one Server sharing channels

Hi,
I have two instances of Laravel Echo Server running on my root server (Dev and Live) and they work flawlessly. The problem is that when I send a message via one of the channels there is no separation between them. Here's an example of the unwanted behavior:

Dev is listening to presence-channel-1
Live is listening to presence-channel-1
Message via Live is send to the channel
I receive the message on my dev environment, even if the live site is not open and the user is not authenticated to that channel on live

I have setup the two echo server instances the following way:

Separate ports
Separate redis instances
Different hosts (Domain and a sub-domain of it)
Different appIDs
Different echo keys
Different laravel app keys
One instance has dev mode turned on

I am expecting this to happen because both dev and live share the same naming policy for the channels and are on the same server. Viewing this from the perspective of the server, the client on live and dev authenticate successfully to their respective environments. The socket server then sends the info regardless of the port they are bound to.
I guess the best way to solve this is to prepend some kind of ID or Hash to the channel name. Is there a built in way in the laravel config or should I do this via a global Javascript variable that I define - and is there still a security concern when using prepended channel names?

Because the echo-server psubscribe "*" channel in Redis.
If you want to avoid it, I think the best way is one app one redis instance unless you can separate the channels' name between your apps by yourself.
Check this issue: #140

Hi @eddiclin,
They are already running on two different database instances (ID 1 and 2). So that's not it.

No. I mean that it's two different redis instances, not two redis databases.
As this comment said,

Pub/Sub has no relation to the key space. It was made to not interfere with it on any level, including database numbers.
Publishing on db 10, will be heard by a subscriber on db 1.

@jastend well I've make laravel api project and start the laravel-echo-server on thet domain, then for the for each channel you have to rename with a secret key from the api (ex: channel-chat-1.sdf4ds545dsfsd).
but this is not safe for the client side, because user can know the secret key.
//laravel echo client side
window.Echo = new Echo({
    broadcaster: 'socket.io',
    host: 'https://ws.test.com:7001',
    auth:
        {
            headers:
                {
                    'secret': socket_secret
                  }
          }
  });

Echo.private('message-channel-' + socket_secret)
    .listen('.message-event', (data) => {

});

//php
   public function broadcastOn()
    {
        return new PrivateChannel('message-channel-'.env('SOCKET_SECRET'));
    }
    public function broadcastAs()
    {
        return 'message-event';
    }

laravel-echo-server.json
{
	"authHost": "https://ws.test.com",
	"authEndpoint": "/api/auth"
}

@spmsupun Thanks for your help. I've ended up using a very similar solution. It's not perfect but works for now in my setup.

authors: eddiclin jastend spmsupun

repo: tlaverdure/laravel-echo-server


text:
Add support to Compute Library for Arm Architecture (ACL)

Add support to Compute Library for Arm Architecture (ACL)

Add package support to install ACL 21.02
Include option to build TVM on Linux using ACL

@icemelon9 also in case you can have a look

Friendly reminder about this one @tqchen @icemelon9

repo: tlc-pack/tlcpack


text:
Split ToolsList component into sub-components for better readability

ToolsList => pages/Home.vue
Sub-components:

SharingButtons
ScrollToTop
ToolCard
TwitterFollow
Menu Icon

PS: NO UI changes in this PR

This is amazing. Pretty good stuff 😄
Thanks dude @apvarun 👍 🥇

authors: apvarun madhuakula


text:
Add tile example

Looks like it's something that  people like to do, having this kind  of  stuff:
https://fluxml.ai/
as an example would be  nice (I  think it can just be done with columns but we should probably write it out and check)
\begin{:columns}
\column{
**Compiled Eager Code**

Flux provides a single, intuitive way to define models, just like mathematical notation. Julia transparently compiles your code, optimising and fusing kernels for the GPU, for the best performance.
}

\column{
**Differentiable Programming**

Existing Julia libraries are differentiable and can be incorporated directly into Flux models. Cutting edge models such as Neural ODEs are first class, and Zygote enables overhead-free gradients.
}

\column{
**First-class GPU support**

GPU kernels can be written directly in Julia via CUDA.jl. Flux is uniquely hackable and any part can be tweaked, from GPU code to custom gradients and layers.
}
\end{:columns}

\begin{:columns}
\column{
**The Model Zoo**

A rich collection of Flux scripts to learn from, or tweak to your own data. Trained Flux models can be used from TextAnalysis or Metalhead.
}
\column{
**Probabilistic Programming**

The Turing.jl and Stheno libraries enables probabilistic programming, bayesian inference and Gaussian processes on top of Flux.
}
\column{
**TPUs & Colab**

Flux models can be compiled to TPUs for cloud supercomputing, and run from Google Colab notebooks.
}

Yep, it should work automatically: https://getbootstrap.com/docs/4.5/layout/grid/#auto-layout-columns

authors: tlienart zdroid


text:
Gallery: Update block input & other fun fixes

Very WIP, but basic structure is here. Still need to:

[x] handle mobile input
[x] handle drag drop/paste
[x] rich text?

Will eventually...
Fixes LAND-614
Fixes LAND-401

This work was moved to another branch.

repo: tloncorp/landscape-apps


text:
Chess: Move E6 to D8

Please do not change the title. Just click "Submit new issue".

@tmchuynh done! Successfully played move e6d8 for current game.
Thanks for playing!

repo: tmchuynh/tmchuynh


text:
Occasional segmentation fault doing rake test on Linux

This is probably a RubyPython error, but thought I would bring it up anyway.  Doing rake test, bundle exec rake test, or bundle exec ruby -I lib test/test_pygments.rb all trigger the issue.  Here is a dump file.
$ ruby -v
ruby 1.9.3p0 (2011-10-30 revision 33570) [x86_64-linux]
$ uname -a
Linux abe-PC 3.0.0-16-generic #28-Ubuntu SMP Fri Jan 27 17:44:39 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 11.10
Release:	11.10
Codename:	oneiric

/cc @halostatue


text:
Design branch

Merging design branch into master

merged design branch with master and deleted branch


text:
Reorder the "Movie Rating Distribution" graphs

I love including all of the different categories but feel that personal score should be listed first

done