Sure, they’re going to turn this thing around no problem. Everyone will love them
October 6, 2025 at 11:56 PM
Sure, they’re going to turn this thing around no problem. Everyone will love them
Storing the full gamestate (literally a zmachine RAM blob, which sounds crazy until you realize this thing ran on a Commodore 64), it requires no webhooks, no open ports, no reading from the Bluesky firehose.
Every move is a pure:
newState=reduce(prevState, playerMove)
All stored in atproto
Every move is a pure:
newState=reduce(prevState, playerMove)
All stored in atproto
May 15, 2026 at 11:57 AM
Storing the full gamestate (literally a zmachine RAM blob, which sounds crazy until you realize this thing ran on a Commodore 64), it requires no webhooks, no open ports, no reading from the Bluesky firehose.
Every move is a pure:
newState=reduce(prevState, playerMove)
All stored in atproto
Every move is a pure:
newState=reduce(prevState, playerMove)
All stored in atproto
ok this looks dope
- feels like crewai in typescript
- first class support for suspend/resume
- const initialState = workflowState(workflow)
- const newState = await iterate(workflow, initialState)
- super small api surface (for now!)
- feels like crewai in typescript
- first class support for suspend/resume
- const initialState = workflowState(workflow)
- const newState = await iterate(workflow, initialState)
- super small api surface (for now!)
Meet Fabrice AI - functional framework for building AI agents.
While building Cali, I needed something stateless that can work on the server, inside CLI, breakdown complex tasks, and be simple.
Couldn't find one, so I built one. Give it a try!
github.com/callstackinc...
While building Cali, I needed something stateless that can work on the server, inside CLI, breakdown complex tasks, and be simple.
Couldn't find one, so I built one. Give it a try!
github.com/callstackinc...
December 11, 2024 at 10:04 PM
ok this looks dope
- feels like crewai in typescript
- first class support for suspend/resume
- const initialState = workflowState(workflow)
- const newState = await iterate(workflow, initialState)
- super small api surface (for now!)
- feels like crewai in typescript
- first class support for suspend/resume
- const initialState = workflowState(workflow)
- const newState = await iterate(workflow, initialState)
- super small api surface (for now!)
August 13, 2025 at 6:37 PM
and put ignores the previous state and replaces it with the one passed in (and returns ())
put :: s -> State s ()
put newState = MkState \_current -> (newState, ())
put :: s -> State s ()
put newState = MkState \_current -> (newState, ())
March 29, 2025 at 1:40 PM
and put ignores the previous state and replaces it with the one passed in (and returns ())
put :: s -> State s ()
put newState = MkState \_current -> (newState, ())
put :: s -> State s ()
put newState = MkState \_current -> (newState, ())
boomer names in China after the revolution are also like this except its more like CHEN STRONGNATION and DONG NEWSTATE
May 26, 2024 at 3:36 AM
boomer names in China after the revolution are also like this except its more like CHEN STRONGNATION and DONG NEWSTATE
Your man here is polite about it, and I notice that Tony had to crash a pink Cadillac full of dollars into the British political swimming pool while dressed as a Saudi nun, then start telling important people to fuck themselves, before we got to “Maybe something about this guy is a bit rum”.
May 28, 2026 at 3:40 PM
Your man here is polite about it, and I notice that Tony had to crash a pink Cadillac full of dollars into the British political swimming pool while dressed as a Saudi nun, then start telling important people to fuck themselves, before we got to “Maybe something about this guy is a bit rum”.
case in point
github.com/tomjaguarpaw...
github.com/tomjaguarpaw...
StateSource can be used to implement unsafeCoerce · Issue #49 · tomjaguarpaw/bluefin
Because a State created with newState is scoped to its parent withStateSource operation, bluefin's ST-like region mechanism doesn't actually prevent it from being passed to runPureEff inside that o...
github.com
May 2, 2025 at 9:31 PM
case in point
github.com/tomjaguarpaw...
github.com/tomjaguarpaw...
the interesting bit now is how to implement the monadic let bindings (>>=)
(>>=) :: State s a -> (a -> State s b) -> State s b
(>>=) (MkState f) continuation = MkState \current ->
let (newState, result) = f current in
let (MkState g) = continuation result in
g newState
(>>=) :: State s a -> (a -> State s b) -> State s b
(>>=) (MkState f) continuation = MkState \current ->
let (newState, result) = f current in
let (MkState g) = continuation result in
g newState
March 29, 2025 at 1:40 PM
the interesting bit now is how to implement the monadic let bindings (>>=)
(>>=) :: State s a -> (a -> State s b) -> State s b
(>>=) (MkState f) continuation = MkState \current ->
let (newState, result) = f current in
let (MkState g) = continuation result in
g newState
(>>=) :: State s a -> (a -> State s b) -> State s b
(>>=) (MkState f) continuation = MkState \current ->
let (newState, result) = f current in
let (MkState g) = continuation result in
g newState
Existe algo no React que, ainda em 2025, gera muita confusão. Que é os state setters gerados pelo useState().
Existem dois modos, mandando o valor ou uma função, a função segue a seguinte lógica:
(currentState) => newState;
Internamente isso é chamado de "basicStateReducer" e é padrão pro useState.
Existem dois modos, mandando o valor ou uma função, a função segue a seguinte lógica:
(currentState) => newState;
Internamente isso é chamado de "basicStateReducer" e é padrão pro useState.
April 14, 2025 at 2:49 PM
Existe algo no React que, ainda em 2025, gera muita confusão. Que é os state setters gerados pelo useState().
Existem dois modos, mandando o valor ou uma função, a função segue a seguinte lógica:
(currentState) => newState;
Internamente isso é chamado de "basicStateReducer" e é padrão pro useState.
Existem dois modos, mandando o valor ou uma função, a função segue a seguinte lógica:
(currentState) => newState;
Internamente isso é chamado de "basicStateReducer" e é padrão pro useState.
IT'S FUCKING HAPPENING, I JUST EXTRACTED A SUB COROUTINE FROM THE ZOMBIANT ACTION AT THE IL LEVEL AND IT JUST WORKED TM AT RUNTIME!!!
case MainManager.Enemies.CordycepsAnt:
yield return NewState(entity, actionid);
break;
ATTACKED NORMALLY WITH THE CORRECT YIELD TIMES AND EVERYTHING
case MainManager.Enemies.CordycepsAnt:
yield return NewState(entity, actionid);
break;
ATTACKED NORMALLY WITH THE CORRECT YIELD TIMES AND EVERYTHING
Ok, no promise yet...
...but I believe I have just figured out how to get rid of the infamous DoAction problem we been having with Bug Fables enemy modding because I believe it is now VERY possible to split it
More in probably a couple weeks!
...but I believe I have just figured out how to get rid of the infamous DoAction problem we been having with Bug Fables enemy modding because I believe it is now VERY possible to split it
More in probably a couple weeks!
September 15, 2026 at 3:50 AM
IT'S FUCKING HAPPENING, I JUST EXTRACTED A SUB COROUTINE FROM THE ZOMBIANT ACTION AT THE IL LEVEL AND IT JUST WORKED TM AT RUNTIME!!!
case MainManager.Enemies.CordycepsAnt:
yield return NewState(entity, actionid);
break;
ATTACKED NORMALLY WITH THE CORRECT YIELD TIMES AND EVERYTHING
case MainManager.Enemies.CordycepsAnt:
yield return NewState(entity, actionid);
break;
ATTACKED NORMALLY WITH THE CORRECT YIELD TIMES AND EVERYTHING
Finally, a w̶e̶a̶p̶o̶n̶ tool to surpass LeanDojo~
(Creating a Lean Context directly inside Lean itself, and then submitting tactics and backtracking programmatically)
#LeanProver #Lean
(Creating a Lean Context directly inside Lean itself, and then submitting tactics and backtracking programmatically)
#LeanProver #Lean
![Screenshot of an emacs buffer, the emacs buffer shows:
```
def main : IO Unit := do
let states <- initLeanContext "import Lean
theorem kirans_theorem : ∀ n : Nat, n = n := by
intros n"
let .some initState := states[0]? | return
let mut state := initState
let initialGoals ← state.getAllRemainingGoals
println! "\n\n\n\n\n\nInitial state: {initialGoals.length} goals\n\n\n"
-- Apply first tactic
let newState <- runTac state "cases n"
state := newState
-- Work on succ (index 1)
let newState <- runTac (state.setGoalIndex 1) "simp"
state := newState
-- Work on zero (index 0)
let newState <- runTac (state.setGoalIndex 0) "simp"
state := newState
if let .some proofTerm ← state.getProofTerm then
println! "Final proof term: {proofTerm}"
-- Demonstrate backtracking
println! "\nBacktracking and trying another proof..."
state := state.backtrack.getD state
state := state.backtrack.getD state
state := state.backtrack.getD state
let newState <- runTac (state.setGoalIndex 0) "simp"
state := newState
-- Show proof term after backtracking
if let .some proofTerm ← state.getProofTerm then
println! "Final Proof: {proofTerm}"
```
the other buffer shows a stdout for a terminal and reads:
```
Initial state: 1 goals
After 'cases n': 2 goals remaining
Goals: [case zero
⊢ 0 = 0, case succ
n✝ : Nat
⊢ n✝ + 1 = n✝ + 1]
After 'simp': 1 goals remaining
Goals: [case zero
⊢ 0 = 0]
After 'simp': 0 goals remaining
Goals: []
Final proof term: Nat.casesAuxOn (motive := fun a => _fvar.9 = a → _fvar.9 = _fv (fun h => Eq.symm h ▸ of_eq_true (eq_self 0))
(fun n h => Eq.symm h ▸ of_eq_true (Eq.trans Nat.add_left_cancel_iff._proof_1 )
Backtracking and trying another proof...
After 'simp': 0 goals remaining
Goals: []
Final Proof: of_eq_true (eq_self _fvar.9)
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreiagzuraoyzspf54cw4gumcrtld2n444y5pje4wundtzc7jyuxow7y)
July 24, 2025 at 2:35 AM
Finally, a w̶e̶a̶p̶o̶n̶ tool to surpass LeanDojo~
(Creating a Lean Context directly inside Lean itself, and then submitting tactics and backtracking programmatically)
#LeanProver #Lean
(Creating a Lean Context directly inside Lean itself, and then submitting tactics and backtracking programmatically)
#LeanProver #Lean
Live now at www.youtube.com/watch?v=1nii... "American Truck Simulator LIVE | Picking Up and Delivering #64"!
#mrspookydemon #gaming #youtube #youtubelive #americantrucksimulator #letsplay #gameplay #trucking #simulator #trucksim #ats #scs #newdlc #newstate #hellyeah #cruising
#mrspookydemon #gaming #youtube #youtubelive #americantrucksimulator #letsplay #gameplay #trucking #simulator #trucksim #ats #scs #newdlc #newstate #hellyeah #cruising
American Truck Simulator LIVE | Picking Up and Delivering #64
YouTube video by MrSpookyDemon
www.youtube.com
December 11, 2025 at 1:08 AM
Live now at www.youtube.com/watch?v=1nii... "American Truck Simulator LIVE | Picking Up and Delivering #64"!
#mrspookydemon #gaming #youtube #youtubelive #americantrucksimulator #letsplay #gameplay #trucking #simulator #trucksim #ats #scs #newdlc #newstate #hellyeah #cruising
#mrspookydemon #gaming #youtube #youtubelive #americantrucksimulator #letsplay #gameplay #trucking #simulator #trucksim #ats #scs #newdlc #newstate #hellyeah #cruising
Our student, Kathleen, saw how technology was reshaping every career path, and she wanted to be ready for it. That’s why she chose Newstate U.
The world is changing. Learn how to change with it at newstateu.com
@NewstateU | #NewstateU #FutureReady #AIForEveryone
The world is changing. Learn how to change with it at newstateu.com
@NewstateU | #NewstateU #FutureReady #AIForEveryone
November 11, 2025 at 11:22 PM
Our student, Kathleen, saw how technology was reshaping every career path, and she wanted to be ready for it. That’s why she chose Newstate U.
The world is changing. Learn how to change with it at newstateu.com
@NewstateU | #NewstateU #FutureReady #AIForEveryone
The world is changing. Learn how to change with it at newstateu.com
@NewstateU | #NewstateU #FutureReady #AIForEveryone
pluto retrograde can be harsh but necessary 🌻the time to clear house is now #meditate #recalibrate #move #empowerment #tiktok
www.tiktok.com/t/ZTjDAvq5y/
www.tiktok.com/t/ZTjDAvq5y/
#fyp #movingday #manifestation #positiveenergy #moving #relocation #newbeginnings #time #newcity #startover #freshair #movingvlog #newstate #moveabroad #2008vs2025 #newhome #newapartment #timelinejump...
TikTok video by Jesii117l
www.tiktok.com
May 6, 2025 at 6:18 PM
pluto retrograde can be harsh but necessary 🌻the time to clear house is now #meditate #recalibrate #move #empowerment #tiktok
www.tiktok.com/t/ZTjDAvq5y/
www.tiktok.com/t/ZTjDAvq5y/
AI productivity advice is usually a list of tools. That's why it never sticks. ⚡
Start with where your time actually goes instead — full workshop 👉 https://youtu.be/OgMeB-anVH8
Apply → newstateu.com
#AIProductivity #AIatWork
Start with where your time actually goes instead — full workshop 👉 https://youtu.be/OgMeB-anVH8
Apply → newstateu.com
#AIProductivity #AIatWork
AI-Powered Productivity: Your 2026 Reset
In this webinar, Sasha Thackaberry, Newstate U President & CEO, lea…
www.youtube.com
September 17, 2026 at 6:02 PM
AI productivity advice is usually a list of tools. That's why it never sticks. ⚡
Start with where your time actually goes instead — full workshop 👉 https://youtu.be/OgMeB-anVH8
Apply → newstateu.com
#AIProductivity #AIatWork
Start with where your time actually goes instead — full workshop 👉 https://youtu.be/OgMeB-anVH8
Apply → newstateu.com
#AIProductivity #AIatWork
we need
a new basis of trust
a legit mode of cooperation towards a newstate
of
authentic
(real, measured, transparent, self evident, verifiable)
mutual benefit
a new basis of trust
a legit mode of cooperation towards a newstate
of
authentic
(real, measured, transparent, self evident, verifiable)
mutual benefit
June 2, 2025 at 2:26 AM
we need
a new basis of trust
a legit mode of cooperation towards a newstate
of
authentic
(real, measured, transparent, self evident, verifiable)
mutual benefit
a new basis of trust
a legit mode of cooperation towards a newstate
of
authentic
(real, measured, transparent, self evident, verifiable)
mutual benefit
NEW ERAというだけあって、アイコンイメージもだいぶ変えてきたな。NEWSTATE🎮
February 22, 2024 at 1:32 AM
NEW ERAというだけあって、アイコンイメージもだいぶ変えてきたな。NEWSTATE🎮
It’s time for #newstate on Twitch
twitch.tv/theone01299
#VTUBERSUPPORTCHAIN #VtuberUprising #VtuberSupport #VtubersArestillwatching #SmallStreamerCommunity #SmallStreamerConnect #chionmiji #hyperonline
twitch.tv/theone01299
#VTUBERSUPPORTCHAIN #VtuberUprising #VtuberSupport #VtubersArestillwatching #SmallStreamerCommunity #SmallStreamerConnect #chionmiji #hyperonline
theone01299 - Twitch
The Cat of Wishes. Streamer, Gamer, Vtuber. I am a huge fan of 5 Capcom/Nintendo/Sega/Square Enix/Microsoft & Bethesda/Sony games. also follow me on my Patreon https://linktr.ee/theone01299 playstatio...
twitch.tv
April 16, 2024 at 5:23 AM
NEW STATE : NEW ERA OF BR 0.9.74.686 + Data - Game Android
Download: www.blog-dnz.com/NSMoE
#DaimonZ #DownloadGame #GameAndroid #Android #MobileGame #Game #GIM #PUBG #PUBGMOBILE #PUBGNEWSTATE #PUBGNEWSTATEMobile #NEWSTATE #NEWSTATEMobile #FPS #BattleRoyale
Download: www.blog-dnz.com/NSMoE
#DaimonZ #DownloadGame #GameAndroid #Android #MobileGame #Game #GIM #PUBG #PUBGMOBILE #PUBGNEWSTATE #PUBGNEWSTATEMobile #NEWSTATE #NEWSTATEMobile #FPS #BattleRoyale
March 29, 2025 at 3:16 PM
NEW STATE : NEW ERA OF BR 0.9.74.686 + Data - Game Android
Download: www.blog-dnz.com/NSMoE
#DaimonZ #DownloadGame #GameAndroid #Android #MobileGame #Game #GIM #PUBG #PUBGMOBILE #PUBGNEWSTATE #PUBGNEWSTATEMobile #NEWSTATE #NEWSTATEMobile #FPS #BattleRoyale
Download: www.blog-dnz.com/NSMoE
#DaimonZ #DownloadGame #GameAndroid #Android #MobileGame #Game #GIM #PUBG #PUBGMOBILE #PUBGNEWSTATE #PUBGNEWSTATEMobile #NEWSTATE #NEWSTATEMobile #FPS #BattleRoyale