pranesh@portfolio:~$
initialising systems…
click anywhere to skip
// hello, I'm
Computer Science student at Newcastle University & compulsive builder of things I actually need.
Full-stack web · Android · Electron · AI research & formal verification · automation
the short version of a long story.
19,800+ lines of code. 9 projects shipped. 1 research paper. That was my first year of Computer Science at Newcastle University.
I didn't post about it — I was too busy building to write about building. From a smart-house platform six housemates use every day, to a daemon that turns my computer's daily activity into glitch-art dreams, to a formal research paper that proves a program satisfies the mathematical conditions of integrated information.
I don't learn by reading tutorials. I learn by shipping something that breaks, fixing it, and shipping again. If a problem annoys me enough to solve it, I'll learn ten times more from it than any assignment could teach.
$ ./currently_working_on
// everything here is built to be used, not demoed
scroll — this row moves sideways ↓
★ flagshipSmart-house PWA — six housemates use it every single day.
researchA program that proves its own integrated information — 5-module blackboard runtime, Φ > 0 across every partition, Coq-verified (5 lemmas, 0 admissions).
nightlyA daemon that turns a day of digital activity into glitch-art dreams at midnight.
open sourceOffline AI knowledge base for the terminal. Zero cloud, zero deps, 58 tests.
open sourceBonds WiFi + Cellular into one tunnel — zero-cutout internet on trains.
Club-quality mixes from any Spotify playlist — harmonic mixing, Camelot wheel, energy flow.
Superior macOS mini player — synced lyrics, sleep timer, mini mode, global media keys.
100% offline voice assistant — 200+ commands, 8 AI personalities, wake word.
…and more in the archive
Everything, filterable. Most are private — happy to walk through any of them, just DM me.
open source
Tells my phone the moment someone walks into a room, and never sends a frame anywhere. On-device face recognition (YuNet + SFace) with a presence state machine — enter, leave, unknown — a night mode that only alerts on people who aren't enrolled, and an annotated photo delivered over ntfy or a webhook. Built for a Windows laptop, with enrolment and diagnostics as double-clickable scripts.
built from scratch
A Redis-compatible in-memory datastore implemented from first principles — real RESP2 wire protocol over TCP, hand-written skip list powering sorted sets, pub/sub, lazy + active key expiry, AOF journal with crash-torn-tail repair and atomic snapshots. 117 commands, 111K ops/sec pipelined.
research paper
Formal architecture for a program that proves its own integrated information (Φ > 0). 5-module cognitive runtime on a blackboard workspace + auto-generated Coq proof — 265 lines, 5 lemmas, zero admissions. 13-page paper, 19 references.
running nightly
Background daemon with 8 collectors (screenshots, terminal, git, files, music, clipboard, windows, system load). Every midnight it generates a unique 30-second glitch-art dream — 900 procedural frames, 8 distortion algorithms, synthesised audio, FFmpeg-encoded.
open source
Personal offline AI knowledge base for the terminal. Capture ideas, full-text search (SQLite FTS5), AI query mode via local Ollama. Zero cloud, zero tracking, zero dependencies. Shipped from zero to v0.1 in 4 days.
open source
Android VPN that bonds WiFi + Cellular into one resilient tunnel for zero-cutout internet on trains. Kotlin, VpnService, TUN interface, proper Android 14+ foreground-service lifecycle. CI builds APKs via GitHub Actions — no Android Studio needed.
Automatic club-quality mixing from any Spotify playlist. BPM/key detection, Camelot wheel harmonic matching, energy-curve sequencing. Node.js engine + Electron CDJ-style GUI. Built because every DJ app I tried ignored harmonic compatibility.
Superior macOS Spotify mini player. Always-on-top, album-art colour glow, synced lyrics with click-to-seek, sleep timer, mini mode, snap-to-corner, custom accent colours, auto-pause during meetings. Packaged as a proper .app in /Applications.
Android OBD2 car diagnostics for a 2013 Kia Carens CRDi. Live dashboard, DTC scanner (3070 codes), trip logger with CSV export, 0–60 performance tests, HUD mode, I/M readiness checks. MVVM + Clean Architecture + Hilt.
100% offline local voice assistant. Wake-word detection, 200+ commands, 8+ AI personality modes (default, evil, sage, hacker, code, tutor, writer, researcher). Ollama-backed, tkinter hotkey activator, 1380+ line core.
Veterinary prescription pharmacy platform. Multi-role dashboards (admin, vet, customer), OCR-based prescription processing, controlled-drug workflows, GDPR compliance. Built dev tooling: one-click account switcher and not-in-prescription flagging.
Turned a repurposed HP laptop into a 24/7 security station. Built-in webcam AND RTSP streams (Hikvision, Dahua, Reolink), motion bounding boxes, facial recognition against known faces, auto/manual recording, RTSP auto-reconnect, Windows toast alerts.
Reverse-engineering Apple's Wireless Direct Link protocol. Capturing BLE NearbyActionV2, Bonjour _rdlink._tcp, and Rapport pair-verify handshakes to assess whether Android-side iPhone-Mirroring spoofing is feasible.
Interactive HTML quiz platforms, mock exams and fill-in-the-blanks for university modules — used by classmates to prep for CSC1031, CSC1033 and more. Built so studying feels less like studying.
where I've learned to ship under pressure.
the stack I reach for — and the domains I go deep on.
the formal side of the story.
B.Sc. Computer Science
Newcastle University
2025 — present
A-Levels — Mathematics (A), CS (B), Physics (C)
Cardinal Newman College, Preston
2023 — 2025
11 GCSEs at high passes
Archbishop Temple School, Preston
2018 — 2023
Have a project, an internship, or just want to talk shop? My inbox is open.
say hello → [email protected]