deterministic
27 stories and discussions about deterministic, aggregated from every source we track.
Determinism, architecture, and the de-sloppification of legacy code.
An information-flow policy engine for LLM agents.
Determinism, architecture, and the de-sloppification of legacy code.
Copper can now live-clone a running robot over unreliable, one-way links. We stream only the minimal state required, use FEC to recover packet loss, then rely on Copper’s deterministic execution to reconstruct the…
Dr. Chris Waters explains why building LLM features feels fundamentally different from using AI to write traditional software.
Creating a deterministic hypervisor the easy way.
Cocytus — a deterministic ninth circle esolang. Release in preparation. - fireside25a-beep/Cocytus
If you follow AI safety, you know the uncomfortable truth: modern LLM guardrails are failing not...
Why yes/no decisions span four levels—from deterministic rules and learned associations to semantic policies and reasoning agents.
The Periodic Table of Code. A global deterministic addressing standard for AI agents, modular systems, and human-machine interoperability. - vlad-utyansky/utyansky-index
Deterministic agent harness for Temporal (in Rust) - smartcomputer-ai/lightspeed
Transpile LLM prompts and JSON Schemas into TypeSafe Jev decision programs - doronp/jevc
<p>Abstract: "Low-security observable determinism (LSOD), as introduced by Roscoe and Zdancewic [18,24], is the simplest criterion which guarantees probabilistic noninterference for concurrent programs. But LSOD prohibits any, even secure low-nondeterminism. Giffhorn developed an improvement, named RLSOD, which allows some secure low-nondeterminism, and can handle full Java with high precision [5]. In this paper, we describe a new generalization of RLSOD. By applying aggressive program analysis, in particular dominators for multi-threaded programs, precision can be boosted and false alarms minimized. We explain details of the new algorithm, and provide a soundness proof. The improved RLSOD is integrated into the JOANA tool; a case study is described. We thus demonstrate that low-deterministic security is a highly precise and practically mature software security analysis method."</p>
The following are slides and a transcript of my talk on ACCU2017 conference in Bristol, UK.
Python's support for multithreaded programs has improved considerably over the last few years w [...]
Contribute to Yehielamor/provenance-gate development by creating an account on GitHub.
Python's support for multithreaded programs has improved considerably over the last few years w [...]
A state-machine architecture in which deterministic code owns the plan and the facts, while Jev supplies bounded judgment only at decision branches.
Verirun records a browser workflow once, replays those exact steps headless on command, and captures the backend logs the replay produced. Deterministic, self-hosted, works alongside AI coding agents.
Post-response grounding check + cross-family adversarial review for LLM chat agents - polarisbuiltinc-wq/ora-grounding
Deterministic bad-pattern detection for codebases. Contribute to 0ctacity/badbox development by creating an account on GitHub.