Validation without a practical nudge can become enabling.
Triage -> Execute -> Output
| X | https://x.com/raadhhaseeb |
| IN | https://www.linkedin.com/in/raadhhaseeb/ |
| Github | https://github.com/raadhshenshahhaseeb |
| Bsky | https://bsky.app/profile/haseebraja.bsky.social |
Validation without a practical nudge can become enabling.
Triage -> Execute -> Output
Offensive privacy means privacy is treated as active control, not passive concealment. A privacy system must be able to resist observation, correlation, replay, metadata leakage, coercive identity flows, forced centralization, and adversarial misuse of logs or credentials.
Absolute and default privacy is a fundamental human right.
qFold-EC v1 is a transparent, transcript-bound zero-knowledge batch proof that folds an ordered list of committed event encodings and proves the folded witness satisfies a fixed linear policy, without revealing the event contents.
WIP paper and spec: https://github.com/Hyperversal-Blocks/nessa/blob/master/whitepaper.md
First day at the National Incubation Center Karachi.
I am here with the Offensive Research Lab (Hyperversal Blocks) and NESSA (nessa.sh), focused on building, researching, and advancing privacy-first infrastructure.
Absolute and default privacy is a fundamental human right.
Giving unprecedented cognitive tools to users who lack the competence or ethics to handle them is a recipe for disaster. The existential fear we're seeing around AI is rooted in a very real threat. Amplified ability without judgment can create amplified harm.
The geometric (multiplicative) derivative
f*(x) = lim_{h->0} [ f(x+h) / f(x) ] ^ {1/h}
has some interesting and potentially useful properties.
This video by one of my favourite maths channels is a good introduction https://m.youtube.com/watch?v=lQ_AdAFVsaM

We introduce a quadratic form $Q$ on the space of functions on the gap poset $G$ of the numerical semigroup $\langle a,b\rangle$. We prove combinatorially that when evaluated on the indicator function of an upward closed subset $D$, this quadratic form precisely recovers the Gorsky--Mazin $\mathtt{dinv}$ statistic of $D$, viewed as a Young subdiagram of $G$. Furthermore, we prove Theorem~1.2 that when evaluated on a pair of subdiagrams of $G$, the symmetric bilinear form associated with $Q$ is equal to a novel cross-$\mathtt{dinv}$ statistic, which is nonnegative. Combining these, we prove the inequality \[ Q(\mathbf{n})\geq \dfrac{1}{|G|}\,\|\mathbf{n}\|_\infty^2\] if $\mathbf{n}$ is a real-valued decreasing function on $G$, showing an effective positive definiteness of $Q$ on the corresponding cone. Theorem~1.2, the main engine of the paper, was autoformalized in Lean/Mathlib by AxiomProver.