jake's about page
Hi! I'm Jake Ginesin, and I love space.
I'm an incoming computer science PhD student at Carnegie Mellon University, I'm currently employed as a cryptographic auditor at Cure53, and I sometimes help out in Northeastern's Network and Distributed Systems Security Lab. 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.
• LinkedIn @jakeginesin
• Reddit @jakeginesin
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'm an incoming computer science PhD student at Carnegie Mellon University, I'm currently employed as a cryptographic auditor at Cure53, and I sometimes help out in Northeastern's Network and Distributed Systems Security Lab. 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• LinkedIn @jakeginesin
• Reddit @jakeginesin
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:3AF2 53AF 100D 4724 EB77 603A 2AB0 3833 F8E6 971C
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