A synthetic clinical-AI study on when sharp end-of-life risk estimates lose their reference-class basis.
● Online · Thuringia, Germany / Remote · Open to new roles
Michél Nguyen.
researcher, engineer,
operator.
I build, operate, document, and support systems across infrastructure, security, Apple platforms, and research engineering. I ship end-to-end work, coordinate delivery, write clearly, and keep technical projects moving from idea to usable service.
nowShipping SkeinDB 0.3.25, finishing ShieldLink proof checks, and tuning ShotSift 1.4 for App Store submission. Open full now.txt →
recruiter snapshot
Systems, service delivery, customer success, agile project work, and research engineering.
Targeting roles where technical depth meets reliable delivery: systems engineering, system administration, service delivery, customer success, agile project management, technical project management, solutions engineering, implementation management, technical account work, and research engineering.
00 / INDEX
Contents.
All sections of this workstation. Press / at any time to jump.
R / RESEARCH
cd research/
The systems and security work I most want collaborators, reviewers, and technical partners to see first.
database systems
SkeinDB
Single-binary database engine with cell-interned MVCC, MySQL compatibility, partial PostgreSQL support, and 20 research tracks shipped inside one executable.
open deep dive → private-cloud securityWardex
Rust-built XDR and SIEM platform for detections, fleet operations, incident response, and hunting without vendor telemetry lock-in.
open deep dive → verifiable storageNexusFS
Offline-first distributed filesystem with signed operations, deterministic replication, and proof-ready storage semantics for edge systems.
open deep dive →01 / RESEARCH
selected research/
Three representative papers for recruiters and collaborators. The full bibliography now lives on a dedicated research page.
Undecidability, software opacity, and the residual uncertainty that probabilistic cyber-risk models cannot price away.
A retry-aware authenticated-encryption design that closes the gap between link reliability and AEAD verification.
02 / PROJECTS
ls -la projects/
Active builds across research engines, Python tools, iOS/macOS apps, and games. Open a project page or play a live build.
#namesummarykindstatus
01
skeindbrust · axum · mysql · pg
Single-binary DB engine with MySQL + Postgres wire compat, 14 research tracks, sandboxed Wasm extensions.
research
deep dive · v0.3.25
→
02
wardexrust · xdr · federated ml
Unified XDR platform with cross-layer threat detection, response orchestration, federated learning.
research
deep dive · v1.0.30
→
03
nexusfsrust · quic · crdt
Verifiable offline-first distributed FS. Signed ops, deterministic replication, proof-ready.
research
deep dive · v0.1.0
→
04
verilogrust · merkle · edge
Edge-native evidence engine. Turns device telemetry into tamper-evident logs with signed checkpoints.
research
prototype · v0.1.0
→
05
safedroprust · content-addressed
Home-hosted secure file sharing with proof-carrying delivery and reachability evidence.
research
beta · v0.1.0
→
06
patchjavascript · lean 4 · pwa
Change-oriented programming language and browser IDE: explicit semantic state changes, inferred contracts, provenance, and Lean-checked evidence.
research
live · v0.2.0-beta.7 · MIT
→
07
revolut-scannerpython · yfinance · risk
Local Revolut trading scanner with OOS-gated recommendations, risk sizing, live TP/SL tracking, and an HTML dashboard.
tool
open source · MIT
→
08
violinen-stimmerjavascript · web audio · yin
German-language violin tuner with A=442 Hz, pure-fifth checks, reference tones, and private on-device microphone analysis.
tool
live · MIT
→
09
shotsiftswift · vision · on-device
Private photo decluttering for iPhone. Duplicates, screenshots, bursts — all on-device.
iOS
live · v1.2
→
10
rootlingswift · cloudkit
Plant propagation tracker. Visual journals, weather context, reminders, export.
iOS
live · v1.1
→
11
mushbloomswift · coreml · icloud
Mushroom cultivation companion. Strain guides, grow journals, AI contam scans, PDF export.
iOS
app store · v1.1
→
12
ridgefocusswift · widgetkit
Pomodoro & deep-work. Streak systems, widgets, lightweight productivity insights.
iOS
live · v1.11
→
13
appsweepswift · sparkle · gh-api
Universal macOS updater. Sparkle, GitHub, Mac App Store sources unified into one flow.
macOS
direct · v1.0.0
→
14
focusledgerswift · screencapture
Private macOS productivity tracker. Lite focus tools plus Pro automatic timelines and analytics.
macOS
direct · v1.0
→
15
diskloomswift · nvme · sqlite
Native macOS drive-health monitoring with local history, trend analysis, and transparent compatibility reporting.
macOS
pre-launch
→
16
shelter-fallswift · spritekit
Post-apocalyptic strategy. Progression, dynamic events, escalating survival pressure.
game
live · v1.14
→
17
nomad-kitchen-tycoonswift · spritekit
Food truck management sim. Rush gameplay, district strategy, truck/staff upgrades.
game
live · v1.01
→
18
lancet-linentypescript · phaser · vite
Medieval barber-surgeon life sim: care, trade, travel, household, staff, and civic ambition in 1382.
game
web · v1.3.1
→
03 / LOG
tail -f writing/
Notes, behind-the-paper explainers, working thoughts.
spotlight / latest note
Why SkeinDB ships a single binary
I keep collapsing sidecars back into the database binary because evaluation speed matters more than architectural ceremony at this stage. If the admin plane, runtime evidence, and protocol adapters live in different processes, every claim about the system arrives fragmented. A single executable forces the product, the research surface, and the operational story to line up in one place, which makes the project easier to inspect and much harder to hand-wave.
2026-05-08 14:22
[NOTE] · 6 min
[NOTE] · 6 min
The operational case for merging admin UI, wire protocols, and research tracks into one executable — and the trade-offs you don't see until production.
2026-04-22 09:10
[ESSAY] · 9 min
[ESSAY] · 9 min
What "path-aware reachability" actually means for home-hosted SafeDrop, and why signed receipts beat logs every time.
2026-02-14 16:48
[NOTE] · 12 min
[NOTE] · 12 min
Trade-offs, compression choices, and open problems from the 2025 preprint. What I'd do differently next time.
04 / NOW
cat now.txt
What I'm actively working on. Updated weekly.
## week 20 / 2026updated 11 May
This week's bench
- monskeindb 0.3.25 — finishing the MVCC reclamation pass + writing the engine-handbook chapter on it.
- tue–wedshieldlink published in IJRC — DOI and journal metadata now live.
- thupre-doctoral — drafting malware classification lit review, drift under adversarial relabeling.
- frishotsift 1.4 — burst-grouping perf regression on iPhone 12 mini, then App Store submission.
- weekendMixing a new DnB track. Reading Designing Data-Intensive Applications again.
// open to
2026
Research collaborations on cybersecurity ML, secure DBs, chiplet-level trust.
// shipping next
14d
VeriLog 0.3 — signed checkpoint export + proof verifier CLI.
05 / TOOLKIT
which tools/
What I reach for weekly. Not exhaustive.
systems & db
- rustdaily
- c / c++weekly
- mvcccore
- storage enginescore
- mysql / postgrescore
- query planningcore
apple
- swiftdaily
- swiftuidaily
- spritekitweekly
- widgetkitcore
- cloudkitcore
- visioncore
protocols
- http/3 · quiccore
- axumweekly
- json-rpccore
- restcore
- node.jscore
- wasm sandboxingcore
research
- federated learningactive
- differential privacyactive
- intrusion detectionactive
- formal verificationcore
- theoretical physicsinterest
- academic writingdaily
06 / RECORD
history -e/
Formal study, peer-review work, ongoing pre-doctoral preparation.
Q3 2025 — nowcybersecurity track · active
Pre-doctoral Research Preparation — Cybersecurity (MPhil/PhD)
General Sir John Kotelawala Defence University, Sri Lanka. Research preparation phase for graduate study.
- Research synopsis + topic development on malware classification with ML.
- Literature review, static/dynamic feature engineering, robustness/drift evaluation.
- Outputs in flight: preprint, public GitHub artifacts, curated dataset prep.
2025 — nowenrolled
B.Sc. Computer Science
University of the People · Pasadena, California, US.
2024 — 2025completed
A.S. Computer Science — High Honors
University of the People · Pasadena, California, US.
2025peer review
Reviewer — 6th Student Symposium, Faculty of Computing
General Sir John Kotelawala Defence University, Colombo, Sri Lanka.
07 / CONTACT
ping minh/
Research, partnerships, app questions, or speaking: pick a channel.
cat /etc/contact.conf
# preferred: the form below or GitHub. response time < 72h.
CONTACT="/executive/contact.html"
PGP="available on request"
TIMEZONE="CET/CEST"
REPLY_WINDOW="<72h" # form or GitHub preferred
✓ all channels open