Haseeb Raja
@haseebraja.bsky.social
I like privacy in its purest form. I like points and spaces. I like Go and I am learning cryptography. Søren’s intensity, Camus’ solution, Spinoza's World. Chuckling at the absurdity of myself. #OpenToWork
The most common form of despair is not being who you are.
-Søren Kierkegaard
-Søren Kierkegaard
November 13, 2025 at 6:17 PM
The most common form of despair is not being who you are.
-Søren Kierkegaard
-Søren Kierkegaard
Use ss (Socket Statistics) instead of netstat to check network sockets. It shows open sockets (TCP/UDP), who’s listening, which PID owns them, etc.
All listening ports: sudo ss -tulpn state listening (or ss -tulpn)
Who's using port 3000? sudo ss -lptn 'sport = :3000'
#linux
All listening ports: sudo ss -tulpn state listening (or ss -tulpn)
Who's using port 3000? sudo ss -lptn 'sport = :3000'
#linux
November 11, 2025 at 4:12 PM
Use ss (Socket Statistics) instead of netstat to check network sockets. It shows open sockets (TCP/UDP), who’s listening, which PID owns them, etc.
All listening ports: sudo ss -tulpn state listening (or ss -tulpn)
Who's using port 3000? sudo ss -lptn 'sport = :3000'
#linux
All listening ports: sudo ss -tulpn state listening (or ss -tulpn)
Who's using port 3000? sudo ss -lptn 'sport = :3000'
#linux
1/4 yet the spirit is not to be mocked, and the darkness of melancholy thickens about you, and the lightning flash of an insane wit only reveals it to you more strongly, more horribly.
November 11, 2025 at 1:28 PM
1/4 yet the spirit is not to be mocked, and the darkness of melancholy thickens about you, and the lightning flash of an insane wit only reveals it to you more strongly, more horribly.
A circuit is satisfied when all its equations hold. For the OR gate, those equations force the output z to be 1 when any input is 1 and 0 only when all inputs are 0.
Enforce x is either 0 or 1 with x(x-1)=0
so, if x = 0 then 0*(-1)=0
if x = 1 then 1*(1-1) = 0
#math #algebra
Enforce x is either 0 or 1 with x(x-1)=0
so, if x = 0 then 0*(-1)=0
if x = 1 then 1*(1-1) = 0
#math #algebra
November 10, 2025 at 11:09 AM
1/ I have this strong feeling that offensive privacy in pq era, empowered by mathematics and intuition (the objective and subjective human) is necessary and urgent to better prepare for the inevitable intersection of pq-agi and computational neuroscience.
November 7, 2025 at 2:35 PM
1/ I have this strong feeling that offensive privacy in pq era, empowered by mathematics and intuition (the objective and subjective human) is necessary and urgent to better prepare for the inevitable intersection of pq-agi and computational neuroscience.
Pro-tip for lectures: 1.75x speed + ordered notes dump + code.
1. Marguerite Walton's #math playlists, knowledge + soothing, Intuitive : youtube.com/@margueritew...
2. Rareskills: Comprehensive & hands-on at #programming & blockchain.
rareskills.io
github.com/RareSkills/S...
1. Marguerite Walton's #math playlists, knowledge + soothing, Intuitive : youtube.com/@margueritew...
2. Rareskills: Comprehensive & hands-on at #programming & blockchain.
rareskills.io
github.com/RareSkills/S...
November 4, 2025 at 7:27 PM
Pro-tip for lectures: 1.75x speed + ordered notes dump + code.
1. Marguerite Walton's #math playlists, knowledge + soothing, Intuitive : youtube.com/@margueritew...
2. Rareskills: Comprehensive & hands-on at #programming & blockchain.
rareskills.io
github.com/RareSkills/S...
1. Marguerite Walton's #math playlists, knowledge + soothing, Intuitive : youtube.com/@margueritew...
2. Rareskills: Comprehensive & hands-on at #programming & blockchain.
rareskills.io
github.com/RareSkills/S...
Reposted by Haseeb Raja
While implementing ML-DSA I found:
- broken NIST test vectors groups.google.com/a/list.nist....
- a bug in a formally verified Rust library (!!) github.com/cryspen/libc...
- missing test coverage in Wycheproof github.com/C2SP/wychepr...
I'd like the TODO to start getting shorter instead of longer.
- broken NIST test vectors groups.google.com/a/list.nist....
- a bug in a formally verified Rust library (!!) github.com/cryspen/libc...
- missing test coverage in Wycheproof github.com/C2SP/wychepr...
I'd like the TODO to start getting shorter instead of longer.
Incorrect ML-DSA output on Alpine Linux and Ampere Altra · Issue #1220 · cryspen/libcrux
I tried using libcrux-ml-dsa v0.0.3 to generate accumulated test vectors for ML-DSA. Since I wanted to generate a 60M iteration test vector, I cross-compiled the code to run on an Alpine Linux serv...
github.com
November 3, 2025 at 10:21 PM
While implementing ML-DSA I found:
- broken NIST test vectors groups.google.com/a/list.nist....
- a bug in a formally verified Rust library (!!) github.com/cryspen/libc...
- missing test coverage in Wycheproof github.com/C2SP/wychepr...
I'd like the TODO to start getting shorter instead of longer.
- broken NIST test vectors groups.google.com/a/list.nist....
- a bug in a formally verified Rust library (!!) github.com/cryspen/libc...
- missing test coverage in Wycheproof github.com/C2SP/wychepr...
I'd like the TODO to start getting shorter instead of longer.
RSA uses two keys. Public key allows anyone to write an encrypted message. The private key allows the decryption of an encrypted message.
simple.wikipedia.org/wiki/RSA_alg...
www.cs.utexas.edu/~mitra/honor...
#finitefield #cryptography #encryption #numbertheory
simple.wikipedia.org/wiki/RSA_alg...
www.cs.utexas.edu/~mitra/honor...
#finitefield #cryptography #encryption #numbertheory
RSA algorithm - Simple English Wikipedia, the free encyclopedia
simple.wikipedia.org
November 2, 2025 at 8:04 PM
RSA uses two keys. Public key allows anyone to write an encrypted message. The private key allows the decryption of an encrypted message.
simple.wikipedia.org/wiki/RSA_alg...
www.cs.utexas.edu/~mitra/honor...
#finitefield #cryptography #encryption #numbertheory
simple.wikipedia.org/wiki/RSA_alg...
www.cs.utexas.edu/~mitra/honor...
#finitefield #cryptography #encryption #numbertheory
"What is needed is an electronic payment system based on cryptographic proof instead of trust, allowing any two willing parties to transact directly with each other without the need for a trusted third party" ~Satoshi
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
bitcoin.org
November 1, 2025 at 9:21 PM
"What is needed is an electronic payment system based on cryptographic proof instead of trust, allowing any two willing parties to transact directly with each other without the need for a trusted third party" ~Satoshi
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
BLS uses 96 bytes for pubkeys & 48 bytes for sigs. BLS can be ins. with 48 bytes of pubkey and 96 bytes of sigs. BLS also allows for sigg. aggregation, a single sig can authenticate multiple msg & pubkeys
asecuritysite.com/circl/go_bls...
datatracker.ietf.org/doc/html/dra...
#cryptography #bls #zk
asecuritysite.com/circl/go_bls...
datatracker.ietf.org/doc/html/dra...
#cryptography #bls #zk
Aggregation of BLS Signature with CIRCL
asecuritysite.com
November 1, 2025 at 9:20 PM
BLS uses 96 bytes for pubkeys & 48 bytes for sigs. BLS can be ins. with 48 bytes of pubkey and 96 bytes of sigs. BLS also allows for sigg. aggregation, a single sig can authenticate multiple msg & pubkeys
asecuritysite.com/circl/go_bls...
datatracker.ietf.org/doc/html/dra...
#cryptography #bls #zk
asecuritysite.com/circl/go_bls...
datatracker.ietf.org/doc/html/dra...
#cryptography #bls #zk
Reposted by Haseeb Raja
I had a bug in my new ML-DSA implementation that caused Verify to reject all signatures. I gave up after half an hour. On a whim, I threw Claude Code at it. Surprisingly (to me!) it one-shotted it in 5 minutes.
A small case study of useful AI tasks that aren't generating code that requires review.
A small case study of useful AI tasks that aren't generating code that requires review.
Claude Code Can Debug Low-level Cryptography
Surprisingly (to me) Claude Code debugged my new ML-DSA implementation faster than I would have, finding the non-obvious low-level issue that was making Verify fail.
words.filippo.io
November 1, 2025 at 6:26 PM
I had a bug in my new ML-DSA implementation that caused Verify to reject all signatures. I gave up after half an hour. On a whim, I threw Claude Code at it. Surprisingly (to me!) it one-shotted it in 5 minutes.
A small case study of useful AI tasks that aren't generating code that requires review.
A small case study of useful AI tasks that aren't generating code that requires review.
"What is needed is an electronic payment system based on cryptographic proof instead of trust, allowing any two willing parties to transact directly with each other without the need for a trusted third party" ~Satoshi
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
bitcoin.org
November 1, 2025 at 9:10 PM
"What is needed is an electronic payment system based on cryptographic proof instead of trust, allowing any two willing parties to transact directly with each other without the need for a trusted third party" ~Satoshi
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
#Bitcoin #POW #DEFİ #cryptography
bitcoin.org/bitcoin.pdf
Finding the k-th roots of unity of F_q is no different from finding the multiplicative subgroup of order k, if k divides q-1
rareskills.io/post/roots-of-…#FiniteFieldsd#numbertheoryry
rareskills.io/post/roots-of-…#FiniteFieldsd#numbertheoryry
https://rareskills.io/post/roots-of-…
October 27, 2025 at 9:16 AM
Finding the k-th roots of unity of F_q is no different from finding the multiplicative subgroup of order k, if k divides q-1
rareskills.io/post/roots-of-…#FiniteFieldsd#numbertheoryry
rareskills.io/post/roots-of-…#FiniteFieldsd#numbertheoryry
1/
mujh ko charagh-e-sham ki surat jala ke dekh
aae andheri raat mujhe aazma ke dekh
Try to light me like an evening flame,
Come, O darkest night, and test me with your game
mujh ko charagh-e-sham ki surat jala ke dekh
aae andheri raat mujhe aazma ke dekh
Try to light me like an evening flame,
Come, O darkest night, and test me with your game
October 26, 2025 at 12:49 PM
1/
mujh ko charagh-e-sham ki surat jala ke dekh
aae andheri raat mujhe aazma ke dekh
Try to light me like an evening flame,
Come, O darkest night, and test me with your game
mujh ko charagh-e-sham ki surat jala ke dekh
aae andheri raat mujhe aazma ke dekh
Try to light me like an evening flame,
Come, O darkest night, and test me with your game
October 26, 2025 at 9:33 AM
Life hack for devs: stop working on sundays (and saturdays) and I promise you the productivity will skyrocket 💯
#WorkLifeBalance #Burnout #Programming #SoftwareEngineering
#WorkLifeBalance #Burnout #Programming #SoftwareEngineering
October 26, 2025 at 9:06 AM
Life hack for devs: stop working on sundays (and saturdays) and I promise you the productivity will skyrocket 💯
#WorkLifeBalance #Burnout #Programming #SoftwareEngineering
#WorkLifeBalance #Burnout #Programming #SoftwareEngineering
October 26, 2025 at 8:24 AM
Reposted by Haseeb Raja
happy bday poet John Berryman, b.1914
“We must travel in the direction of our fear.”
“I cry. Evil dissolves, & love, like foam;
that love. Prattle of children powers me home,
my heart claps like the swan’s
under a frenzy of who love me & who shine.”
“That is our ‘pointed task. Love & die.”
“We must travel in the direction of our fear.”
“I cry. Evil dissolves, & love, like foam;
that love. Prattle of children powers me home,
my heart claps like the swan’s
under a frenzy of who love me & who shine.”
“That is our ‘pointed task. Love & die.”
October 25, 2025 at 1:42 PM
happy bday poet John Berryman, b.1914
“We must travel in the direction of our fear.”
“I cry. Evil dissolves, & love, like foam;
that love. Prattle of children powers me home,
my heart claps like the swan’s
under a frenzy of who love me & who shine.”
“That is our ‘pointed task. Love & die.”
“We must travel in the direction of our fear.”
“I cry. Evil dissolves, & love, like foam;
that love. Prattle of children powers me home,
my heart claps like the swan’s
under a frenzy of who love me & who shine.”
“That is our ‘pointed task. Love & die.”
Build intuition using analogies to reduce cognitive load. Learn to see and visualize the patterns, which makes offloading to the second brain easier. Keep practicing until it becomes an automated response.
#patterns #learning #lifehacks
#patterns #learning #lifehacks
October 25, 2025 at 4:15 AM
Build intuition using analogies to reduce cognitive load. Learn to see and visualize the patterns, which makes offloading to the second brain easier. Keep practicing until it becomes an automated response.
#patterns #learning #lifehacks
#patterns #learning #lifehacks
1/ I do not quote Camus because I am currently focused on Søren's Either/Or (Part 2) and Spinoza's Ethics. But it's also because the very act of me 'showing up against myself' is the very revolt Camus argues for.
October 24, 2025 at 1:49 PM
1/ I do not quote Camus because I am currently focused on Søren's Either/Or (Part 2) and Spinoza's Ethics. But it's also because the very act of me 'showing up against myself' is the very revolt Camus argues for.
1/ "The first thing which constitutes the actual being of a human Mind is nothing but the idea of a singular thing which actually exist."
- P11: Ethics, Spinoza
#Philosophy #Determinism #Rationalism
- P11: Ethics, Spinoza
#Philosophy #Determinism #Rationalism
October 24, 2025 at 1:11 PM
1/ "The first thing which constitutes the actual being of a human Mind is nothing but the idea of a singular thing which actually exist."
- P11: Ethics, Spinoza
#Philosophy #Determinism #Rationalism
- P11: Ethics, Spinoza
#Philosophy #Determinism #Rationalism
hold on, it will get better, or it will become someone else's problem, you do your best, and you have fun 💯+1
#MentalHealthMatters #ADHD #hope
#MentalHealthMatters #ADHD #hope
October 23, 2025 at 7:17 PM
hold on, it will get better, or it will become someone else's problem, you do your best, and you have fun 💯+1
#MentalHealthMatters #ADHD #hope
#MentalHealthMatters #ADHD #hope
Reposted by Haseeb Raja
Excited to share eprint.iacr.org/2025/1905.pdf that re-envisions how to use folding/accumulation in succinct proof systems.
We provide a new framework to build folding-based SNARKs by eliminating the need to prove Fiat-Shamir inside circuits and by introducing a high-arity lattice folding scheme.
We provide a new framework to build folding-based SNARKs by eliminating the need to prove Fiat-Shamir inside circuits and by introducing a high-arity lattice folding scheme.
eprint.iacr.org
October 17, 2025 at 5:24 PM
Excited to share eprint.iacr.org/2025/1905.pdf that re-envisions how to use folding/accumulation in succinct proof systems.
We provide a new framework to build folding-based SNARKs by eliminating the need to prove Fiat-Shamir inside circuits and by introducing a high-arity lattice folding scheme.
We provide a new framework to build folding-based SNARKs by eliminating the need to prove Fiat-Shamir inside circuits and by introducing a high-arity lattice folding scheme.