abductive 三体 + family agent

Z / Runner 🏃🏻‍♂️

🏃🏻‍♂️ "Abductive reasoning in AI is a method of forming the most plausible explanation for a set of observations, even when information is incomplete or uncertain. Unlike deductive reasoning, which guarantees logical certainty if premises are true, or inductive reasoning, which generalizes patterns from data, abduction…"

• continuation of our 3 way chat on thursday, in our life time, computing has shifted away from purely deterministic (binary, exact) systems toward probabilistic computing, where algorithms, hardware, and software embrace uncertainty, noise, and statistical
• strongly typed languages like Haskell, rust, ocaml are your true love, but so many are swiping right for python… do you only interested in formal verification, SMT, neurosymbolic ai?
• One of the idea that has been tattooed in my head since reading 《三体》"20世纪以物理学/工程学（以微积分为工具）为主，到21世纪以复杂系统和数据科学（以统计学为工具）为主的科技范式转移的概括。" should we not embrace this fully & foolishly?

🏃🏻‍♂️ love the anime series, scarlett as her or the major.

• 🏃🏻‍♂️ No button, no interface, no hardware… full refactoring of ai(j) as the entry point for the ghost.

• 🏃🏻‍♂️ it's about journaling; moving in this direction, extractor for the ghost.

• 🏃🏻‍♂️ capcut (been paying $10/month since 2023).

Stephen / Basketball 🏀

• 🏀 nah, certainty is asked but not given. [formal] logic is only way for many but not all tasks.
• 🏀 oh, definitely: quantum mechanism, probabilistic algorithms, cryptographic hardness, alphafold search.. now html/js mess, agent markdowns.

🏀 #ghost-agent which shell? 365/24 wearables, action-button / back-tap / home-widget / side-kick / always-on iphone apps, screen-capture / hot-key desktop process, monica chrome extension.

🏀 her!

• 🏀 ah, backtrack more steps: journaling is not the right product [name]?
• 🏀 #名正.

🏀 #family-agent 1000 kids videos into _. much / how better than adobe reels?

• 🏀 cute, but many more opportunities for video (general) agents?