BinaryInference

Research

Notes from the work.

Whitepapers, technical reports and experimental concepts that come out of building real systems.


Whitepaper 18 Mar 2025 · 1 min read

Designing for intermittent connectivity in education software

A field-driven look at how SchoolBag tolerates unreliable networks: local-first writes, conflict resolution and the trade-offs of optimistic synchronisation in low-bandwidth schools. We discuss why offline tolerance is an architecture decision, not a feature toggle, and how it shapes data modelling from the first table outward.

Technical report 27 Jan 2025 · 1 min read

Provably fair shuffling for real-time card platforms

How the Casino platform produces shuffles that players can verify after the fact without trusting the operator. We cover commitment schemes, seed disclosure and the operational constraints of doing this at table speed across many concurrent sessions.

Experimental concept 9 Nov 2024 · 1 min read

From recording to recognition in surveillance systems

Most monitoring systems record everything and surface nothing. This note outlines the CSI approach to event-first architecture: pushing lightweight detection toward the edge and reserving central compute for the events that justify an operator's attention.

Article 2 Sep 2024 · 1 min read

Bookkeeping as a correctness problem

Financial software fails quietly. This piece argues that double-entry accounting is fundamentally a correctness invariant, and shows how ProbiNotes enforces it under the surface while presenting plain language to people who never trained as accountants.

Let's talk

Working on something hard?

If your problem sits at the edge of what is well understood, we like those. Tell us about it.