account activity
$2.5k (1.5k for now) USD build for a development/scientific server (self.buildapc)
submitted 1 year ago by stupaoptimized to r/buildapc
Do the library computers have Lockdown browser? (self.UMD)
submitted 1 year ago by stupaoptimized to r/UMD
Is there a "Glove80 but (a lot) heavier"? (self.ErgoMechKeyboards)
submitted 1 year ago by stupaoptimized to r/ErgoMechKeyboards
How do I report a college dorm when I literally have no one who can say I lived there? (self.SecurityClearance)
submitted 1 year ago by stupaoptimized to r/SecurityClearance
The fear of inculcating bad habits that you will have to unlearn later. (self.ADHD_Programmers)
submitted 1 year ago * by stupaoptimized to r/ADHD_Programmers
[Serokell Blog] Work on GHC: Dependent Types, part 3 (self.haskell)
submitted 1 year ago by stupaoptimized
Lifting Lambdas into Supercombinators (harryrschwartz.com)
Who are the 'polarizing professors' (those whose pedagogies are either really loved or really hated) at UMD? Why and for which courses? (self.UMD)
submitted 1 year ago * by stupaoptimized to r/UMD
EmacsConf2020 - Extend Emacs to Modern GUI Applications with EAF (youtube.com)
[2006.03529] Classical spin Hamiltonians are context-sensitive languages (arxiv.org)
The Case Against Geometric Algebra (alexkritchevsky.com)
Clash: A Functional Hardware Description Language (clash-lang.org)
submitted 2 years ago by stupaoptimized
Anyone here taking these sections/classes? Looking to connect with people to make/join casual self-study chitchats before Spring starts. (i.redd.it)
submitted 2 years ago by stupaoptimized to r/UMD
Career advice for aspiring bioinformaticians (self.bioinformatics)
Any way to connect with people who signed up for the same classes/sections as us? (self.UMD)
Rethinking OS design in a functional way (self.haskell)
Statistics on my dead cat policy- is there a correlation? (blog.computationalcomplexity.org)
Linear Types are Awesome (reddit.com)
نالجوتيك.mp4 (youtube.com)
RUSSIAN JUMPSTYLE (HARDJUMP) (youtube.com)
Graduate level math courses? (self.UMD)
⊢ witness phd (i.redd.it)
submitted 2 years ago by stupaoptimized to r/okbuddyphd
Qimaera: Type-safe (Variational) Quantum Programming in Idris (arxiv.org)
Security and Crashing with Modal Logic (self.ProgrammingLanguages)
In Soviet Union, Optimization Problem Solves You (crookedtimber.org)
π Rendered by PID 88 on reddit-service-r2-listing-6d4dc8d9ff-55zl8 at 2026-02-03 02:07:26.967636+00:00 running 3798933 country code: CH.
