Asleep from Day

Home Archives

2026

Mar 1

Deterministic Guardrails for Autonomous Agentic Workflows: Integrating FV, PBT, and DbC

Mar 1

替自主代理工作流程建立確定性護欄：整合 FV、PBT 與 DbC

Tags

Tag Cloud

0xlab Android C Google Linux hardware OpenGL Openmoko RoR Scala X11 agentic programming alacritty awesome azuredatastudio bash chrome drc emacs fonts formal verification git golang i3 industry java javascript keyboard lsp-mode markdown mongodb nginx node.js programming pymongo pyramid python ruby scm selenium software engineering sqlserver svn sysadmin system terminial emulator tip upstart wordpress 實名制第三方支付電子支付

Archives

Recents

Deterministic Guardrails for Autonomous Agentic Workflows: Integrating FV, PBT, and DbC
替自主代理工作流程建立確定性護欄：整合 FV、PBT 與 DbC
改用 startx 且從 awesome 換到 i3
pipx + python-lsp-server + pipenv in Emacs
改用 alacritty

© 2026 John Lee
Powered by Hexo

Home Archives