jake's about page
Hi! I'm Jake Ginesin, and I love space.
I'm a first-year computer science PhD student at Carnegie Mellon University advised by Bryan Parno, I'm currently employed as a cryptographic auditor at Cure53, and I sometimes help out in Northeastern's Network and Distributed Systems Security Lab. Previously, I completed a double-major in mathematics and computer science at Northeastern University. Below are a few of my (non-space) interests, and can serve as conversation starters if you'd like:
• Mathematics. Mainly logic, automated reasoning, numerical methods, category theory, and optimization.
• Security. Cryptography, network security, formal methods, provable security.
• Urbanism. Public transportation, urban planning.
• Reading. Sci-fi, history, biography.
• Mastodon @JakeGinesin
• LinkedIn @jakeginesin
• Reddit @jakeginesin
• Wallet Addresses
I am generally uninterested in social media and don't post often on any.
Hardware
• Main Laptop: x1 Carbon Gen 5 Thinkpad - i7 7600U, 16GB RAM, 1TB SSD. Dual Booting NixOS and Windows 10. My main computer for doing work.
• Desktop/Server: Ryzen 7 5800x, RTX 3070, 128GB RAM, 1TB SSD. My main future-proof desktop PC. Currently tri-booting Windows 10 (w/ my games), NixOS, and Arch Linux. Shoutout to Amazon for accidentally sending me an extra 64gb of ram, lmao.
• Alternate Laptop: x220 Thinkpad - i5 2430M, 8GB RAM, 500GB SSD. Quad-booting NixOS, Arch Linux, Linux Mint, and Windows. For if my main laptop is out of commission.
• Keyboard: Custom 65% build with Kailh box whites.
• Phone: Rooted, heavily stripped down Galaxy Xcover 4s.
• Audio: Galaxy Buds, LETSHUOER S12
Software
I have a highly configured NixOS setup on my x1 carbon. My configuration files (and pictures!) are located in this Github Repo, and my old Arch Linux configuration files are located in this archived Github Repo.
• I made a nice profit mining Ethereum in my bedroom in high school, back when ETH was PoW
• Sometimes I thrift electronics and attempt to revive them
• I occasionally operate a ham radio
I'm a first-year computer science PhD student at Carnegie Mellon University advised by Bryan Parno, I'm currently employed as a cryptographic auditor at Cure53, and I sometimes help out in Northeastern's Network and Distributed Systems Security Lab. Previously, I completed a double-major in mathematics and computer science at Northeastern University. Below are a few of my (non-space) interests, and can serve as conversation starters if you'd like:
• Mathematics. Mainly logic, automated reasoning, numerical methods, category theory, and optimization.
• Security. Cryptography, network security, formal methods, provable security.
• Urbanism. Public transportation, urban planning.
• Reading. Sci-fi, history, biography.
Links
• Github @JakeGinesin• Mastodon @JakeGinesin
• LinkedIn @jakeginesin
• Reddit @jakeginesin
• Wallet Addresses
I am generally uninterested in social media and don't post often on any.
Contact
Send mail to ginesin (at) cmu (dot) edu. Should you need it, my PGP key:152C 6F70 C884 0695 54A4 C6AC 08FE 6265 ECA9 E96C
Setup
I often get asked about my computing setup, so I created this section to link it whenever.Hardware
• Main Laptop: x1 Carbon Gen 5 Thinkpad - i7 7600U, 16GB RAM, 1TB SSD. Dual Booting NixOS and Windows 10. My main computer for doing work.
• Desktop/Server: Ryzen 7 5800x, RTX 3070, 128GB RAM, 1TB SSD. My main future-proof desktop PC. Currently tri-booting Windows 10 (w/ my games), NixOS, and Arch Linux. Shoutout to Amazon for accidentally sending me an extra 64gb of ram, lmao.
• Alternate Laptop: x220 Thinkpad - i5 2430M, 8GB RAM, 500GB SSD. Quad-booting NixOS, Arch Linux, Linux Mint, and Windows. For if my main laptop is out of commission.
• Keyboard: Custom 65% build with Kailh box whites.
• Phone: Rooted, heavily stripped down Galaxy Xcover 4s.
• Audio: Galaxy Buds, LETSHUOER S12
Software
I have a highly configured NixOS setup on my x1 carbon. My configuration files (and pictures!) are located in this Github Repo, and my old Arch Linux configuration files are located in this archived Github Repo.
$ fastfetch --structure OS:Kernel:Shell:Editor
synchronous@rq
OS: NixOS 25.05 (Warbler) x86_64
KERNEL: Linux 6.12.24
SHELL: zsh 5.9
EDITOR: Editor: nvim 0.11.0
Trivia
• I enjoy lockpicking and climbing. I may have been onto some rooftops back at Northeastern• I made a nice profit mining Ethereum in my bedroom in high school, back when ETH was PoW
• Sometimes I thrift electronics and attempt to revive them
• I occasionally operate a ham radio