soraros
soraros
So that things like ``` intros ->. ``` could look better.
Feedly 会把 `https://feedly.com/i/subscription/feed/https://rsshub.app/qdaily/column/59?key=ILoveRSSHub` 编码成 `https://feedly.com/i/subscription/feed%2Fhttps%3A%2F%2Frsshub.app%2Fqdaily%2Fcolumn%2F59` 直接把 query string 的部分扔掉。
This code ```coq Require Import String. Definition s := " a"%string. Print s. ``` gives ```coq s = " a"%string : string ``` which is clearly wrong. I believe #362...
### Review Mojo's priorities - [X] I have read the [roadmap and priorities](https://docs.modular.com/mojo/roadmap.html#overall-priorities) and I believe this request falls within the priorities. ### What is your request? Rename `DynamicVector` and...
### Bug description As title. I'm not sure what *should* happen though. If `f` is marked `always_inline`, the code diverges. ### Steps to reproduce ```mojo # @always_inline fn f(n: Int)...
### Bug description As title. I can't imagine the problem is exclusive to `Reference`. ### Steps to reproduce ```mojo alias Ref = Reference # Error. Why? alias Ref = Reference[_]...
### Review Mojo's priorities - [X] I have read the [roadmap and priorities](https://docs.modular.com/mojo/roadmap.html#overall-priorities) and I believe this request falls within the priorities. ### What is your request? Make `Dict` a...
### Where is the problem? N/A ### What can we do better? As title. It's a bit clunky to enumerate them every time in conversations. Maybe we could call them...
### Bug description As title. Originally reported by `@Harambe` on [Discord](https://ptb.discord.com/channels/1087530497313357884/1207322120984731658). Doesn't seem to reproduce on M3 Mac according to @mikowals. ### Steps to reproduce ```mojo from algorithm import vectorize...
### Bug description As title. The code is *invalid*, it should fail gracefully though. ### Steps to reproduce ```mojo fn f(): let n = 0 let p = DTypePointer[DType.uint8](n.__add__) ```...