jake's about page
Hi! I'm Jake Ginesin, and I love space.
I'm an undergraduate at Northeastern University pursuing a double major in computer science and mathematics. I'm currently employed as a researcher working in Northeastern's Network and Distributed Systems Security Lab where I employ formal methods to analyze internet protocol. Below are a few of my (non-space) interests, and can serve as conversation starters if you'd like:
• Mathematics. Mainly logic and formal methods.
• Security. Verification, cryptography, and network security.
• Urbanism. Public transportation, urban planning.
• Geopolitics and national security. Mostly Europe, Russia, and China.
• Fitness. Endurance and strength training.
• Reading. Sci-fi, history, biography.
• LinkedIn @jakeginesin
• Instagram @jakeginesin
• Reddit @jakeginesin
I am generally uninterested in social media and don't post often on any.
Hardware
• Main Laptop: x1 Carbon Gen 6 Thinkpad - i7 8550U, 16GB RAM, 1TB SSD. Dual booting Arch Linux 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 dual booting Windows 10 (w/ my games), and Arch Linux. Shoutout to Amazon for accidentially sending me an extra 64gb of ram, lmao.
• Alternate Laptop: x220 Thinkpad - i5 2430M, 8GB RAM, 500GB SSD. Tri-booting 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. Looking for a Jelly 2 alternative, though.
• Audio: Galaxy Buds, LETSHUOER S12
Software
I run a highly configured Arch Linux build on my x1 carbon. My configuration files (and pictures!) are located in this Github repository
I'm an undergraduate at Northeastern University pursuing a double major in computer science and mathematics. I'm currently employed as a researcher working in Northeastern's Network and Distributed Systems Security Lab where I employ formal methods to analyze internet protocol. Below are a few of my (non-space) interests, and can serve as conversation starters if you'd like:
• Mathematics. Mainly logic and formal methods.
• Security. Verification, cryptography, and network security.
• Urbanism. Public transportation, urban planning.
• Geopolitics and national security. Mostly Europe, Russia, and China.
• Fitness. Endurance and strength training.
• Reading. Sci-fi, history, biography.
Links
• Github @JakeGinesin• LinkedIn @jakeginesin
• Instagram @jakeginesin
• Reddit @jakeginesin
I am generally uninterested in social media and don't post often on any.
Contact
Send mail to ginesin (dot) j (at) northeastern (dot) edu or hello (at) jakegines (dot) in. Should you need it, my PGP key:3AF2 53AF 100D 4724 EB77 603A 2AB0 3833 F8E6 971C
Hiring
If you're interested in hiring me—here's my résuméSetup
I often get asked about my computing setup, so I created this section to link it whenever.Hardware
• Main Laptop: x1 Carbon Gen 6 Thinkpad - i7 8550U, 16GB RAM, 1TB SSD. Dual booting Arch Linux 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 dual booting Windows 10 (w/ my games), and Arch Linux. Shoutout to Amazon for accidentially sending me an extra 64gb of ram, lmao.
• Alternate Laptop: x220 Thinkpad - i5 2430M, 8GB RAM, 500GB SSD. Tri-booting 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. Looking for a Jelly 2 alternative, though.
• Audio: Galaxy Buds, LETSHUOER S12
Software
I run a highly configured Arch Linux build on my x1 carbon. My configuration files (and pictures!) are located in this Github repository
$ zf --terminal --user
OS: Arch Linux
KERNEL: 5.19.1-arch2-1
SHELL: zsh
EDITOR: nvim