Search results

LiveCollection API Uniformity

Status: Open.

Feature

#2930 In hydro-project/hydro;

· jhellerstein opened on Jun 5, 2026

Support atomic simulator inputs directly to cluster members

Status: Open.

Feature

#2921 In hydro-project/hydro;

· shadaj opened on Jun 4, 2026

EventualConsistency should be preserved by broadcast_closed only with proper networking

Status: Open.

Bug

#2920 In hydro-project/hydro;

· jhellerstein opened on Jun 4, 2026

feat(dfir): set handoff with_capacit(N) based on previous len() (or more complex metrics)

Status: Open.

Feature

#2906 In hydro-project/hydro;

· MingweiSamuel opened on May 29, 2026

Tick triggers, DFIR loops, simulator soundness and optimizations

breakingInvolves breaking changes to the Hydro APIInvolves breaking changes to the Hydro API

dfir_lang syntaxDataflow IR syntax (surface syntax)Dataflow IR syntax (surface syntax)

dfir_rs schedulerDFIR runtime scheduler (part of the Core API)DFIR runtime scheduler (part of the Core API)

hydro_lang

simulatorHydro Deterministic SimulatorHydro Deterministic Simulator

Status: Open.

#2902 In hydro-project/hydro;

· shadaj opened on May 28, 2026

extract lattices crate into standalone repo

Status: Open.

Task

#2900 In hydro-project/hydro;

· MingweiSamuel opened on May 28, 2026

feat(hydro_lang): mutable singleton references

Status: Open.

Feature

#2896 In hydro-project/hydro;

· MingweiSamuel opened on May 27, 2026

New DFIR changes taxonomy

Status: Open.

Task

#2895 In hydro-project/hydro;

· MingweiSamuel opened on May 27, 2026

bug(hydro_std): Folds aren't short circuited

Status: Open.

Bug

#2885 In hydro-project/hydro;

· davidchuyaya opened on May 22, 2026

feat(dfir): Support references in handoffs (stream references)

Status: Open.

Feature

#2880 In hydro-project/hydro;

· MingweiSamuel opened on May 20, 2026

Docs section for reasoning about consistency in Hydro

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#2863 In hydro-project/hydro;

· shadaj opened on May 12, 2026

feat(hydro_lang): Keyed Locations

hydro_lang

P2Medium priorityMedium priority

Status: Open.

Feature

#2860 In hydro-project/hydro;

· jhellerstein opened on May 12, 2026