Chủ sở hữu

wala

Đăng nhập để theo dõi

Đã lập chỉ mục 2 kho mã nguồn · Xem trên GitHub

WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

Java · 871 star
ML

Java · 27 star

Phù hợp cho người mới Tất cả

Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

Missing documentation for building and running the Ariadne standalone CLI
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

wala/ML#976 · Mở ngày 26/9/2026
Ariadne standalone CLI fails with “Could not create a entrypoint callsites” for an input file
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100

wala/ML#975 · Mở ngày 26/9/2026
Honor `return_state` and `time_major` in the generic `tf.keras.layers.RNN` summary
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

wala/ML#974 · Mở ngày 26/9/2026
Model the generic `tf.keras.layers.RNN` over a user cell, whose call currently has no target
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

wala/ML#973 · Mở ngày 26/9/2026
Model `tf.random.categorical` as an allocation, so sampled indices no longer alias the float logits they are drawn from
Đang mở
- Có gì không ổn?
bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

wala/ML#972 · Mở ngày 26/9/2026
A comparison fold decides a guard from a `@click.option` default, pruning arms that every invocation passing the option runs
Đang mở
- Có gì không ổn?
bug

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 42/100

wala/ML#971 · Mở ngày 26/9/2026
Decide a φ arm that reaches its merge through a chain of blocks, not only through one or two
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

wala/ML#970 · Mở ngày 26/9/2026
Feed a pass-through-family op's input when it is passed by keyword, not only by position
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

wala/ML#967 · Mở ngày 26/9/2026
Model `tf.reverse_sequence`, whose result currently has no tensor type and drops its arm from a parameter's union
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

wala/ML#965 · Mở ngày 26/9/2026
A tensor binary operation consumed only by another binary operation has no points-to variable, is never seeded, and leaves its consumer's dtype unknown where the consumer's seed has no shape
Đang mở
- Có gì không ổn?
bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

wala/ML#963 · Mở ngày 25/9/2026
A tensor-input read whose points-to set is exactly the None constant reads ⊤ instead of ⊥, so a runtime-dead `if x is not None` arm leaks an unknown-dtype twin
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

wala/ML#961 · Mở ngày 25/9/2026
List repetition and concatenation leave their result with no element set, so an iterated `[None] * n` carries no evidence
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#960 · Mở ngày 25/9/2026
A comparison's inherited broadcast feed can borrow an operand dtype over bool
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 64/100

wala/ML#959 · Mở ngày 25/9/2026
An elementwise seed pairs one return arm's dtype with another arm's shape, and the engine trusts it as proven on both axes
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

wala/ML#958 · Mở ngày 25/9/2026
A subscript result that a type feed serves keeps its subscript pin, and the pin writes its seed-time unknown dtype beside the dtype the feed delivers: a same-shape twin from one subscript
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#957 · Mở ngày 25/9/2026
A `tf.concat` over a list comprehension keeps the dtype but loses the summed extent, although the comprehension has as many elements as the list it iterates
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

wala/ML#956 · Mở ngày 25/9/2026
An elementwise operation inside a comprehension over `enumerate(list)` reads ⊤ where the same operation outside the comprehension types, so a batch merger's offset edge lists carry a wholly unknown member
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

wala/ML#955 · Mở ngày 25/9/2026
`np.cumsum` has no summary, so the offsets a batch merger adds to per-graph edge lists carry an unknown dtype into every model that receives the merged edges
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#954 · Mở ngày 25/9/2026
`Split` reads a keyword `axis` as absent, so `tf.split(x, n, axis=k)` with a computed `k` divides axis 0 instead of degrading
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100

wala/ML#952 · Mở ngày 25/9/2026
`tf.keras.losses.SparseCategoricalCrossentropy` is not modeled, so a loss value and everything computed from it read ⊤ although the predictions' dtype is the loss's by definition
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

wala/ML#951 · Mở ngày 25/9/2026
`Stack` declares no type feed, so a stacked value fed back around a loop keeps its seed's unknown dtype although its elements' dataflow state carries the dtype
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#950 · Mở ngày 25/9/2026
A generator that declares no type feed keeps its seed-time unknown member beside whatever the dataflow delivers, and 66 of the 72 direct `TensorGenerator` subclasses inherit the null declaration
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

wala/ML#949 · Mở ngày 25/9/2026
The `tf.unstack` summary returns a list whose first element is an unrelated constant and whose other elements are empty, so an unpacked `unstack` result carries a fabricated member and its siblings nothing
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

wala/ML#948 · Mở ngày 25/9/2026
A bare base name binds to whichever same-named class was parsed last, so a colliding class in another module becomes the superclass
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

wala/ML#946 · 1 bình luận · Mở ngày 17/9/2026
An inherited method on a class defined inside a function is never dispatched
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

wala/ML#945 · Mở ngày 17/9/2026
A user base class imported from another module resolves only if its module is translated first
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

wala/ML#944 · 2 bình luận · Mở ngày 17/9/2026
The `tf.shape` summary is a fresh `Tensor` allocation with no generator, so the factory refuses it at seeding and its result reads "not a tensor" (3760 refusals in the test module); a subscript of it inherits that
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#943 · 1 bình luận · Mở ngày 17/9/2026
A callback passed to `Dataset.reduce`, `Dataset.filter`, `tf.map_fn`, `tf.py_function` or `tf.while_loop` gets no call-graph node, because those summaries never invoke it where `Dataset.map`'s does
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#942 · 1 bình luận · Mở ngày 17/9/2026
A wildcard source is matched against the parsed scripts by path suffix and the first match wins, so two scripts with one relative path make a wildcard-bound base depend on hash iteration order
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

wala/ML#941 · Mở ngày 15/9/2026
A `tf.reshape` of a dataflow-typed input keeps its unknown-dtype seed member beside the delivered dtype: a same-shape twin from a single reshape
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

wala/ML#940 · 1 bình luận · Mở ngày 15/9/2026
The unfed-seed restore runs once after the first solve, so a feed whose operand arrives in the second solve leaves a permanent phantom unknown beside its repair
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

wala/ML#939 · 1 bình luận · Mở ngày 15/9/2026
A layer's `add_weight`-created weight has an empty points-to set where `call` reads it, in every context of the vendored `Conv1d`, so neither the matmul's dtype rule nor its feed can use it
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

wala/ML#938 · 3 bình luận · Mở ngày 15/9/2026
The same `Conv1d` class yields a float32 output from its first instance and an unknown-dtype output from its second, in two independent layers of the vendored decoder block
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

wala/ML#937 · 2 bình luận · Mở ngày 15/9/2026
The dtype value reader's fallback chain has less reach than the shape reader's, so one value resolves a shape and floors a dtype
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#936 · 1 bình luận · Mở ngày 15/9/2026
684 producer delegations in the test module match no manual generator and contribute nothing: the manual registry's coverage, measured
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

wala/ML#935 · 1 bình luận · Mở ngày 14/9/2026
The allocation-site extractor declines for a constant key and throws for every other key with no allocation behind it: a definition disagreeing with itself
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

wala/ML#933 · 4 bình luận · Mở ngày 14/9/2026
The flow-sensitive integer chase declines silently at seventeen points, so a null cannot tell "the program does not say" from "the chase did not reach it"
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

wala/ML#932 · Mở ngày 13/9/2026
A loop-carried producer read directly, with no analysis run, returns a shape set that excludes the program's value
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

wala/ML#931 · Mở ngày 13/9/2026
Two producer self-recursion guards return ⊥ on the null-engine path where the resolver's policy is ⊤
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100

wala/ML#928 · 3 bình luận · Mở ngày 13/9/2026
Any allocation of the array type made outside the array summaries silently loses every method call: the array's methods are per-allocation fields, not class methods
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

wala/ML#927 · Mở ngày 13/9/2026
A list slice used as a shape vector reads the whole list: the receiver's extent survives into a container's slice result
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

wala/ML#926 · Mở ngày 13/9/2026
A generator that throws is floored to unknown shape by the resolver and reads as a gap; a first census finds the allocation-site extractor throwing inside the `np.array` generator
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

wala/ML#925 · 4 bình luận · Mở ngày 13/9/2026
An elementwise operation over a tensor and an opaque operand floors to "not a tensor" where unknown shape is the sound answer
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

wala/ML#924 · Mở ngày 13/9/2026
An unmodelled producer vanishes from a union, so the modelled branch decides the type alone
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

wala/ML#921 · Mở ngày 13/9/2026
An extent fixed by a consumer's shape requirement is not recovered by the forward chase
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

wala/ML#920 · 1 bình luận · Mở ngày 13/9/2026
A pooling layer constructed with default arguments leaves its spatial extents unresolved
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

wala/ML#919 · Mở ngày 12/9/2026
A comprehension in a method's default value has no call-graph invoke
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

wala/ML#918 · Mở ngày 12/9/2026
A list comprehension's `if` filters do not reach the IR, and the windowed-batcher rule sizes a filtered comprehension as unfiltered
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

wala/ML#917 · 2 bình luận · Mở ngày 12/9/2026
An `Embedding` layer's output carries a sequence extent its input does not have
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

wala/ML#916 · 4 bình luận · Mở ngày 12/9/2026
A parameter of a `tf.function` with an `input_signature` is typed with the caller's concrete shape where the body sees the signature's
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 58/100

wala/ML#915 · Mở ngày 12/9/2026

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

wala

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Đang hiển thị 100 mục mới nhất

Nhận issue mới trong hộp thư của bạn