● Online · Berlin / Remote · Available Q3 2026
Michél Nguyen.
researcher, engineer,
operator.
I build database engines, ship iOS & macOS apps, publish cybersecurity research, and release music from a single workstation in Berlin. I built most of what is listed below end-to-end.
nowShipping SkeinDB 0.3.17, finishing ShieldLink proof checks, and tuning ShotSift 1.4 for App Store submission. Open full now.txt →
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 / PROJECTS
ls -la projects/
Active builds across research engines, Python tools, iOS/macOS apps, and games. Click any row to open it.
#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.17
→
02
wardexrust · xdr · federated ml
Unified XDR platform with cross-layer threat detection, response orchestration, federated learning.
research
deep dive · v1.0.27
→
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
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
→
07
shotsiftswift · vision · on-device
Private photo decluttering for iPhone. Duplicates, screenshots, bursts — all on-device.
iOS
live · v1.2
→
08
rootlingswift · cloudkit
Plant propagation tracker. Visual journals, weather context, reminders, export.
iOS
live · v1.1
→
09
mushbloomswift · coreml · icloud
Mushroom cultivation companion. Strain guides, grow journals, AI contam scans, PDF export.
iOS
live · v1.1
→
10
ridgefocusswift · widgetkit
Pomodoro & deep-work. Streak systems, widgets, lightweight productivity insights.
iOS
live · v1.11
→
11
appsweepswift · sparkle · gh-api
Universal macOS updater. Sparkle, GitHub, Mac App Store sources unified into one flow.
macOS
live · v2.0
→
12
focusledger-proswift · screencapture
AI-assisted macOS productivity tracker. Local timeline screenshots + private analytics.
macOS
beta
→
13
shelter-fallswift · spritekit
Post-apocalyptic strategy. Progression, dynamic events, escalating survival pressure.
game
live · v1.14
→
14
nomad-kitchen-tycoonswift · spritekit
Food truck management sim. Rush gameplay, district strategy, truck/staff upgrades.
game
live · v1.01
→
02 / PAPERS
grep -r research//
Peer-reviewed work, preprints, and the occasional creative publication.
yeartitle · venuetypelink
2026.04
preprint
RG ↗
Beyond No: A Low-Interruption, Autonomy-Supportive Framework for Early Childhood Self-Directed Learning in Prepared Environments
ResearchGate · submitted to KDU KJMS
2026.01
journal
IJRC ↗
Computational Knightian Uncertainty: Undecidability and the Limits of Cyber Risk Quantification in Software-Intensive Firms
IJRC · International Journal of Research in Computingabstract spotlight · computational knightian uncertainty
Why some cyber risk in software-intensive firms cannot be priced away
The paper argues that software creates a residual class of uncertainty that does not collapse neatly into ordinary probabilistic risk. Because many security, safety, and compliance questions are undecidable in the general case, even perfect code visibility and abundant classical computation cannot eliminate all uncertainty. The article names that remainder computational Knightian uncertainty (CKU), then connects it to structural opacity in codebases and to practical downstream effects such as incident severity, cyber insurance outcomes, and M&A discounting.
2026
in press
DOI ↗
ShieldLink: Retry-Aware Authenticated Encryption for Secure and Reliable Chiplet Interconnects
IJRCOM · International Journal of Research in Computing · In Press
2025
preprint
DOI ↗
Dual-Polarity Preons II: Parameter-Space Constraints and Viable Regimes for an Emergent Acoustic Metric
TechRxiv
2025
preprint
DOI ↗
Simulated Minds, Artificial Consciousness, and the Theory-Relative Simulation Hypothesis
TechRxiv
2025
journal
DOI ↗
Dual-Polarity Preons: A Toy Model for Composite Neutral Pairs and Emergent Gravity
Cognizance
2025
preprint
DOI ↗
Federated Learning-Based Intrusion Detection System for IoT Networks in Resource-Constrained Environments
TechRxiv · rel. wardex
2025
preprint
DOI ↗
A Quantum Walk-Inspired Algorithm for Dynamic Resource Allocation in Cloud Computing
TechRxiv · sustainable business practices
2025
journal
DOI ↗
Quadralzahlen: A Rotation-Invariant Numeral System That Reduces Upside-Down Misreads in Real-World Displays
Cognizance
2024
book
—
Nadia's Adventures in the New World
Book · creative fiction
2024
sw
—
pimiTool
Software copyright · registered03 / 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.
04 / MUSIC
play music/
Six releases out in 2025. Lo-fi, DnB, and field beats from Da Nang and Da Lat. Click a row to preview.
#releaseformatyr
05 / NOW
cat now.txt/
What I'm actively working on. Updated weekly.
## week 20 / 2026updated 11 May
This week's bench
- monskeindb 0.3.17 — finishing the MVCC reclamation pass + writing the engine-handbook chapter on it.
- tue–wedshieldlink in press at IJRCOM — final metadata and proof checks.
- 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.
06 / 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
07 / 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.
08 / CONTACT
ping minh/
Research, partnerships, app questions, or speaking: pick a channel.
cat /etc/contact.conf
# preferred: email or GitHub. response time < 72h.
EMAIL="minhmichel@outlook.de"
PGP="available on request"
TIMEZONE="Europe/Berlin"
REPLY_WINDOW="<72h" # email or GitHub preferred
✓ all channels open