OverHash

Results 26 issues of OverHash

The following Luau code causes `blocked` types to appear: ```lua --!strict local module = {} type TweenInfo = { new: (time: number?) -> TweenInfo } local TweenInfo: TweenInfo = (nil...

bug
new solver

Using the new type solver fails on degenerate cases when type checking For example, in Roblox, the following code causes a type error: ```luau --!strict local function foo(player: Player) if...

bug
new solver

### Acknowledgement of preliminary instructions - [X] I have read the preliminary instructions, and I am certain that my problem has not already been addressed. ### What problem did you...

help wanted
flatpak

**Motivation** Currently, opening vscode with the export pdf set to `onSave` will automatically trigger a render of the last opened Typst document. This is less than ideal as it can...

enhancement
export

Many sources (e.g., [owasp](https://cheatsheetseries.owasp.org/cheatsheets/Forgot_Password_Cheat_Sheet.html#user-resets-password)) include an additional step during password reset: > Ask the user if they want to invalidate all of their existing sessions, or invalidate the sessions automatically....

Consider a wrapper around RemoteEvents to provide greater type support (ensure the server sends the correct data types to the client). One might try write: ```lua --!strict type Player =...

bug
new solver

Consider the following Luau code: ```lua --!strict type Instance = {__type: "INSTANCE"} type Model = Instance & { _parent: "Instance" } local selectedItem: { instance: Instance } local item: Model...

bug
new solver

See https://github.com/jsdotlua/react-lua/blob/df4b4072e3aa78fc64850f8ca8b696084f305d75/modules/react-reconciler/src/RobloxReactProfiling.luau for source

When using Claude Code in an IDE (i.e., inside a VSCode terminal with the IDE integration), Claude Code will propose changes via a diff viewer tab in vscode. While this...

enhancement
area:core
area:ide

**Question** I'm connecting to a Azure MS SQL database through the use of a GCP IAP tunnel. Our IAP tunnel is configured via `socat` to forward requests from port 5432...

Q&A