Leonardo Santiago

More numeric host-level operations

6

One of the most used operations in the SHA3 family of hash functions is `U64.RotateLeft` (specifically used a lot in the `Keccak-F1600` function). In [my implementation](https://github.com/o-santi/krypto/blob/main/SHA3.kdl), it is used exactly...

The following code ```hs #derive[match] record Surreal { left : List Surreal right : List Surreal } Surreal.add (x: Surreal) (y: Surreal) : Surreal Surreal.add (Surreal.new xl xr) (Surreal.new yl...

`If` behaviour on stuck terms

4

Currently, the `(If ...)` rule on the genesis block evaluates everything that is strictly not `#0` to the true branch. This includes terms that cannot reduce any further, which can...

Memory leak

1

The following program, taken from HVM's example [on lambda arithmetic](https://github.com/Kindelia/HVM/blob/master/bench/LambdaArithmetic/main.hvm), converted to kdl (as done [here](https://github.com/Kindelia/Kindelia/blob/refactor-hvm/benches/kdl/lam_arith.pre.kdl)) and run on KVM leaks space (does not properly clear all the stored data...

New feature resolver, workspace inheritance

7

This MR adds support for weak dependency features, and the new optional feature syntax, as well as workspace inheritance of cargo toml properties. ## Feature resolver I've completely rewritten the...

Fixing Char.is_lower and Char.is_upper

1

The characters between 65 and 91 are the uppercase letters. The characters between 97 and 127 are the lowercase letters. The way it was, `Char.is_lower` accepts any codepoint that is...

feat(supabase): use yarl URL builder in supabase as well

1

## What kind of change does this PR introduce? Add URL builder to supabase as well.

feat(storage): add pyiceberg wrapper

1

## What kind of change does this PR introduce? Add support for accessing a catalog for a given Iceberg instance, similar to the JS implementation ## Additional context I'm not...

v3.0 tracking issue

1

## v3.0 Breaking Changes This issue is intended to track and discuss all breaking changes to come in `v3.0` before landing them in master, in order to not only evolve...

AsyncRealtimeChannel.subscribe returns without waiting for an answer

3

# Bug report - [X] I confirm this is a bug with Supabase, not with my own application. - [X] I confirm I have searched the [Docs](https://docs.supabase.com), GitHub [Discussions](https://github.com/supabase/supabase/discussions), and...