The questions over time
Process monitoring, security, health data and machine learning. Read the work from its earliest records, with each result alongside its limits.
Dates follow the original works and recorded research notes. A year-only source stays year-only; it is not placed within that year.
Checking distributed activity without exposing sensitive transaction content.
Operational support for sensitive distributed processes
Process logs can support checks against agreed rules while limiting exposure of sensitive transaction content.
Scope & limitsThe operational results describe the reported application, not every distributed process.
Rare observations can undermine confidence in inferred network states.
When rare observations destabilise security verification
A rare observation can substantially change a confident assessment of hidden network states.
Scope & limitsThis is a mathematical model and simulation study; deployed monitoring requires additional assumptions and validation.
PICASO addresses identity, consent and access across care organisations.
Identity, access and privacy across care organisations
PICASO coordinates access policies and transaction records across independently operated care systems.
Scope & limitsThe architecture paper describes governance and security mechanisms; it does not establish clinical outcomes.
The patent grant records a data-structure approach to the cost of matching security rules.
A patent for string matching in security gates
A granted patent records a data structure and methods for string matching in access-control infrastructure.
Scope & limitsThe recorded date is the patent grant date. Performance claims depend on the document’s packet-rule scenarios.
The same PICASO platform is evaluated through patient and clinician experience.
PICASO in rheumatoid arthritis care
A small rheumatoid-arthritis study examines feasibility and acceptance of the distributed care platform.
Scope & limitsResponsiveness and data-transfer problems remained; longer-term health outcomes required further study.
The questions recur across agent protocols, biological analysis and inference experiments: attributable records, useful representations and claims bounded by evidence.
🐸 Froglet: Signed Deals For Agents That Need Proof, Not Just Tool Calls
Signed offers, accepted terms and receipts give agent-service exchanges an attributable record.
Scope & limitsA signed receipt records what a provider attests; it does not by itself establish the correctness of the work.
BCR-memory-4: exact long-context compression is real; serving-speed wins are not
The tested tiered path preserves exact outputs up to 32K and compresses stored tokens, with substantial latency costs.
Scope & limitsThe serving comparison does not show a speed win; representation compression produces only a small measured peak-VRAM reduction.
HypercubeQuant: early notes from an A100 KV-cache experiment
HypercubeQuant is bit-exact on the tested Qwen models, but its reported compression ratios exposed a benchmark artifact.
Scope & limitsMemory and serving-performance claims await comparable measurements on realistic, concurrent workloads.
Reanalysing immunopeptidomics data against noncanonical sequences
Reanalysing existing samples against an expanded sequence catalogue identifies candidates for further investigation.
Scope & limitsAbsence from sampled healthy tissues does not establish tumour specificity or therapeutic usefulness.
Froglet update: making federated learning rounds inspectable
Froglet’s signed execution workflow is extended to local training steps, returned updates and aggregation records.
Scope & limitsThe development experiments do not establish honest training, production privacy, independent deployment or clinical validity.
Also recorded in 2026 · month not specified
Agents need receipts: a talk at AI Engineer World’s Fair
The recorded talk demonstrates service publication, invocation and signed transaction records through MCP.
Scope & limitsThe source provides a year, not an exact event date. Demonstrating the workflow does not prove result correctness.