#ctx
LightNews LightNews
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -0.5 | 24h(cfs) -27.7 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 17.7 cfs 📉
Δ -2.0 (-10.2%)
Prev 19.7 cfs
⏰ 1/6/2026, 4:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 7, 2026 at 1:00 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -0.5 | 24h(cfs) -38.1 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 19.7 cfs 📉
Δ -1.6 (-7.5%)
Prev 21.3 cfs
⏰ 1/6/2026, 12:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 9:00 PM
bisimulation.bsky.social
Now I can start doing actually useful stuff like working on implementing the changelist
data Ty : Unit = iota : Ty unit | arr : Ty unit -> Ty unit -> Ty unit in strat Val : Ty unit = Viota : Val Ty.iota | Varr : (t1 : Ty unit) -> (t2 : Ty unit) -> (Val t1 -> Val t2) -> Val (Ty.arr t1 t2) in data Ctx : Unit = empty : Ctx unit | cons : Ctx unit -> Ty unit -> Ctx unit in data CtxTy : Unit = mk : Ctx unit -> Ty unit -> CtxTy unit in data Ref : CtxTy unit = here : (ctx : Ctx unit) -> (ty : Ty unit) -> Ref (CtxTy.mk (Ctx.cons ctx ty) ty) | there : (ctx : Ctx unit) -> (ty1 : Ty unit) -> (ty2 : Ty unit) -> Ref (CtxTy.mk ctx ty2) -> Ref (CtxTy.mk (Ctx.cons ctx ty1) ty2) in data Lam : CtxTy unit = lam : (ctx : Ctx unit) -> (ty1 : Ty unit) -> (ty2 : Ty unit) -> Lam (CtxTy.mk (Ctx.cons ctx ty1) ty2) -> Lam (CtxTy.mk ctx (Ty.arr ty1 ty2)) | app : (ctx : Ctx unit) -> (ty1 : Ty unit) -> (ty2 : Ty unit) -> Lam (CtxTy.mk ctx (Ty.arr ty1 ty2)) -> Lam (CtxTy.mk ctx ty1) -> Lam (CtxTy.mk ctx ty2) | var : (ctx : Ctx unit) -> (ty : Ty unit) -> Ref (CtxTy.mk ctx ty) -> Lam (CtxTy.mk ctx ty) in data Env : Ctx unit = emptyEnv : Env Ctx.empty | extendEnv : (ctx : Ctx unit) -> (ty : Ty unit) -> Val ty -> Env ctx -> Env (Ctx.cons ctx ty) in let lookupRef = rec r : (ctx : Ctx unit) -> (ty : Ty unit) -> Ref (CtxTy.mk ctx ty) -> Env ctx -> Val ty . \ctx . \ty . \ref . \env . case ref as _ in Val ty of | Ref.here k z -> case env as _ in Val ty of | Env.extendEnv _ _ v _ -> v end | Ref.there ctx _ _ ref -> case env as _ in Val ty of | Env.extendEnv _ _ _ env -> r ctx ty ref env end end in let eval = rec r : (ctx : Ctx unit) -> (ty : Ty unit) -> Lam (CtxTy.mk ctx ty) -> Env ctx -> Val ty . \ctx . \ty . \term . \env . case term as _ in Val ty of | Lam.lam _ ty1 ty2 body -> Val.Varr ty1 ty2 (\v1 . r (Ctx.cons ctx ty1) ty2 body (Env.extendEnv ctx ty1 v1 env)) | Lam.app _ ty1 ty2 fn arg -> case r ctx (…
January 6, 2026 at 7:38 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.1 | 24h(cfs) -51.0 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 21.3 cfs 📉
Δ -1.1 (-4.9%)
Prev 22.4 cfs
⏰ 1/6/2026, 9:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 5:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -0.6 | 24h(cfs) -55.3 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 22.4 cfs 📉
Δ -0.6 (-2.6%)
Prev 23.0 cfs
⏰ 1/6/2026, 8:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 4:45 PM
oodata.net
ReDo Loop
重复任务提醒管理器

#内购限免

apps.apple.com/app/id674148...

兑换链接
apps.apple.com/redeem/?ctx=...
ReDo Loop App - App Store
Download ReDo Loop by Fizbyte on the App Store. See screenshots, ratings and reviews, user tips, and more games like ReDo Loop.
apps.apple.com
January 6, 2026 at 3:51 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -0.6 | 24h(cfs) -60.4 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 23.0 cfs 📉
Δ -0.6 (-2.5%)
Prev 23.6 cfs
⏰ 1/6/2026, 7:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 3:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -0.5 | 24h(cfs) -67.3 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 23.6 cfs 📉
Δ -0.5 (-2.1%)
Prev 24.1 cfs
⏰ 1/6/2026, 6:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 2:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.3 | 24h(cfs) -74.8 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 24.1 cfs 📉
Δ -1.3 (-5.1%)
Prev 25.4 cfs
⏰ 1/6/2026, 5:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 1:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.2 | 24h(cfs) -81.6 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 25.4 cfs 📉
Δ -1.2 (-4.5%)
Prev 26.6 cfs
⏰ 1/6/2026, 4:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 12:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -0.7 | 24h(cfs) -93.4 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 26.6 cfs 📉
Δ -0.7 (-2.6%)
Prev 27.3 cfs
⏰ 1/6/2026, 3:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 11:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.3 | 24h(cfs) -104.7 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 27.3 cfs 📉
Δ -1.3 (-4.5%)
Prev 28.6 cfs
⏰ 1/6/2026, 2:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 11:00 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.4 | 24h(cfs) -117.4 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 28.6 cfs 📉
Δ -1.4 (-4.7%)
Prev 30.0 cfs
⏰ 1/6/2026, 1:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 9:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.4 | 24h(cfs) -137.0 | 7d(cfs) 1.6–306.0 | LY(cfs) 0.9

💧 Flow 30.0 cfs 📉
Δ -1.4 (-4.5%)
Prev 31.4 cfs
⏰ 1/6/2026, 12:30 AM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 8:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.4 | 24h(cfs) -157.6 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 31.4 cfs 📉
Δ -1.4 (-4.3%)
Prev 32.8 cfs
⏰ 1/5/2026, 11:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 7:46 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.5 | 24h(cfs) -185.2 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 32.8 cfs 📉
Δ -1.5 (-4.4%)
Prev 34.3 cfs
⏰ 1/5/2026, 10:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 6:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -2.4 | 24h(cfs) -216.7 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 34.3 cfs 📉
Δ -2.4 (-6.5%)
Prev 36.7 cfs
⏰ 1/5/2026, 9:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 6:15 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.6 | 24h(cfs) -238.3 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 36.7 cfs 📉
Δ -1.6 (-4.2%)
Prev 38.3 cfs
⏰ 1/5/2026, 8:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 4:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -2.6 | 24h(cfs) -263.7 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 38.3 cfs 📉
Δ -2.6 (-6.4%)
Prev 40.9 cfs
⏰ 1/5/2026, 7:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 3:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -1.7 | 24h(cfs) -257.1 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 40.9 cfs 📉
Δ -1.7 (-4.0%)
Prev 42.6 cfs
⏰ 1/5/2026, 6:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 2:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -2.8 | 24h(cfs) -221.4 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 42.6 cfs 📉
Δ -2.8 (-6.2%)
Prev 45.4 cfs
⏰ 1/5/2026, 5:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 1:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -2.9 | 24h(cfs) -163.6 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 45.4 cfs 📉
Δ -2.9 (-6.0%)
Prev 48.3 cfs
⏰ 1/5/2026, 4:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 6, 2026 at 12:45 AM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -3.0 | 24h(cfs) -102.7 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 48.3 cfs 📉
Δ -3.0 (-5.8%)
Prev 51.3 cfs
⏰ 1/5/2026, 3:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 5, 2026 at 11:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -3.2 | 24h(cfs) -54.7 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 51.3 cfs 📉
Δ -3.2 (-5.9%)
Prev 54.5 cfs
⏰ 1/5/2026, 2:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 5, 2026 at 10:45 PM
bdgroves.bsky.social
🌊 Big Creek @ Whites Gulch (USGS 11284400)
Ctx: 1h(cfs) -3.3 | 24h(cfs) -20.5 | 7d(cfs) 1.6–306.0 | LY(cfs) 1.0

💧 Flow 54.5 cfs 📉
Δ -3.3 (-5.7%)
Prev 57.8 cfs
⏰ 1/5/2026, 1:30 PM PT
🔗 https://waterdata.usgs.gov/monitoring-location/11284400/

#USGS #WaterData #BigCreek #Groveland #StreamFlow
January 5, 2026 at 9:45 PM