Naomi Smith

What can be done with Sink after it emits an error?

1

For `Future`, `poll` should not be called again after it returns `Poll::Ready` (terminating the future). For `Stream`, `poll_next` should not be called again after it returns `Poll::Ready(None)` (terminating the stream)....

New abstract refinements syntax

7

@ranjitjhala, @gridaphobe, @nikivazou, @christetreault, and I discussed this last week. I believe I remember the new syntax but don't want to risk getting it wrong—does anyone want to write it...

Glulx Input Loops by Erik Temple doesn't compile under 6M62

1

> *In Chapter - Definition of input loop kind in the extension Glulx Input Loops by Erik Temple:* > > **Problem.** In the sentence 'The focal window is usually the...

Fail more gracefully if z3 isn't working

5

See https://github.com/spinda/liquidhaskell-cabal/issues/3

Type inequality constraints in `where` clauses

16

The idea of a `!=` constraint form in `where` clauses has come up multiple times, in discussions of the `where` clause itself, in https://github.com/rust-lang/rust/issues/20041 as a counterpart to the `==`...

If the `data` argument to `writeFile`/`writeFileAsync` is a `Readable` (from `node:stream`), then the contents of the stream are atomically `pipe`d to the new file. This is useful for handling file...

This gets rid of a vulnerability warning on `npm install`.

Add `updateHook`, `commitHook`, and `rollbackHook`

2

These new `Database` methods expose the functionality of `sqlite3_update_hook`, `sqlite3_commit_hook`, and `sqlite3_rollback_hook`, respectively.

###### Description of changes This adds another supported Intel NUC variant in `intel/nuc/12wshi7`. ###### Things done - [x] Tested the changes in your own NixOS Configuration - [x] Tested the...